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