From e0723cdd1c7ae60cb2e15affb50678623cab6365 Mon Sep 17 00:00:00 2001
From: zweije
Date: Tue, 3 Jul 2001 09:08:47 +0000
Subject: 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
---
 sucl/dnc.dcl | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 sucl/dnc.dcl

(limited to 'sucl/dnc.dcl')

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
-- 
cgit v1.2.3