From cf79df7a875e521ea9137e1f0034a1970f75135f Mon Sep 17 00:00:00 2001 From: "johnvg@science.ru.nl" Date: Mon, 12 Aug 2019 14:45:46 +0200 Subject: [PATCH] add RECORD instance of gMap --- Libraries/GenLib/GenMap.dcl | 2 +- Libraries/GenLib/GenMap.icl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Libraries/GenLib/GenMap.dcl b/Libraries/GenLib/GenMap.dcl index 44d68667..5e294e1c 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 1b06f9ae..a5755eb2 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 [], (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,) - -- GitLab