From 9bd7c382c3879fd03c346ccd9c4b077003c97eef Mon Sep 17 00:00:00 2001 From: zweije Date: Mon, 8 Oct 2001 14:33:16 +0000 Subject: 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 --- sucl/strat.icl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3