diff options
Diffstat (limited to 'sucl')
| -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 |