Commit 0f12af69 authored by Vincent Zweije's avatar Vincent Zweije
Browse files

dnc type changed through type change of varcontents (graph module)

parent 9809e61f
......@@ -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
......@@ -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"))
......
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