Commit c5ad2d22 authored by Vincent Zweije's avatar Vincent Zweije
Browse files

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

which included commits to RCS files with non-trunk default branches.
parent 54687cf6
......@@ -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
......@@ -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)
......
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