March 2008 - Generics

patch applied (generics): RepLib: BinTreeReps added
by Alexey Rodriguez Yakushev 18 Mar '08

18 Mar '08

Tue Mar 18 07:27:29 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * RepLib: BinTreeReps added A ./comparison/RepLib/BinTreeReps.hs

1 0

patch applied (generics): Ad-hoc cases with SYB-style combinators and with type-classes for RepLib
by Alexey Rodriguez Yakushev 18 Mar '08

18 Mar '08

Tue Mar 18 07:20:55 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * Ad-hoc cases with SYB-style combinators and with type-classes for RepLib M ./comparison/RepLib/FoldTree.lhs -6 +42

1 0

patch applied (generics): Completed Uniplate tests.
by Alexey Rodriguez Yakushev 18 Mar '08

18 Mar '08

Thu Mar 13 09:00:32 PDT 2008 alex(a)cs.uu.nl * Completed Uniplate tests. A ./comparison/Uniplate/CrushRight.lhs M ./comparison/Uniplate/FoldTree.lhs +3 A ./comparison/Uniplate/FullTree.lhs A ./comparison/Uniplate/GEq.lhs M ./comparison/Uniplate/GShow.lhs -1 +10 M ./comparison/Uniplate/Paradise.lhs -5 +3

1 0

patch applied (generics): Spine corrections
by Alexey Rodriguez Yakushev 18 Mar '08

18 Mar '08

Tue Mar 18 05:43:59 PDT 2008 alex(a)cs.uu.nl * Spine corrections M ./comparison/Spine/CrushRight.lhs -12 +12 M ./comparison/Spine/FoldTree.lhs -1 +1 A ./comparison/Spine/GZipWith.lhs M ./comparison/Spine/Paradise.lhs -2 +2 M ./comparison/Spine/SYB1.hs -1 +19

1 0

patch applied (generics): GMapQ1 test for RepLib.
by Alexey Rodriguez Yakushev 18 Mar '08

18 Mar '08

Mon Mar 17 11:03:26 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * GMapQ1 test for RepLib. M ./comparison/RepLib/GShow.lhs -14 +12

1 0

patch applied (generics): TestGEqNGRose also works. It was tough. It seems it is possible to specify local explicit universal quantification in type-class constraints. So, constraints can indeed be higher-rank. So, am I done with all examples?
by Oleg Kiselyov 18 Mar '08

18 Mar '08

Mon Mar 17 23:05:47 PDT 2008 oleg(a)okmij.org * TestGEqNGRose also works. It was tough. It seems it is possible to specify local explicit universal quantification in type-class constraints. So, constraints can indeed be higher-rank. So, am I done with all examples? M ./comparison/SmashA/GEq.hs -3 +3 A ./comparison/SmashA/NGRoseDats.hs

1 0

patch applied (generics): Removed rests of LIGD-style CrushRight from RepLib
by Alexey Rodriguez Yakushev 17 Mar '08

17 Mar '08

Mon Mar 17 05:54:01 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * Removed rests of LIGD-style CrushRight from RepLib M ./comparison/RepLib/CrushRight.lhs -55

1 0

patch applied (generics): Made CrushRight more idiomatic for RepLib.
by Alexey Rodriguez Yakushev 17 Mar '08

17 Mar '08

Mon Mar 17 05:52:36 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * Made CrushRight more idiomatic for RepLib. M ./comparison/RepLib/CrushRight.lhs -27 +56

1 0

patch applied (generics): Test case overview
by Alexey Rodriguez Yakushev 17 Mar '08

17 Mar '08

Mon Mar 17 03:33:22 PDT 2008 patrikj(a)chalmers.se * Test case overview M ./comparison/GADT.hs -8 +8 M ./comparison/LIGD/Efficiency.lhs -1 M ./comparison/TestCrushRight.lhs -3 +3 M ./comparison/TestGMapQ1.lhs -1 +1 M ./comparison/log.txt -4 +88

1 0

patch applied (generics): TestEfficiency running for most approaches (but no good benchmark)
by Alexey Rodriguez Yakushev 17 Mar '08

17 Mar '08

Sun Mar 16 13:59:28 PDT 2008 patrikj(a)chalmers.se * TestEfficiency running for most approaches (but no good benchmark) M ./comparison/Uniplate/log.txt -1 +1 M ./comparison/log.txt +27

1 0