Commit 2b13ec8a authored by Vincent Zweije's avatar Vincent Zweije
Browse files

stub function returns possibly unique variable

parent cdb87fef
...@@ -180,7 +180,7 @@ showtriple :: !.(.a -> .String) !.(.b -> .String) !.(.c -> .String) !(.a,.b,.c) ...@@ -180,7 +180,7 @@ showtriple :: !.(.a -> .String) !.(.b -> .String) !.(.c -> .String) !(.a,.b,.c)
split :: a -> .(.[a] -> [.[a]]) | == a split :: a -> .(.[a] -> [.[a]]) | == a
// `Stub modulename functionname message' aborts with a explanatory message // `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 xs ys' determines whether ys is a superset (actually, super-multi-set or super-list) of xs.
superset :: .[a] -> .(.[a] -> Bool) | == a superset :: .[a] -> .(.[a] -> Bool) | == a
...@@ -259,7 +259,7 @@ split sep ...@@ -259,7 +259,7 @@ split sep
where (ys,yss) = spl xs where (ys,yss) = spl xs
// `Stub modulename functionname message' aborts with a explanatory message // `Stub modulename functionname message' aborts with a explanatory message
stub :: .String .String .String -> a stub :: .String .String .String -> .a
stub modulename functionname message stub modulename functionname message
= abort (modulename+++": "+++functionname+++": "+++message) = abort (modulename+++": "+++functionname+++": "+++message)
......
Supports Markdown
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