X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=gCons.dcl;h=9733f4a8a8ebd73d3cfab77ba52c64d4aceafaf5;hb=ce02e66737315fe6821272e7d7cc86a79a88060d;hp=edd0a4ad0eca28a2db60ef32fa4acce1ff34472c;hpb=fe2e0f56c77de00d25686ab0b583a40595b35ab8;p=mTask.git diff --git a/gCons.dcl b/gCons.dcl index edd0a4a..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,(),{},{!},[],[! ],[ !],[!!],(->)