From alexey at cs.uu.nl Mon Mar 3 10:17:05 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 3 10:14:39 2008 Subject: [Hs-Generics] patch applied (generics): Data and Typeable instances are generated using standalone 'deriving', specific to GHC >= 6.8. Message-ID: <20080303151705.GA18162@haskell.galois.com> Mon Mar 3 05:50:42 PST 2008 Alexey Rodriguez * Data and Typeable instances are generated using standalone 'deriving', specific to GHC >= 6.8. M ./comparison/CompanyDatatypes.hs -6 +6 A ./comparison/SYB1_2/CompanyReps.hs From alexey at cs.uu.nl Mon Mar 3 10:17:07 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 3 10:14:41 2008 Subject: [Hs-Generics] patch applied (generics): Added "import CompanyReps" to SYB1_2 tests. Message-ID: <20080303151707.GA18184@haskell.galois.com> Mon Mar 3 05:56:55 PST 2008 Alexey Rodriguez * Added "import CompanyReps" to SYB1_2 tests. M ./comparison/SYB1_2/FoldTree.lhs +1 M ./comparison/SYB1_2/GEq.lhs +1 M ./comparison/SYB1_2/GShow.lhs +1 M ./comparison/SYB1_2/UpdateSalaryDef.lhs +1 From alexey at cs.uu.nl Mon Mar 3 10:17:08 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 3 10:14:42 2008 Subject: [Hs-Generics] patch applied (generics): SYB1_2/GRoseInstances.hs -> SYB1_2/GRoseReps.hs Message-ID: <20080303151708.GA18200@haskell.galois.com> Mon Mar 3 05:59:10 PST 2008 Alexey Rodriguez * SYB1_2/GRoseInstances.hs -> SYB1_2/GRoseReps.hs ./comparison/SYB1_2/GRoseInstances.hs -> ./comparison/SYB1_2/GRoseReps.hs M ./comparison/SYB1_2/GEq.lhs -1 +1 M ./comparison/SYB1_2/GRoseReps.hs -1 +1 From alexey at cs.uu.nl Mon Mar 3 10:17:10 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 3 10:14:44 2008 Subject: [Hs-Generics] patch applied (generics): Factored out paren from SYB1_2/GShow.lhs Message-ID: <20080303151710.GA18216@haskell.galois.com> Mon Mar 3 07:11:49 PST 2008 Alexey Rodriguez * Factored out paren from SYB1_2/GShow.lhs M ./comparison/Common.lhs +5 M ./comparison/SYB1_2/GShow.lhs -3 +3 From alexey at cs.uu.nl Mon Mar 3 10:17:11 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 3 10:14:44 2008 Subject: [Hs-Generics] patch applied (generics): TestGShow and TestGShowExt for SYB with class Message-ID: <20080303151711.GA18232@haskell.galois.com> Mon Mar 3 07:12:26 PST 2008 Alexey Rodriguez * TestGShow and TestGShowExt for SYB with class A ./comparison/syb3/ A ./comparison/syb3/CompanyReps.hs A ./comparison/syb3/GShow.lhs A ./comparison/syb3/GShowDef.lhs A ./comparison/syb3/GShowExt.lhs M ./comparison/test.hs -1 +1 From alexey at cs.uu.nl Mon Mar 3 10:17:12 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 3 10:14:47 2008 Subject: [Hs-Generics] patch applied (generics): Added pointer to the version of SYB with class that we are using (HAppS's version, check README) Message-ID: <20080303151712.GA18248@haskell.galois.com> Mon Mar 3 07:15:57 PST 2008 Alexey Rodriguez * Added pointer to the version of SYB with class that we are using (HAppS's version, check README) M ./comparison/README -1 +9 From alexey at cs.uu.nl Wed Mar 5 08:37:10 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Wed Mar 5 08:34:39 2008 Subject: [Hs-Generics] patch applied (generics): Spine nearly complete, only Crush is unimplemented. Changed Nested test to use equality instead of collect. Message-ID: <20080305133710.GA5398@haskell.galois.com> Wed Mar 5 05:09:49 PST 2008 alex@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 From alexey at cs.uu.nl Thu Mar 6 10:01:18 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Thu Mar 6 09:58:51 2008 Subject: [Hs-Generics] patch applied (generics): Nested test for most libraries (EMGM, LIGD, RepLib, SYB) Message-ID: <20080306150118.GA519@haskell.galois.com> Wed Mar 5 13:45:29 PST 2008 alex@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 From alexey at cs.uu.nl Mon Mar 10 07:08:57 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 10 07:06:10 2008 Subject: [Hs-Generics] patch applied (generics): Renamed the selectInt test to selectIntWTree and added a selectIntPerfect to test if a library is able to handle nested datatypes. Message-ID: <20080310110857.GA13496@haskell.galois.com> Mon Mar 10 03:55:17 PDT 2008 alex@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 From oleg at pobox.com Tue Mar 11 05:30:47 2008 From: oleg at pobox.com (Oleg Kiselyov) Date: Tue Mar 11 05:28:03 2008 Subject: [Hs-Generics] patch applied (generics): Made all the old test of SmashA work in the new version of the framework. Message-ID: <20080311093047.GA19394@haskell.galois.com> Tue Mar 11 02:20:29 PDT 2008 oleg@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 From oleg at pobox.com Tue Mar 11 05:30:46 2008 From: oleg at pobox.com (Oleg Kiselyov) Date: Tue Mar 11 05:28:04 2008 Subject: [Hs-Generics] 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. Message-ID: <20080311093046.GA19371@haskell.galois.com> Sun Jul 29 17:51:41 PDT 2007 oleg@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 From oleg at pobox.com Tue Mar 11 05:30:49 2008 From: oleg at pobox.com (Oleg Kiselyov) Date: Tue Mar 11 05:28:04 2008 Subject: [Hs-Generics] patch applied (generics): The current version of Smash is SmashA. Message-ID: <20080311093049.GA19412@haskell.galois.com> Tue Mar 11 02:29:52 PDT 2008 oleg@okmij.org * The current version of Smash is SmashA. M ./comparison/test.hs -1 +1 From alexey at cs.uu.nl Tue Mar 11 10:26:46 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Mar 11 10:23:56 2008 Subject: [Hs-Generics] patch applied (generics): Added usage instructions to test.hs and an option to run all tests. Message-ID: <20080311142646.GA29375@haskell.galois.com> Tue Mar 11 07:25:29 PDT 2008 Alexey Rodriguez * Added usage instructions to test.hs and an option to run all tests. M ./comparison/test.hs -7 +22 From oleg at pobox.com Tue Mar 11 23:59:41 2008 From: oleg at pobox.com (Oleg Kiselyov) Date: Tue Mar 11 23:56:55 2008 Subject: [Hs-Generics] patch applied (generics): Added a new test of equality of nested datatypes: PerfectTrees. It passes ok. Message-ID: <20080312035941.GA30219@haskell.galois.com> Tue Mar 11 20:58:56 PDT 2008 oleg@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 From oleg at pobox.com Tue Mar 11 23:59:39 2008 From: oleg at pobox.com (Oleg Kiselyov) Date: Tue Mar 11 23:56:56 2008 Subject: [Hs-Generics] patch applied (generics): The new test, RmWeights, passes ok Message-ID: <20080312035939.GA30196@haskell.galois.com> Tue Mar 11 20:42:29 PDT 2008 oleg@okmij.org * The new test, RmWeights, passes ok A ./comparison/SmashA/RmWeights.hs From alexey at cs.uu.nl Wed Mar 12 03:51:48 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Wed Mar 12 03:49:03 2008 Subject: [Hs-Generics] patch applied (generics): forgot UpdateSalaryDef Message-ID: <20080312075147.GA12669@haskell.galois.com> Tue Mar 11 15:40:59 PDT 2008 patrikj@chalmers.se * forgot UpdateSalaryDef A ./comparison/LIGD/UpdateSalaryDef.lhs From alexey at cs.uu.nl Wed Mar 12 03:51:59 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Wed Mar 12 03:49:09 2008 Subject: [Hs-Generics] patch applied (generics): Added the fulltree test to the suite. Message-ID: <20080312075158.GA12691@haskell.galois.com> Tue Mar 11 15:34:30 PDT 2008 alex@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 From oleg at okmij.org Sat Mar 15 03:34:36 2008 From: oleg at okmij.org (Oleg Kiselyov) Date: Sat Mar 15 03:31:32 2008 Subject: [Hs-Generics] patch applied (generics): Added Efficiency. FullTree was added in the previous patc, but the e-mail notification to the list didn't make it. Message-ID: <20080315073436.GA11326@haskell.galois.com> Sat Mar 15 00:33:21 PDT 2008 oleg@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 From oleg at okmij.org Sat Mar 15 05:04:21 2008 From: oleg at okmij.org (Oleg Kiselyov) Date: Sat Mar 15 05:01:17 2008 Subject: [Hs-Generics] patch applied (generics): Implementing shallow map, aka gMapQ. TestGMapQ1 nd TestGMapQ2 now work. Message-ID: <20080315090421.GA13138@haskell.galois.com> Sat Mar 15 02:02:21 PDT 2008 oleg@okmij.org * Implementing shallow map, aka gMapQ. TestGMapQ1 nd TestGMapQ2 now work. M ./comparison/SmashA/FoldTree.hs -1 +23 M ./comparison/SmashA/GShow.hs -3 +38 M ./comparison/SmashA/Syb4A.hs +46 From alexey at cs.uu.nl Mon Mar 17 06:40:23 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 17 06:37:15 2008 Subject: [Hs-Generics] patch applied (generics): PolyP details Message-ID: <20080317104023.GA25241@haskell.galois.com> Fri Mar 14 09:59:26 PDT 2008 patrikj@chalmers.se * PolyP details M ./comparison/PolyP/GShow.lhs -1 +5 M ./comparison/PolyP/PolyLib/Show.hs -1 +1 M ./comparison/TestGMapQ1.lhs +1 From alexey at cs.uu.nl Mon Mar 17 06:40:25 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 17 06:37:15 2008 Subject: [Hs-Generics] patch applied (generics): Towards working performance benchmark Message-ID: <20080317104025.GA25263@haskell.galois.com> Sun Mar 16 13:54:51 PDT 2008 patrikj@chalmers.se * Towards working performance benchmark M ./comparison/Makefile -2 +5 M ./comparison/TestEfficiency.lhs -3 +20 From alexey at cs.uu.nl Mon Mar 17 06:40:26 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 17 06:37:16 2008 Subject: [Hs-Generics] patch applied (generics): NOW/Efficiency compilation fixes Message-ID: <20080317104026.GA25279@haskell.galois.com> Sun Mar 16 13:56:54 PDT 2008 patrikj@chalmers.se * NOW/Efficiency compilation fixes M ./comparison/NOW/NOW.hs +5 From alexey at cs.uu.nl Mon Mar 17 06:40:27 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 17 06:37:22 2008 Subject: [Hs-Generics] patch applied (generics): PolyP/Efficiency compilation fixes Message-ID: <20080317104027.GA25295@haskell.galois.com> Sun Mar 16 13:57:35 PDT 2008 patrikj@chalmers.se * PolyP/Efficiency compilation fixes M ./comparison/PolyP/GEq.lhs -1 +1 M ./comparison/PolyP/GEqTree.lhs -1 +1 M ./comparison/PolyP/GShow.lhs -3 +13 M ./comparison/PolyP/PolyLib/Base.hs -1 +1 M ./comparison/PolyP/PolyLib/ConstructorName.hs +1 M ./comparison/PolyP/PolyLib/FunctorOf.hs -6 +6 M ./comparison/PolyP/PolyLib/Prelude.hs -1 +1 M ./comparison/PolyP/PolyLib/Show.hs +1 From alexey at cs.uu.nl Mon Mar 17 06:40:29 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 17 06:37:23 2008 Subject: [Hs-Generics] patch applied (generics): RepLib/Efficiency comp. fixes Message-ID: <20080317104029.GA25311@haskell.galois.com> Sun Mar 16 13:58:41 PDT 2008 patrikj@chalmers.se * RepLib/Efficiency comp. fixes M ./comparison/RepLib/Efficiency.lhs -10 From alexey at cs.uu.nl Mon Mar 17 06:40:30 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 17 06:37:23 2008 Subject: [Hs-Generics] patch applied (generics): SYB1_2/Efficiency comp. fixes Message-ID: <20080317104030.GA25327@haskell.galois.com> Sun Mar 16 13:59:04 PDT 2008 patrikj@chalmers.se * SYB1_2/Efficiency comp. fixes M ./comparison/SYB1_2/CompanyReps.hs -1 +1 From alexey at cs.uu.nl Mon Mar 17 06:40:32 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 17 06:37:23 2008 Subject: [Hs-Generics] patch applied (generics): TestEfficiency running for most approaches (but no good benchmark) Message-ID: <20080317104032.GA25346@haskell.galois.com> Sun Mar 16 13:59:28 PDT 2008 patrikj@chalmers.se * TestEfficiency running for most approaches (but no good benchmark) M ./comparison/Uniplate/log.txt -1 +1 M ./comparison/log.txt +27 From alexey at cs.uu.nl Mon Mar 17 06:40:33 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 17 06:37:24 2008 Subject: [Hs-Generics] patch applied (generics): Test case overview Message-ID: <20080317104033.GA25362@haskell.galois.com> Mon Mar 17 03:33:22 PDT 2008 patrikj@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 From alexey at cs.uu.nl Mon Mar 17 09:00:49 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 17 08:57:38 2008 Subject: [Hs-Generics] patch applied (generics): Made CrushRight more idiomatic for RepLib. Message-ID: <20080317130048.GA29417@haskell.galois.com> Mon Mar 17 05:52:36 PDT 2008 Alexey Rodriguez * Made CrushRight more idiomatic for RepLib. M ./comparison/RepLib/CrushRight.lhs -27 +56 From alexey at cs.uu.nl Mon Mar 17 09:00:50 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 17 08:57:39 2008 Subject: [Hs-Generics] patch applied (generics): Removed rests of LIGD-style CrushRight from RepLib Message-ID: <20080317130050.GA29433@haskell.galois.com> Mon Mar 17 05:54:01 PDT 2008 Alexey Rodriguez * Removed rests of LIGD-style CrushRight from RepLib M ./comparison/RepLib/CrushRight.lhs -55 From oleg at okmij.org Tue Mar 18 02:09:59 2008 From: oleg at okmij.org (Oleg Kiselyov) Date: Tue Mar 18 02:06:50 2008 Subject: [Hs-Generics] 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? Message-ID: <20080318060959.GA28616@haskell.galois.com> Mon Mar 17 23:05:47 PDT 2008 oleg@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 From alexey at cs.uu.nl Tue Mar 18 08:53:37 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Mar 18 08:50:23 2008 Subject: [Hs-Generics] patch applied (generics): GMapQ1 test for RepLib. Message-ID: <20080318125337.GA7981@haskell.galois.com> Mon Mar 17 11:03:26 PDT 2008 Alexey Rodriguez * GMapQ1 test for RepLib. M ./comparison/RepLib/GShow.lhs -14 +12 From alexey at cs.uu.nl Tue Mar 18 08:53:39 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Mar 18 08:50:25 2008 Subject: [Hs-Generics] patch applied (generics): Spine corrections Message-ID: <20080318125339.GA8003@haskell.galois.com> Tue Mar 18 05:43:59 PDT 2008 alex@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 From alexey at cs.uu.nl Tue Mar 18 08:53:41 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Mar 18 08:50:26 2008 Subject: [Hs-Generics] patch applied (generics): Completed Uniplate tests. Message-ID: <20080318125340.GA8019@haskell.galois.com> Thu Mar 13 09:00:32 PDT 2008 alex@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 From alexey at cs.uu.nl Tue Mar 18 10:29:05 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Mar 18 10:25:51 2008 Subject: [Hs-Generics] patch applied (generics): Ad-hoc cases with SYB-style combinators and with type-classes for RepLib Message-ID: <20080318142905.GA11881@haskell.galois.com> Tue Mar 18 07:20:55 PDT 2008 Alexey Rodriguez * Ad-hoc cases with SYB-style combinators and with type-classes for RepLib M ./comparison/RepLib/FoldTree.lhs -6 +42 From alexey at cs.uu.nl Tue Mar 18 10:29:07 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Mar 18 10:25:51 2008 Subject: [Hs-Generics] patch applied (generics): RepLib: BinTreeReps added Message-ID: <20080318142906.GA11903@haskell.galois.com> Tue Mar 18 07:27:29 PDT 2008 Alexey Rodriguez * RepLib: BinTreeReps added A ./comparison/RepLib/BinTreeReps.hs From oleg at okmij.org Tue Mar 18 20:32:33 2008 From: oleg at okmij.org (Oleg Kiselyov) Date: Tue Mar 18 20:29:16 2008 Subject: [Hs-Generics] patch applied (generics): Demoting GShow to literally satisfy the GShow tests. Message-ID: <20080319003233.GA29551@haskell.galois.com> Tue Mar 18 17:30:55 PDT 2008 oleg@okmij.org * Demoting GShow to literally satisfy the GShow tests. M ./comparison/SmashA/GShow.hs -2 +28 A ./comparison/SmashA/GShowExt.hs From alexey at cs.uu.nl Wed Mar 19 07:15:39 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Wed Mar 19 07:12:23 2008 Subject: [Hs-Generics] patch applied (generics): More documentation on GShowExt.lhs in EMGM Message-ID: <20080319111539.GA12013@haskell.galois.com> Wed Mar 19 03:51:06 PDT 2008 Alexey Rodriguez * More documentation on GShowExt.lhs in EMGM M ./comparison/EMGM/GShowExt.lhs -6 +7 From alexey at cs.uu.nl Wed Mar 19 08:59:21 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Wed Mar 19 08:56:07 2008 Subject: [Hs-Generics] patch applied (generics): Use crushRight1 instead of foldr in RepLib Message-ID: <20080319125921.GA14165@haskell.galois.com> Wed Mar 19 05:58:23 PDT 2008 Alexey Rodriguez * Use crushRight1 instead of foldr in RepLib M ./comparison/RepLib/CrushRight.lhs -5 +9 From oleg at okmij.org Sat Mar 22 07:16:06 2008 From: oleg at okmij.org (Oleg Kiselyov) Date: Sat Mar 22 07:12:38 2008 Subject: [Hs-Generics] patch applied (generics): Demonstrating that flattenListTree, sumListTree and sizeListTree apply, AS THEY ARE, not only to [WTree Int Int] but to *ANY* data that includes WTree a b Message-ID: <20080322111605.GA20245@haskell.galois.com> Sat Mar 22 04:12:08 PDT 2008 oleg@okmij.org * Demonstrating that flattenListTree, sumListTree and sizeListTree apply, AS THEY ARE, not only to [WTree Int Int] but to *ANY* data that includes WTree a b M ./comparison/SmashA/CrushRight.hs +15 M ./comparison/SmashA/Syb4A.hs +5 From oleg at okmij.org Sat Mar 22 07:16:07 2008 From: oleg at okmij.org (Oleg Kiselyov) Date: Sat Mar 22 07:12:40 2008 Subject: [Hs-Generics] patch applied (generics): Writing CrushRight that literally mimics the corresponding code in RepLib, EMGM, etc. I shall argue that requiring such a literal reproduction is like shootout requiring Haskell code be written in the same style as ML or C code, or vice versa. Each language has its idioms and style, even if the the solutions are extensionally the same. Message-ID: <20080322111607.GA20267@haskell.galois.com> Sat Mar 22 04:13:08 PDT 2008 oleg@okmij.org * Writing CrushRight that literally mimics the corresponding code in RepLib, EMGM, etc. I shall argue that requiring such a literal reproduction is like shootout requiring Haskell code be written in the same style as ML or C code, or vice versa. Each language has its idioms and style, even if the the solutions are extensionally the same. A ./comparison/SmashA/CrushRightBad.hs From oleg at okmij.org Wed Mar 26 05:07:35 2008 From: oleg at okmij.org (Oleg Kiselyov) Date: Wed Mar 26 05:03:55 2008 Subject: [Hs-Generics] patch applied (generics): A very small change to the library, which makes RmWeights look like people wanted it to see. The old way still works. I'm still unsure how am I feeling about this. Need to re-run the test, although I think I checked most if not all files. Message-ID: <20080326090735.GA4716@haskell.galois.com> Wed Mar 26 02:04:53 PDT 2008 oleg@okmij.org * A very small change to the library, which makes RmWeights look like people wanted it to see. The old way still works. I'm still unsure how am I feeling about this. Need to re-run the test, although I think I checked most if not all files. M ./comparison/SmashA/CrushRight.hs -1 +9 M ./comparison/SmashA/FoldTree.hs -2 +2 M ./comparison/SmashA/FullTree.hs -2 +2 M ./comparison/SmashA/GEq.hs -1 +1 M ./comparison/SmashA/GMap.hs -1 +1 M ./comparison/SmashA/Nested.hs -2 +2 M ./comparison/SmashA/Paradise.hs -2 +2 M ./comparison/SmashA/RmWeights.hs -5 +17 M ./comparison/SmashA/Syb4A.hs -16 +17 M ./comparison/SmashA/TreeDats.hs +9 From alexey at cs.uu.nl Fri Mar 28 07:11:47 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Fri Mar 28 07:08:02 2008 Subject: [Hs-Generics] patch applied (generics): Added arity-3 representation for BinTree in EMGM Message-ID: <20080328111147.GA8398@haskell.galois.com> Tue Mar 25 05:56:13 PDT 2008 Alexey Rodriguez * Added arity-3 representation for BinTree in EMGM A ./comparison/EMGM/BinTreeReps3.hs From alexey at cs.uu.nl Fri Mar 28 07:11:49 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Fri Mar 28 07:08:04 2008 Subject: [Hs-Generics] patch applied (generics): Tidying up in EMGM Message-ID: <20080328111149.GA8420@haskell.galois.com> Tue Mar 25 05:56:42 PDT 2008 Alexey Rodriguez * Tidying up in EMGM M ./comparison/EMGM/CrushRight.lhs -4 M ./comparison/EMGM/GMap3.lhs -1 +1 From alexey at cs.uu.nl Fri Mar 28 07:11:50 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Fri Mar 28 07:08:05 2008 Subject: [Hs-Generics] patch applied (generics): Arity-3 crushRight for EMGM Message-ID: <20080328111150.GA8436@haskell.galois.com> Tue Mar 25 05:57:12 PDT 2008 Alexey Rodriguez * Arity-3 crushRight for EMGM A ./comparison/EMGM/CrushRight3.lhs From alexey at cs.uu.nl Fri Mar 28 07:11:51 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Fri Mar 28 07:08:05 2008 Subject: [Hs-Generics] patch applied (generics): Refactoring in generic transpose Message-ID: <20080328111151.GA8452@haskell.galois.com> Tue Mar 25 06:04:06 PDT 2008 Alexey Rodriguez * Refactoring in generic transpose M ./comparison/misc/transpose.hs -13 +15 From alexey at cs.uu.nl Fri Mar 28 07:11:53 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Fri Mar 28 07:08:08 2008 Subject: [Hs-Generics] patch applied (generics): Remark about NGRose for EMGM Message-ID: <20080328111153.GA8468@haskell.galois.com> Thu Mar 27 06:42:38 PDT 2008 Alexey Rodriguez * Remark about NGRose for EMGM M ./comparison/EMGM/NGRoseReps.hs -1 +6 From alexey at cs.uu.nl Fri Mar 28 07:11:54 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Fri Mar 28 07:08:08 2008 Subject: [Hs-Generics] patch applied (generics): Universe test in FoldTree for Uniplate Message-ID: <20080328111154.GA8484@haskell.galois.com> Thu Mar 27 13:48:28 PDT 2008 alex@cs.uu.nl * Universe test in FoldTree for Uniplate M ./comparison/Uniplate/FoldTree.lhs +10 A ./comparison/Uniplate/GRoseReps.hs From oleg at okmij.org Sat Mar 29 03:55:44 2008 From: oleg at okmij.org (Oleg Kiselyov) Date: Sat Mar 29 03:51:55 2008 Subject: [Hs-Generics] patch applied (generics): The last file needed adjustment. All tests pass. Message-ID: <20080329075544.GA3724@haskell.galois.com> Sat Mar 29 00:54:21 PDT 2008 oleg@okmij.org * The last file needed adjustment. All tests pass. M ./comparison/SmashA/GShow.hs -13 +13 From oleg at okmij.org Sat Mar 29 03:55:46 2008 From: oleg at okmij.org (Oleg Kiselyov) Date: Sat Mar 29 03:51:58 2008 Subject: [Hs-Generics] patch applied (generics): More comments. Message-ID: <20080329075545.GA3752@haskell.galois.com> Sat Mar 29 00:54:52 PDT 2008 oleg@okmij.org * More comments. M ./comparison/SmashA/Syb4A.hs +13 From alexey at cs.uu.nl Sun Mar 30 18:30:06 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Sun Mar 30 18:26:15 2008 Subject: [Hs-Generics] patch applied (generics): Data and Typeable are generated by standalone deriving for SYB1_2, needs GHC 6.8.2 Message-ID: <20080330223006.GA26821@haskell.galois.com> Sun Mar 30 10:40:24 PDT 2008 Alexey Rodriguez * Data and Typeable are generated by standalone deriving for SYB1_2, needs GHC 6.8.2 M ./comparison/BinTreeDatatype.hs -1 +1 A ./comparison/SYB1_2/BinTreeReps.hs M ./comparison/SYB1_2/GEq.lhs +1 From alexey at cs.uu.nl Sun Mar 30 18:30:07 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Sun Mar 30 18:26:16 2008 Subject: [Hs-Generics] patch applied (generics): Generic equality for syb3 loops strangely when casting the second arguments Message-ID: <20080330223007.GA26844@haskell.galois.com> Sun Mar 30 10:42:17 PDT 2008 Alexey Rodriguez * Generic equality for syb3 loops strangely when casting the second arguments A ./comparison/syb3/BinTreeReps.hs A ./comparison/syb3/GEq.lhs A ./comparison/syb3/Traversals.lhs From alexey at cs.uu.nl Sun Mar 30 18:30:09 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Sun Mar 30 18:26:16 2008 Subject: [Hs-Generics] patch applied (generics): import BinTreeReps Message-ID: <20080330223009.GA26861@haskell.galois.com> Sun Mar 30 10:44:10 PDT 2008 Alexey Rodriguez * import BinTreeReps M ./comparison/SYB1_2/GShow.lhs +1 From alexey at cs.uu.nl Sun Mar 30 18:30:10 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Sun Mar 30 18:26:22 2008 Subject: [Hs-Generics] patch applied (generics): TestGMapQ1 for syb3 Message-ID: <20080330223010.GA26877@haskell.galois.com> Sun Mar 30 11:00:34 PDT 2008 Alexey Rodriguez * TestGMapQ1 for syb3 M ./comparison/syb3/GShow.lhs -1 +6 From alexey at cs.uu.nl Sun Mar 30 18:30:12 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Sun Mar 30 18:26:22 2008 Subject: [Hs-Generics] patch applied (generics): TestSelectIntWTree for syb3 Message-ID: <20080330223011.GA26893@haskell.galois.com> Sun Mar 30 13:17:46 PDT 2008 Alexey Rodriguez * TestSelectIntWTree for syb3 M ./comparison/TreeDatatype.hs -1 +1 A ./comparison/syb3/FoldTree.lhs M ./comparison/syb3/Traversals.lhs +6 From alexey at cs.uu.nl Sun Mar 30 18:30:13 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Sun Mar 30 18:26:22 2008 Subject: [Hs-Generics] patch applied (generics): Data and Typeable for WTree use standalone deriving for SYB1_2 Message-ID: <20080330223013.GA26909@haskell.galois.com> Sun Mar 30 13:25:45 PDT 2008 Alexey Rodriguez * Data and Typeable for WTree use standalone deriving for SYB1_2 M ./comparison/SYB1_2/CrushRight.lhs +1 M ./comparison/SYB1_2/FoldTree.lhs +1 M ./comparison/SYB1_2/RmWeights.lhs +1 A ./comparison/SYB1_2/TreeReps.hs From alexey at cs.uu.nl Sun Mar 30 18:30:14 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Sun Mar 30 18:26:23 2008 Subject: [Hs-Generics] patch applied (generics): WTree representation for syb3 Message-ID: <20080330223014.GA26925@haskell.galois.com> Sun Mar 30 13:26:42 PDT 2008 Alexey Rodriguez * WTree representation for syb3 A ./comparison/syb3/TreeReps.hs From alexey at cs.uu.nl Sun Mar 30 18:30:16 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Sun Mar 30 18:26:24 2008 Subject: [Hs-Generics] patch applied (generics): SelectIntPerfect for syb3, does not work: context reduction loops Message-ID: <20080330223015.GA26941@haskell.galois.com> Sun Mar 30 13:44:26 PDT 2008 Alexey Rodriguez * SelectIntPerfect for syb3, does not work: context reduction loops M ./comparison/PerfectDatatype.hs -2 +2 M ./comparison/syb3/FoldTree.lhs +6 A ./comparison/syb3/PerfectReps.hs From alexey at cs.uu.nl Sun Mar 30 18:30:17 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Sun Mar 30 18:26:30 2008 Subject: [Hs-Generics] patch applied (generics): Standalone deriving Typeable and Data for Perfect in SYB1_2 Message-ID: <20080330223017.GA26957@haskell.galois.com> Sun Mar 30 13:57:59 PDT 2008 Alexey Rodriguez * Standalone deriving Typeable and Data for Perfect in SYB1_2 M ./comparison/SYB1_2/FoldTree.lhs +1 M ./comparison/SYB1_2/Nested.lhs +1 A ./comparison/SYB1_2/PerfectReps.hs From alexey at cs.uu.nl Sun Mar 30 18:30:18 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Sun Mar 30 18:26:31 2008 Subject: [Hs-Generics] patch applied (generics): TestSelectSalary for syb3 Message-ID: <20080330223018.GA26973@haskell.galois.com> Sun Mar 30 14:07:54 PDT 2008 Alexey Rodriguez * TestSelectSalary for syb3 M ./comparison/syb3/FoldTree.lhs +27 From alexey at cs.uu.nl Sun Mar 30 18:30:20 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Sun Mar 30 18:26:31 2008 Subject: [Hs-Generics] patch applied (generics): TestGMapQ2 and TestUpdateSalary for syb3 Message-ID: <20080330223020.GA26990@haskell.galois.com> Sun Mar 30 15:00:35 PDT 2008 Alexey Rodriguez * TestGMapQ2 and TestUpdateSalary for syb3 M ./comparison/syb3/FoldTree.lhs -1 +8 A ./comparison/syb3/Paradise.lhs M ./comparison/syb3/Traversals.lhs -1 +4 From alexey at cs.uu.nl Sun Mar 30 18:30:21 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Sun Mar 30 18:26:32 2008 Subject: [Hs-Generics] patch applied (generics): Idiomatic RmWeights for SYB1_2 Message-ID: <20080330223021.GA27006@haskell.galois.com> Sun Mar 30 15:05:27 PDT 2008 Alexey Rodriguez * Idiomatic RmWeights for SYB1_2 M ./comparison/SYB1_2/RmWeights.lhs -5 +6 From alexey at cs.uu.nl Sun Mar 30 18:30:22 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Sun Mar 30 18:26:32 2008 Subject: [Hs-Generics] patch applied (generics): RmWeights for syb3 Message-ID: <20080330223022.GA27022@haskell.galois.com> Sun Mar 30 15:11:45 PDT 2008 Alexey Rodriguez * RmWeights for syb3 A ./comparison/syb3/RmWeights.lhs From alexey at cs.uu.nl Sun Mar 30 18:30:24 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Sun Mar 30 18:26:32 2008 Subject: [Hs-Generics] patch applied (generics): Trivial, failing GMap for syb3 Message-ID: <20080330223024.GA27038@haskell.galois.com> Sun Mar 30 15:13:50 PDT 2008 Alexey Rodriguez * Trivial, failing GMap for syb3 A ./comparison/syb3/GMap.lhs From alexey at cs.uu.nl Sun Mar 30 18:30:25 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Sun Mar 30 18:26:33 2008 Subject: [Hs-Generics] patch applied (generics): CrushRight clarifications, and tidying up Message-ID: <20080330223025.GA27054@haskell.galois.com> Sun Mar 30 15:28:53 PDT 2008 Alexey Rodriguez * CrushRight clarifications, and tidying up M ./comparison/SYB1_2/CrushRight.lhs -35 +15 M ./comparison/TestCrushRight.lhs +13 From alexey at cs.uu.nl Mon Mar 31 05:00:30 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 31 04:56:35 2008 Subject: [Hs-Generics] patch applied (generics): I broke the representations for Uniplate, fixing them. Message-ID: <20080331090030.GA9784@haskell.galois.com> Mon Mar 31 01:57:47 PDT 2008 Alexey Rodriguez * I broke the representations for Uniplate, fixing them. A ./comparison/Uniplate/BinTreeReps.hs A ./comparison/Uniplate/CompanyReps.hs M ./comparison/Uniplate/FoldTree.lhs +3 A ./comparison/Uniplate/PerfectReps.hs M ./comparison/Uniplate/RmWeights.lhs +2 A ./comparison/Uniplate/TreeReps.hs From alexey at cs.uu.nl Mon Mar 31 05:00:32 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 31 04:56:37 2008 Subject: [Hs-Generics] patch applied (generics): CrushRight not supported in syb3 Message-ID: <20080331090031.GA9806@haskell.galois.com> Mon Mar 31 01:58:29 PDT 2008 Alexey Rodriguez * CrushRight not supported in syb3 A ./comparison/syb3/CrushRight.lhs From alexey at cs.uu.nl Mon Mar 31 09:16:07 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 31 09:12:15 2008 Subject: [Hs-Generics] patch applied (generics): Fixed Spine library and added Nested for Spine Message-ID: <20080331131606.GA15797@haskell.galois.com> Mon Mar 31 02:23:43 PDT 2008 alex@cs.uu.nl * Fixed Spine library and added Nested for Spine A ./comparison/Spine/Nested.lhs M ./comparison/Spine/SYB1.hs -6 +8 From alexey at cs.uu.nl Mon Mar 31 09:16:08 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 31 09:12:16 2008 Subject: [Hs-Generics] patch applied (generics): Some more information on failure of GEq, and manual representation in BinTree that would make it work. Message-ID: <20080331131608.GA15819@haskell.galois.com> Mon Mar 31 06:08:22 PDT 2008 Alexey Rodriguez * Some more information on failure of GEq, and manual representation in BinTree that would make it work. M ./comparison/syb3/BinTreeReps.hs +41 M ./comparison/syb3/GEq.lhs -4 +5 From alexey at cs.uu.nl Mon Mar 31 09:16:10 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 31 09:12:16 2008 Subject: [Hs-Generics] patch applied (generics): File demonstrating buggy Data instances generated by Derive. Message-ID: <20080331131610.GA15835@haskell.galois.com> Mon Mar 31 06:13:43 PDT 2008 Alexey Rodriguez * File demonstrating buggy Data instances generated by Derive. A ./comparison/syb3/BugBinTree.lhs From alexey at cs.uu.nl Mon Mar 31 13:28:25 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 31 13:24:28 2008 Subject: [Hs-Generics] patch applied (generics): Minor fix in Uniplate.CrushRight Message-ID: <20080331172825.GA22240@haskell.galois.com> Mon Mar 31 05:20:17 PDT 2008 patrikj@chalmers.se * Minor fix in Uniplate.CrushRight M ./comparison/Uniplate/CrushRight.lhs +1 From alexey at cs.uu.nl Mon Mar 31 13:28:27 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 31 13:24:30 2008 Subject: [Hs-Generics] patch applied (generics): All tests now compile for PolyP (but many fail) Message-ID: <20080331172826.GA22256@haskell.galois.com> Mon Mar 31 08:13:49 PDT 2008 patrikj@chalmers.se * All tests now compile for PolyP (but many fail) M ./comparison/PolyP/FoldTree.lhs +7 M ./comparison/PolyP/GEq.lhs +5 M ./comparison/PolyP/GShow.lhs -4 +16 M ./comparison/PolyP/Nested.lhs +2 M ./comparison/PolyP/PolyLib/Crush.hs +1 From alexey at cs.uu.nl Mon Mar 31 13:28:28 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 31 13:24:32 2008 Subject: [Hs-Generics] patch applied (generics): syb3 now compiles except for the two missing tests: Nested and FullTree Message-ID: <20080331172828.GA22272@haskell.galois.com> Mon Mar 31 08:15:56 PDT 2008 patrikj@chalmers.se * syb3 now compiles except for the two missing tests: Nested and FullTree M ./comparison/syb3/CrushRight.lhs -4 +6 M ./comparison/syb3/GEq.lhs +18 A ./comparison/syb3/GRoseReps.hs M ./comparison/syb3/TreeReps.hs -3 From alexey at cs.uu.nl Mon Mar 31 13:28:29 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 31 13:24:32 2008 Subject: [Hs-Generics] patch applied (generics): syb-with-class installation notes Message-ID: <20080331172829.GA22288@haskell.galois.com> Mon Mar 31 08:21:07 PDT 2008 patrikj@chalmers.se * syb-with-class installation notes A ./comparison/dependencies.txt M ./comparison/log.txt +20 From alexey at cs.uu.nl Mon Mar 31 18:16:35 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 31 18:12:39 2008 Subject: [Hs-Generics] patch applied (generics): Some more efficiency benchmark work Message-ID: <20080331221634.GA29586@haskell.galois.com> Mon Mar 31 14:51:01 PDT 2008 patrikj@chalmers.se * Some more efficiency benchmark work M ./comparison/Common.lhs +21 M ./comparison/Makefile -1 +1 M ./comparison/PolyP/TreeRep.lhs +1 M ./comparison/TestEfficiency.lhs -7 +10 M ./comparison/TestSelectIntWTree.lhs +1 M ./comparison/log.txt -5 +54 From alexey at cs.uu.nl Mon Mar 31 18:16:36 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Mar 31 18:12:40 2008 Subject: [Hs-Generics] patch applied (generics): EMGM FullTree for WTree (testing if we could use FullTree for the performance benchmark) Message-ID: <20080331221636.GA29609@haskell.galois.com> Mon Mar 31 14:52:57 PDT 2008 patrikj@chalmers.se * EMGM FullTree for WTree (testing if we could use FullTree for the performance benchmark) M ./comparison/EMGM/FullTree.lhs -2 +7