Commit 442ba46c authored by Vincent Zweije's avatar Vincent Zweije
Browse files

This commit was generated by cvs2svn to compensate for changes in r652,

which included commits to RCS files with non-trunk default branches.
parent dabb1854
......@@ -176,5 +176,8 @@ showtriple :: !.(.a -> .String) !.(.b -> .String) !.(.c -> .String) !(.a,.b,.c)
// `Split sep' splits a list into a list of sublists which are separated by `sep'.
split :: a -> .(.[a] -> [.[a]]) | == a
// `Stub modulename functionname message' aborts with a explanatory message
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
......@@ -255,5 +255,10 @@ split sep
= ([x:ys],yss)
where (ys,yss) = spl xs
// `Stub modulename functionname message' aborts with a explanatory message
stub :: .String .String .String -> a
stub modulename functionname message
= abort (modulename+++": "+++functionname+++": "+++message)
superset :: .[a] -> .(.[a] -> Bool) | == a
superset set = isEmpty o (removeMembers set)
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