diff --git a/Libraries/GenLib/GenMap.dcl b/Libraries/GenLib/GenMap.dcl index 44d68667755eb7c0c0ca65a3957d5743383511fc..5e294e1cd45967ce4eba7acd48389aa972c744dd 100644 --- a/Libraries/GenLib/GenMap.dcl +++ b/Libraries/GenLib/GenMap.dcl @@ -3,6 +3,6 @@ definition module GenMap import StdGeneric generic gMap a b :: .a -> .b -derive gMap c, UNIT, PAIR, EITHER, CONS, FIELD, OBJECT, {}, {!} +derive gMap c, UNIT, PAIR, EITHER, CONS, RECORD, FIELD, OBJECT, {}, {!} derive gMap [], (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,) diff --git a/Libraries/GenLib/GenMap.icl b/Libraries/GenLib/GenMap.icl index 1b06f9aeae52d7c54917c130d530e861e90f8fdc..a5755eb25a91796b7cae7cb3ef2ef6c92fbfa37b 100644 --- a/Libraries/GenLib/GenMap.icl +++ b/Libraries/GenLib/GenMap.icl @@ -10,10 +10,10 @@ gMap{|PAIR|} fx fy (PAIR x y) = PAIR (fx x) (fy y) gMap{|EITHER|} fl fr (LEFT x) = LEFT (fl x) gMap{|EITHER|} fl fr (RIGHT x) = RIGHT (fr x) gMap{|CONS|} f (CONS x) = CONS (f x) +gMap{|RECORD|} f (RECORD x) = RECORD (f x) gMap{|FIELD|} f (FIELD x) = FIELD (f x) gMap{|OBJECT|} f (OBJECT x) = OBJECT (f x) gMap{|{}|} f xs = mapArray f xs gMap{|{!}|} f xs = mapArray f xs derive gMap [], (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,) -