X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=gCons.dcl;h=571aefeb27a0d7d688a0d42789dacd341260baab;hb=c6709b5f2b35baa57f11e557d4baa96d6b9a54cf;hp=64564daf8bc06ad28c209276c3611a138977c6ec;hpb=7d7b6bdf4400272d6199401bcd76794cba9055ce;p=mTask.git diff --git a/gCons.dcl b/gCons.dcl index 64564da..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,(),{},{!},[],[! ],[ !],[!!],(->)