March 2008 - Generics

patch applied (generics): Added a new test of equality of nested datatypes: PerfectTrees. It passes ok.
by Oleg Kiselyov 11 Mar '08

11 Mar '08

Tue Mar 11 20:58:56 PDT 2008 oleg(a)okmij.org * Added a new test of equality of nested datatypes: PerfectTrees. It passes ok. M ./comparison/SmashA/Nested.hs -2 +7 M ./comparison/SmashA/PerfectDats.hs -5 +19

1 0

patch applied (generics): The new test, RmWeights, passes ok
by Oleg Kiselyov 11 Mar '08

11 Mar '08

Tue Mar 11 20:42:29 PDT 2008 oleg(a)okmij.org * The new test, RmWeights, passes ok A ./comparison/SmashA/RmWeights.hs

1 0

patch applied (generics): Added usage instructions to test.hs and an option to run all tests.
by Alexey Rodriguez Yakushev 11 Mar '08

11 Mar '08

Tue Mar 11 07:25:29 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * Added usage instructions to test.hs and an option to run all tests. M ./comparison/test.hs -7 +22

1 0

patch applied (generics): The current version of Smash is SmashA.
by Oleg Kiselyov 11 Mar '08

11 Mar '08

Tue Mar 11 02:29:52 PDT 2008 oleg(a)okmij.org * The current version of Smash is SmashA. M ./comparison/test.hs -1 +1

1 0

patch applied (generics): Made all the old test of SmashA work in the new version of the framework.
by Oleg Kiselyov 11 Mar '08

11 Mar '08

Tue Mar 11 02:20:29 PDT 2008 oleg(a)okmij.org * Made all the old test of SmashA work in the new version of the framework. The changes mainly involved removing the SmashA qualifier from the module names. The tests that pass now: TestUpdateSalary, TestGMap, TestCrushRight, TestSelectSalary, TestSelectIntWTree, TestSelectIntPerfect, TestGEqCompany, TestGEqGRose, TestGEq. The GShow test gives results far better than the reference (in fact, SmashA's gshow for Company gives exactly the same results as the derived show). ./comparison/SmashA/Reduce.hs -> ./comparison/SmashA/CrushRight.hs M ./comparison/SmashA/BTreeDats.hs -2 +12 M ./comparison/SmashA/CompanyDats.hs -2 +2 M ./comparison/SmashA/CrushRight.hs -7 +5 M ./comparison/SmashA/FoldTree.hs -8 +10 M ./comparison/SmashA/GEq.hs -6 +10 M ./comparison/SmashA/GMap.hs -5 +3 M ./comparison/SmashA/GShow.hs -3 +3 M ./comparison/SmashA/Nested.hs -5 +3 M ./comparison/SmashA/Paradise.hs -3 +3 M ./comparison/SmashA/PerfectDats.hs -2 +2 M ./comparison/SmashA/RoseDats.hs -2 +2 M ./comparison/SmashA/Syb4A.hs -1 +1 M ./comparison/SmashA/TreeDats.hs -2 +2

1 0

patch applied (generics): a better emulation of typeclasses with stapply: resolution failure gives the answer ResFailure, which will trigger a type error whenever it is used for anything.
by Oleg Kiselyov 11 Mar '08

11 Mar '08

Sun Jul 29 17:51:41 PDT 2007 oleg(a)okmij.org * a better emulation of typeclasses with stapply: resolution failure gives the answer ResFailure, which will trigger a type error whenever it is used for anything. M ./comparison/SmashA/Deserialize.hs +6 M ./comparison/SmashA/Syb4A.hs -2 +11

1 0

patch applied (generics): Renamed the selectInt test to selectIntWTree and added a selectIntPerfect to test if a library is able to handle nested datatypes.
by Alexey Rodriguez Yakushev 10 Mar '08

10 Mar '08

Mon Mar 10 03:55:17 PDT 2008 alex(a)cs.uu.nl * Renamed the selectInt test to selectIntWTree and added a selectIntPerfect to test if a library is able to handle nested datatypes. ./comparison/TestSelectInt.exp -> ./comparison/TestSelectIntWTree.exp ./comparison/TestSelectInt.lhs -> ./comparison/TestSelectIntWTree.lhs M ./comparison/EMGM/FoldTree.lhs -2 +7 M ./comparison/EMGM/GMapQ.lhs +2 M ./comparison/LIGD/FoldTree.lhs -2 +7 M ./comparison/LIGD/GMapQ.lhs +1 M ./comparison/PolyP/FoldTree.lhs -2 +2 M ./comparison/RepLib/FoldTree.lhs -2 +13 M ./comparison/SYB1_2/FoldTree.lhs -2 +6 M ./comparison/Spine/FoldTree.lhs -4 +13 A ./comparison/TestSelectIntPerfect.exp A ./comparison/TestSelectIntPerfect.lhs M ./comparison/TestSelectIntWTree.lhs -3 +2 M ./comparison/Uniplate/FoldTree.lhs -2 +18 M ./comparison/Uniplate/GMap.lhs +11 M ./comparison/Uniplate/GShow.lhs +11 M ./comparison/Uniplate/GShowExt.lhs +11 M ./comparison/Uniplate/Nested.lhs -4 +21 M ./comparison/Uniplate/Paradise.lhs +14 M ./comparison/test.hs -1 +2

1 0

patch applied (generics): Nested test for most libraries (EMGM, LIGD, RepLib, SYB)
by Alexey Rodriguez Yakushev 06 Mar '08

06 Mar '08

Wed Mar 5 13:45:29 PST 2008 alex(a)cs.uu.nl * Nested test for most libraries (EMGM, LIGD, RepLib, SYB) M ./comparison/EMGM/Nested.lhs -6 +8 M ./comparison/EMGM/PerfectReps.hs -6 +12 M ./comparison/LIGD/NGRoseReps.hs -2 +2 M ./comparison/LIGD/Nested.lhs -4 +4 M ./comparison/LIGD/PerfectReps.hs -2 +2 A ./comparison/RepLib/Nested.lhs A ./comparison/SYB1_2/Nested.lhs

1 0

patch applied (generics): Spine nearly complete, only Crush is unimplemented. Changed Nested test to use equality instead of collect.
by Alexey Rodriguez Yakushev 05 Mar '08

05 Mar '08

Wed Mar 5 05:09:49 PST 2008 alex(a)cs.uu.nl * Spine nearly complete, only Crush is unimplemented. Changed Nested test to use equality instead of collect. M ./comparison/NGRoseDatatype.hs -1 +1 M ./comparison/PerfectDatatype.hs +2 A ./comparison/Spine/CrushRight.lhs M ./comparison/Spine/FoldTree.lhs -5 +15 M ./comparison/Spine/GEq.lhs -3 +19 M ./comparison/Spine/GMap.lhs -1 +14 M ./comparison/Spine/GMapQ.lhs -1 +12 M ./comparison/Spine/GShow.lhs -5 +15 M ./comparison/Spine/GShowExt.lhs -8 +20 M ./comparison/Spine/Paradise.lhs -4 +2 R ./comparison/Spine/Reduce.lhs M ./comparison/Spine/RmWeights.lhs +12 M ./comparison/Spine/SYB1.hs +30 M ./comparison/TestNested.exp -1 +1 M ./comparison/TestNested.lhs -8 +3

1 0

patch applied (generics): Added pointer to the version of SYB with class that we are using (HAppS's version, check README)
by Alexey Rodriguez Yakushev 03 Mar '08

03 Mar '08

Mon Mar 3 07:15:57 PST 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * Added pointer to the version of SYB with class that we are using (HAppS's version, check README) M ./comparison/README -1 +9

1 0