diff options
| author | zweije | 2001-10-08 14:33:16 +0000 |
|---|---|---|
| committer | zweije | 2001-10-08 14:33:16 +0000 |
| commit | 9bd7c382c3879fd03c346ccd9c4b077003c97eef (patch) | |
| tree | 861be311434bdd5a2a1fb35ae6bb4801ab9f006e | |
| parent | This commit was generated by cvs2svn to compensate for changes in r834, (diff) | |
This commit was generated by cvs2svn to compensate for changes in r837,
which included commits to RCS files with non-trunk default branches.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@838 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | sucl/strat.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sucl/strat.icl b/sucl/strat.icl index 71956d1..4241129 100644 --- a/sucl/strat.icl +++ b/sucl/strat.icl @@ -376,7 +376,7 @@ checkarity funarity defaultstrategy substrat subject found rnf (ssym,sargs) = rnf | eqlenn arity sargs = defaultstrategy substrat subject found rnf (ssym,sargs) -= abort "checktype: symbol occurrence with arity greater than its type" += abort ("checktype: symbol occurrence with actual arity "+++toString (length sargs)+++" greater than its type arity "+++toString arity) where arity = funarity ssym shortern n _ | n<=0 = False |