From alexey at cs.uu.nl Thu Oct 25 08:49:31 2007 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Thu Oct 25 08:47:13 2007 Subject: [Hs-Generics] patch applied (generics): Give a warning for unknown options in test.hs Message-ID: <20071025124931.GA4453@haskell.galois.com> Wed Oct 24 03:36:24 PDT 2007 Alexey Rodriguez * Give a warning for unknown options in test.hs M ./comparison/test.hs -2 +13 From alexey at cs.uu.nl Thu Oct 25 08:49:30 2007 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Thu Oct 25 08:47:14 2007 Subject: [Hs-Generics] patch applied (generics): Split up Higher order test and added SYB cases. Message-ID: <20071025124930.GA4431@haskell.galois.com> Mon Oct 22 08:25:31 PDT 2007 Alexey Rodriguez * 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 From alexey at cs.uu.nl Thu Oct 25 08:49:32 2007 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Thu Oct 25 08:47:15 2007 Subject: [Hs-Generics] patch applied (generics): Convenient Makefile target for ghci testing of approaches Message-ID: <20071025124932.GA4469@haskell.galois.com> Wed Oct 24 03:36:55 PDT 2007 Alexey Rodriguez * Convenient Makefile target for ghci testing of approaches M ./comparison/Makefile +5 From alexey at cs.uu.nl Thu Oct 25 08:49:34 2007 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Thu Oct 25 08:47:17 2007 Subject: [Hs-Generics] patch applied (generics): Added missing BinTreeReps2, GMap2 and other tests were failing for EMGM otherwise. Message-ID: <20071025124934.GA4485@haskell.galois.com> Thu Oct 25 05:05:14 PDT 2007 Alexey Rodriguez * Added missing BinTreeReps2, GMap2 and other tests were failing for EMGM otherwise. A ./comparison/EMGM/BinTreeReps2.hs From alexey at cs.uu.nl Thu Oct 25 08:49:35 2007 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Thu Oct 25 08:47:18 2007 Subject: [Hs-Generics] 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. Message-ID: <20071025124935.GA4501@haskell.galois.com> Thu Oct 25 05:43:27 PDT 2007 Alexey Rodriguez * 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 From alexey at cs.uu.nl Thu Oct 25 12:16:15 2007 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Thu Oct 25 12:13:58 2007 Subject: [Hs-Generics] patch applied (generics): Spine GShow conforms to the expected result in benchmark Message-ID: <20071025161615.GA9085@haskell.galois.com> Thu Oct 25 06:07:34 PDT 2007 Alexey Rodriguez * 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 From alexey at cs.uu.nl Thu Oct 25 12:16:16 2007 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Thu Oct 25 12:13:59 2007 Subject: [Hs-Generics] patch applied (generics): Higher order tests for Spine Message-ID: <20071025161616.GA9107@haskell.galois.com> Thu Oct 25 09:15:26 PDT 2007 Alexey Rodriguez * Higher order tests for Spine M ./comparison/Spine/FoldTree.lhs -12 +8 A ./comparison/Spine/GMapQ.lhs M ./comparison/Spine/GShow.lhs -1 +5