Commit b90dd639 authored by John van Groningen's avatar John van Groningen
Browse files

removed ignored !

parent 3aa1eb6c
......@@ -1785,7 +1785,7 @@ where
Dynamic administration is rebuilt.
class collectVariables a :: !a ![FreeVar] ![DynamicPtr] !*CollectState -> !(!a, ![FreeVar],[DynamicPtr],!*CollectState)
class collectVariables a :: !a ![FreeVar] ![DynamicPtr] !*CollectState -> (!a, ![FreeVar],[DynamicPtr],!*CollectState)
cContainsACycle :== True
cContainsNoCycle :== False
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