May 2007 - Generics - Haskell.org

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

01 Jun '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 01 Jun '07

01 Jun '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 01 Jun '07

01 Jun '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 01 Jun '07

01 Jun '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 01 Jun '07

01 Jun '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

patch applied (generics): The reduce functions for SYB are more honest: no more explicit pattern matching.
by Alexey Rodriguez Yakushev 01 Jun '07

01 Jun '07

Wed May 30 09:42:35 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * The reduce functions for SYB are more honest: no more explicit pattern matching. M ./comparison/SYB1_2/Reduce.lhs -21 +34

1 0

patch applied (generics): Added three tests: GShow, FoldTree, Paradize for SmashA.
by Oleg Kiselyov 31 May '07

31 May '07

Wed May 30 19:44:19 PDT 2007 oleg(a)okmij.org * Added three tests: GShow, FoldTree, Paradize for SmashA. A ./comparison/SmashA/CompanyDats.hs A ./comparison/SmashA/FoldTree.hs A ./comparison/SmashA/GShow.hs A ./comparison/SmashA/Paradise.hs M ./comparison/SmashA/Syb4A.hs -1 +14 A ./comparison/SmashA/TreeDats.hs

1 0

patch applied (generics): Smash the rest of your boilerplate.
by Oleg Kiselyov 31 May '07

31 May '07

Wed May 30 18:33:23 PDT 2007 oleg(a)okmij.org * Smash the rest of your boilerplate. A ./comparison/SmashA/ A ./comparison/SmashA/Syb4A.hs

1 0

patch applied (generics): add GShow and Paradize benchmarks
by Oleg Kiselyov 30 May '07

30 May '07

Tue May 29 00:57:49 PDT 2007 oleg(a)okmij.org * add GShow and Paradize benchmarks M ./comparison/Smash/CompanyDats.hs -5 +5 A ./comparison/Smash/CompanyTDats.hs A ./comparison/Smash/GShow.hs A ./comparison/Smash/Paradise.hs M ./comparison/Smash/Syb4.hs -3 +39

1 0

patch applied (generics): adding Smash
by Oleg Kiselyov 30 May '07

30 May '07

Sat May 26 02:21:59 PDT 2007 oleg(a)okmij.org * adding Smash A ./comparison/Smash/ A ./comparison/Smash/CompanyDats.hs A ./comparison/Smash/FoldTree.hs A ./comparison/Smash/Syb4.hs A ./comparison/Smash/TreeDats.hs M ./comparison/TreeDatatype.hs +3

1 0