Commit a63017bc authored by Vincent Zweije's avatar Vincent Zweije

This commit was generated by cvs2svn to compensate for changes in r837,

which included commits to RCS files with non-trunk default branches.
parent d73c6009
......@@ -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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment