X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=gCons.dcl;h=9733f4a8a8ebd73d3cfab77ba52c64d4aceafaf5;hb=0089cf72c2a5ff347afda4fd9a9a29c3e2ea6896;hp=64564daf8bc06ad28c209276c3611a138977c6ec;hpb=7d7b6bdf4400272d6199401bcd76794cba9055ce;p=mTask.git diff --git a/gCons.dcl b/gCons.dcl index 64564da..9733f4a 100644 --- a/gCons.dcl +++ b/gCons.dcl @@ -15,6 +15,5 @@ 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 -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,(),{},{!},[],[! ],[ !],[!!],(->)