- Generics - Haskell.org

patch applied (generics): More comments and examples.
by Oleg Kiselyov 05 Jun '07

05 Jun '07

Mon Jun 4 18:08:35 PDT 2007 oleg(a)okmij.org * More comments and examples. M ./comparison/SmashA/Syb4A.hs -37 +53

1 0

patch applied (generics): Added reduce test.
by Oleg Kiselyov 02 Jun '07

02 Jun '07

Sat Jun 2 03:30:17 PDT 2007 oleg(a)okmij.org * Added reduce test. A ./comparison/SmashA/Reduce.hs M ./comparison/SmashA/TreeDats.hs +13

1 0

patch applied (generics): Added GMap. Generic map is indeed only one line, for any traversable data type.
by Oleg Kiselyov 02 Jun '07

02 Jun '07

Sat Jun 2 02:57:45 PDT 2007 oleg(a)okmij.org * Added GMap. Generic map is indeed only one line, for any traversable data type. A ./comparison/SmashA/BTreeDats.hs A ./comparison/SmashA/GMap.hs

1 0

patch applied (generics): generic equality is implementable in SmashA. Added Geq test.
by Oleg Kiselyov 02 Jun '07

02 Jun '07

Sat Jun 2 02:24:26 PDT 2007 oleg(a)okmij.org * generic equality is implementable in SmashA. Added Geq test. M ./comparison/SmashA/CompanyDats.hs +80 A ./comparison/SmashA/GEq.hs M ./comparison/SmashA/Syb4A.hs -19 +70

1 0

patch applied (generics): Matching the behavior of Haskell's show.
by Oleg Kiselyov 01 Jun '07

01 Jun '07

Thu May 31 17:13:38 PDT 2007 oleg(a)okmij.org * Matching the behavior of Haskell's show. M ./comparison/SmashA/GShow.hs -1 +38

1 0

patch applied (generics): Spine fails nicely on Reduce
by Alexey Rodriguez Yakushev 31 May '07

31 May '07

Thu May 31 09:13:00 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Spine fails nicely on Reduce M ./comparison/Spine/Reduce.lhs -14 +7

1 0

patch applied (generics): SYB1_2 implements the new Reduce test, but fails because of inherent limitations.
by Alexey Rodriguez Yakushev 31 May '07

31 May '07

Thu May 31 08:57:19 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * SYB1_2 implements the new Reduce test, but fails because of inherent limitations. M ./comparison/SYB1_2/Reduce.lhs -18 +7 M ./comparison/TestReduce.lhs +1

1 0

patch applied (generics): More grose error messages
by Alexey Rodriguez Yakushev 31 May '07

31 May '07

Thu May 31 08:44:30 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * More grose error messages M ./comparison/GM/GEq.lhs -1 +4 M ./comparison/RepLib/GEq.lhs +4

1 0

patch applied (generics): Reduce tests local redefinitions better.
by Alexey Rodriguez Yakushev 31 May '07

31 May '07

Thu May 31 08:28:05 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Reduce tests local redefinitions better. Previously, collect would gather all the |Int| values of a |BinTree Int|. But this could also collect |Int| values other than the Tree payload, i.e. weights, balancing info. So this test now uses a value of type |Tree a b| where the first argument is the element type and the second the weight type. The test requires that collect only gathers |a| values, excluding any content such as the weights even if |a=b| like in |Tree Int Int| LIGD, GL and GM have been updated. The rest must be done still. M ./comparison/GL/Reduce.lhs +13 A ./comparison/GL/TreeReps2.hs M ./comparison/GM/Reduce.lhs -16 +11 M ./comparison/GM/TreeReps.hs -2 +7 M ./comparison/LIGD/Reduce.lhs -18 +14 M ./comparison/LIGD/TreeReps.hs +10 M ./comparison/TestReduce.exp -1 +1 M ./comparison/TestReduce.lhs -7 +6

1 0

patch applied (generics): grose equality not implemented in GL
by Alexey Rodriguez Yakushev 31 May '07

31 May '07

Thu May 31 08:26:52 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * grose equality not implemented in GL M ./comparison/GL/GEq.lhs -1 +4

1 0