diff options
Diffstat (limited to 'sucl')
| -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) |