From 5f010a0e17cee6bc01790f5f729e97186f8aa47a Mon Sep 17 00:00:00 2001
From: zweije
Date: Fri, 17 Aug 2001 14:21:27 +0000
Subject: This commit was generated by cvs2svn to compensate for changes in
 r656, which included commits to RCS files with non-trunk default branches.

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@657 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 sucl/basic.dcl | 2 +-
 sucl/basic.icl | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/sucl/basic.dcl b/sucl/basic.dcl
index c6057ec..c51d57e 100644
--- a/sucl/basic.dcl
+++ b/sucl/basic.dcl
@@ -180,7 +180,7 @@ showtriple :: !.(.a -> .String) !.(.b -> .String) !.(.c -> .String) !(.a,.b,.c)
 split :: a -> .(.[a] -> [.[a]]) | == a
 
 // `Stub modulename functionname message' aborts with a explanatory message
-stub :: .String .String .String -> a
+stub :: .String .String .String -> .a
 
 // `Superset xs ys' determines whether ys is a superset (actually, super-multi-set or super-list) of xs.
 superset :: .[a] -> .(.[a] -> Bool) | == a
diff --git a/sucl/basic.icl b/sucl/basic.icl
index 7ba2c51..270b13a 100644
--- a/sucl/basic.icl
+++ b/sucl/basic.icl
@@ -259,7 +259,7 @@ split sep
               where (ys,yss) = spl xs
 
 // `Stub modulename functionname message' aborts with a explanatory message
-stub :: .String .String .String -> a
+stub :: .String .String .String -> .a
 stub modulename functionname message
 = abort (modulename+++": "+++functionname+++": "+++message)
 
-- 
cgit v1.2.3