October 2007 - Generics

patch applied (generics): Higher order tests for Spine
by Alexey Rodriguez Yakushev 25 Oct '07

25 Oct '07

Thu Oct 25 09:15:26 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Higher order tests for Spine M ./comparison/Spine/FoldTree.lhs -12 +8 A ./comparison/Spine/GMapQ.lhs M ./comparison/Spine/GShow.lhs -1 +5

1 0

patch applied (generics): Spine GShow conforms to the expected result in benchmark
by Alexey Rodriguez Yakushev 25 Oct '07

25 Oct '07

Thu Oct 25 06:07:34 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Spine GShow conforms to the expected result in benchmark The implementation of generic show in this library was more advanced than in other libraries. Nothing fundamental, but it is to tiresome to make as good a show in all libraries. In short we went for the lowest common denominator. The things that were changed were: * Removed ad-hoc cases for lists and strings. * Constructors were renamed (Cons -> (:) , Nil -> []) * Now we always print a parenthesis around the result (hacky since Spine uses priorities of infix constructors while other libs don't, so data with infix cons. might break this again). M ./comparison/Spine/GShow.lhs -13 M ./comparison/Spine/SYB1.hs -5 +10

1 0

patch applied (generics): Changed higher order tests and GShow test, ad-hoc list case for gshow is not required anymore. Ad-hoc-ness is tested in foldtree and paradise already.
by Alexey Rodriguez Yakushev 25 Oct '07

25 Oct '07

Thu Oct 25 05:43:27 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Changed higher order tests and GShow test, ad-hoc list case for gshow is not required anymore. Ad-hoc-ness is tested in foldtree and paradise already. M ./comparison/EMGM/FoldTree.lhs -2 +7 M ./comparison/EMGM/GMapQ.lhs -13 +21 M ./comparison/EMGM/GShow.lhs -5 +9 M ./comparison/EMGM/Paradise.lhs -1 +2 M ./comparison/LIGD/FoldTree.lhs +4 A ./comparison/LIGD/GMapQ.lhs M ./comparison/LIGD/GShow.lhs -26 +1 M ./comparison/SYB1_2/FoldTree.lhs -1 +8 M ./comparison/SYB1_2/GShow.lhs -1 +3 M ./comparison/TestGShow.lhs -5 +10 M ./comparison/TestHigherOrder1.lhs -5 +5 M ./comparison/TestHigherOrder2.exp -1 +1 M ./comparison/TestHigherOrder2.lhs -7 +7

1 0

patch applied (generics): Added missing BinTreeReps2, GMap2 and other tests were failing for EMGM otherwise.
by Alexey Rodriguez Yakushev 25 Oct '07

25 Oct '07

Thu Oct 25 05:05:14 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Added missing BinTreeReps2, GMap2 and other tests were failing for EMGM otherwise. A ./comparison/EMGM/BinTreeReps2.hs

1 0

patch applied (generics): Convenient Makefile target for ghci testing of approaches
by Alexey Rodriguez Yakushev 25 Oct '07

25 Oct '07

Wed Oct 24 03:36:55 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Convenient Makefile target for ghci testing of approaches M ./comparison/Makefile +5

1 0

patch applied (generics): Give a warning for unknown options in test.hs
by Alexey Rodriguez Yakushev 25 Oct '07

25 Oct '07

Wed Oct 24 03:36:24 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Give a warning for unknown options in test.hs M ./comparison/test.hs -2 +13

1 0

patch applied (generics): Split up Higher order test and added SYB cases.
by Alexey Rodriguez Yakushev 25 Oct '07

25 Oct '07

Mon Oct 22 08:25:31 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Split up Higher order test and added SYB cases. The Higher Orderness test is split into two tests. Test 1 does not need ad-hoc cases but Test 2 does, check sources. Also added SYB instances of the test. ./comparison/TestHigherOrder.exp -> ./comparison/TestHigherOrder1.exp ./comparison/TestHigherOrder.lhs -> ./comparison/TestHigherOrder1.lhs M ./comparison/LIGD/GShow.lhs -1 +3 M ./comparison/SYB1_2/GShow.lhs -1 +5 M ./comparison/TestHigherOrder1.exp -1 +1 M ./comparison/TestHigherOrder1.lhs -2 +5 A ./comparison/TestHigherOrder2.exp A ./comparison/TestHigherOrder2.lhs M ./comparison/test.hs -1 +1

1 0