diff options
| author | zweije | 2001-08-17 14:21:27 +0000 |
|---|---|---|
| committer | zweije | 2001-08-17 14:21:27 +0000 |
| commit | 5f010a0e17cee6bc01790f5f729e97186f8aa47a (patch) | |
| tree | 9a508ece3688153acd2ec13d13192b19e7084fa5 | |
| parent | This commit was generated by cvs2svn to compensate for changes in r654, (diff) | |
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
| -rw-r--r-- | sucl/basic.dcl | 2 | ||||
| -rw-r--r-- | 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) |