From 84b6a8bcd90fdab0fa0ef7170a891bc3aac30404 Mon Sep 17 00:00:00 2001
From: zweije
Date: Fri, 17 Aug 2001 09:51:35 +0000
Subject: This commit was generated by cvs2svn to compensate for changes in
 r652, which included commits to RCS files with non-trunk default branches.

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@653 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 sucl/basic.dcl | 3 +++
 sucl/basic.icl | 5 +++++
 2 files changed, 8 insertions(+)

diff --git a/sucl/basic.dcl b/sucl/basic.dcl
index 0f2118f..27c170d 100644
--- a/sucl/basic.dcl
+++ b/sucl/basic.dcl
@@ -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
diff --git a/sucl/basic.icl b/sucl/basic.icl
index a8bfcdf..0953741 100644
--- a/sucl/basic.icl
+++ b/sucl/basic.icl
@@ -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)
-- 
cgit v1.2.3