aboutsummaryrefslogtreecommitdiff
path: root/sucl
diff options
context:
space:
mode:
Diffstat (limited to 'sucl')
-rw-r--r--sucl/dnc.dcl2
-rw-r--r--sucl/dnc.icl2
2 files changed, 2 insertions, 2 deletions
diff --git a/sucl/dnc.dcl b/sucl/dnc.dcl
index 30853e7..081dc97 100644
--- a/sucl/dnc.dcl
+++ b/sucl/dnc.dcl
@@ -8,4 +8,4 @@ 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
+dnc :: (var->.String) !.(Graph sym var) var -> (.Bool,Node sym var) | == var
diff --git a/sucl/dnc.icl b/sucl/dnc.icl
index 400c5b2..3c644de 100644
--- a/sucl/dnc.icl
+++ b/sucl/dnc.icl
@@ -7,7 +7,7 @@ import StdEnv
// 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
+dnc :: (var->.String) !.(Graph sym var) var -> (.Bool,Node sym var) | == var
dnc makemessage graph var
| fst vc = vc
= (False,(wrong "symbol",wrong "arguments"))