- Generics - Haskell.org

patch applied (generics): Added Efficiency. FullTree was added in the previous patc, but the e-mail notification to the list didn't make it.
by Oleg Kiselyov 15 Mar '08

15 Mar '08

Sat Mar 15 00:33:21 PDT 2008 oleg(a)okmij.org * Added Efficiency. FullTree was added in the previous patc, but the e-mail notification to the list didn't make it. A ./comparison/SmashA/Efficiency.hs M ./comparison/SmashA/GEq.hs -1 +10

1 0

patch applied (generics): Added the fulltree test to the suite.
by Alexey Rodriguez Yakushev 12 Mar '08

12 Mar '08

Tue Mar 11 15:34:30 PDT 2008 alex(a)cs.uu.nl * Added the fulltree test to the suite. The data generation scenario has been added to the test suite, by means of the fulltree test. The test checks whether a library can generically produce data. A binary tree and a list are generated. The following libs are implemented: - EMGM - LIGD - PolyP - Spine - Uniplate These libs remain to be done: - RepLib (Alexey/Alex?) - SYB1_2 (Alexey? - SmashA (Oleg?) M ./comparison/EMGM/Efficiency.lhs -20 +3 A ./comparison/EMGM/FullTree.lhs M ./comparison/LIGD/Efficiency.lhs -19 +3 A ./comparison/LIGD/FullTree.lhs A ./comparison/PolyP/FullTree.lhs A ./comparison/RepLib/FullTree.lhs M ./comparison/RepLib/GEq.lhs -1 +2 A ./comparison/SYB1_2/FullTree.lhs A ./comparison/Spine/FullTree.lhs A ./comparison/TestFullTree.exp A ./comparison/TestFullTree.lhs M ./comparison/test.hs +1

1 0

patch applied (generics): forgot UpdateSalaryDef
by Alexey Rodriguez Yakushev 12 Mar '08

12 Mar '08

Tue Mar 11 15:40:59 PDT 2008 patrikj(a)chalmers.se * forgot UpdateSalaryDef A ./comparison/LIGD/UpdateSalaryDef.lhs

1 0

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