X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=gCons.dcl;h=571aefeb27a0d7d688a0d42789dacd341260baab;hb=68e65ffa79b10fc6762a0f7989a268126fc20c1b;hp=edd0a4ad0eca28a2db60ef32fa4acce1ff34472c;hpb=fe2e0f56c77de00d25686ab0b583a40595b35ab8;p=mTask.git diff --git a/gCons.dcl b/gCons.dcl index edd0a4a..571aefe 100644 --- a/gCons.dcl +++ b/gCons.dcl @@ -10,11 +10,10 @@ definition module gCons import StdGeneric generic consName a :: a -> String -derive consName CONS of {gcd_name},UNIT,PAIR,EITHER,OBJECT,RECORD,FIELD,Int,Bool,Char,String,(->) +derive consName CONS of {gcd_name},UNIT,PAIR,EITHER,OBJECT,RECORD,FIELD,Int,Bool,Char,String,(->),[] generic consIndex a :: a -> Int -derive consIndex CONS of {gcd_index},UNIT,PAIR,EITHER,OBJECT,Int,Bool,Char,String +derive consIndex CONS of {gcd_index},UNIT,PAIR,EITHER,OBJECT,Int,Bool,Char,String,[] -conses :: [a] | gconses{|*|} a -generic gconses a :: Bool -> [a] -derive gconses CONS,UNIT,PAIR,EITHER,OBJECT,FIELD,RECORD,Int,Bool,Char,Real,String,(),{},{!},[],[! ],[ !],[!!] +generic conses a :: [a] +derive conses CONS,UNIT,PAIR,EITHER,OBJECT,FIELD,RECORD,Int,Bool,Char,Real,String,(),{},{!},[],[! ],[ !],[!!],(->)