X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=gCons.dcl;h=64564daf8bc06ad28c209276c3611a138977c6ec;hb=20d565b9eb2b58cc1e7e43b518d3529fb7ba10d4;hp=72ab85361a4596eddc184141308c2f14c282862e;hpb=8316870cacd21b19badf032f3b8189bdd54eb1e3;p=mTask.git

diff --git a/gCons.dcl b/gCons.dcl
index 72ab853..64564da 100644
--- a/gCons.dcl
+++ b/gCons.dcl
@@ -15,5 +15,6 @@ derive consName CONS of {gcd_name},UNIT,PAIR,EITHER,OBJECT,RECORD,FIELD,Int,Bool
 generic consIndex a :: a -> Int
 derive consIndex CONS of {gcd_index},UNIT,PAIR,EITHER,OBJECT,Int,Bool,Char,String
 
-generic conses a :: [a]
-derive conses CONS,UNIT,PAIR,EITHER,OBJECT,FIELD,RECORD,Int,Bool,Char,Real,String,(),{},{!},[],[! ],[ !],[!!]
+conses :: [a] | gconses{|*|} a
+generic gconses a :: Bool -> [a]
+derive gconses CONS,UNIT,PAIR,EITHER,OBJECT,FIELD,RECORD,Int,Bool,Char,Real,String,(),{},{!},[],[! ],[ !],[!!],(->)