.p
[mTask.git] / gCons.dcl
index edd0a4a..64564da 100644 (file)
--- a/gCons.dcl
+++ b/gCons.dcl
@@ -17,4 +17,4 @@ derive consIndex CONS of {gcd_index},UNIT,PAIR,EITHER,OBJECT,Int,Bool,Char,Strin
 
 conses :: [a] | gconses{|*|} a
 generic gconses a :: Bool -> [a]
-derive gconses CONS,UNIT,PAIR,EITHER,OBJECT,FIELD,RECORD,Int,Bool,Char,Real,String,(),{},{!},[],[! ],[ !],[!!]
+derive gconses CONS,UNIT,PAIR,EITHER,OBJECT,FIELD,RECORD,Int,Bool,Char,Real,String,(),{},{!},[],[! ],[ !],[!!],(->)