aboutsummaryrefslogtreecommitdiff
path: root/sucl/dnc.dcl
diff options
context:
space:
mode:
authorzweije2001-07-03 09:08:47 +0000
committerzweije2001-07-03 09:08:47 +0000
commite0723cdd1c7ae60cb2e15affb50678623cab6365 (patch)
tree681b96ebc6d04339adeaf56b9441ee9cb8591955 /sucl/dnc.dcl
parentcleaning up: removing all these hopelessly silly long function names (diff)
This commit was generated by cvs2svn to compensate for changes in r514,
which included commits to RCS files with non-trunk default branches. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@515 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'sucl/dnc.dcl')
-rw-r--r--sucl/dnc.dcl9
1 files changed, 9 insertions, 0 deletions
diff --git a/sucl/dnc.dcl b/sucl/dnc.dcl
new file mode 100644
index 0000000..0cef231
--- /dev/null
+++ b/sucl/dnc.dcl
@@ -0,0 +1,9 @@
+definition module dnc
+
+from graph import Graph,Node
+from StdString import String
+from StdOverloaded import ==
+
+// dnc is like varcontents, but can give a more reasonable error message
+// when the contents is used when undefined.
+dnc :: (var->.String) !(Graph .sym var) var -> (.Bool,Node .sym var) | == var