From alexey at cs.uu.nl Tue Jan 8 07:55:30 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Jan 8 07:49:10 2008 Subject: [Hs-Generics] patch applied (generics): Test output (.out & .compilestats) are generated in out dir Message-ID: <20080108125530.GA30217@haskell.galois.com> Mon Jan 7 02:15:24 PST 2008 Alexey Rodriguez * Test output (.out & .compilestats) are generated in out dir M ./comparison/Makefile -1 +2 A ./comparison/out/ M ./comparison/test.hs -3 +4 From alexey at cs.uu.nl Tue Jan 8 07:55:32 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Jan 8 07:49:11 2008 Subject: [Hs-Generics] patch applied (generics): Disabling NOW Message-ID: <20080108125532.GA30233@haskell.galois.com> Mon Jan 7 02:17:51 PST 2008 Alexey Rodriguez * Disabling NOW * I think that the approach in Generic programming NOW is already being tested by Spine. * If after a careful reading of the paper it is not the case, I might enable NOW again. * Note that in this evaluation we do not assume extensible functions and datatypes. M ./comparison/test.hs -1 +1 From alexey at cs.uu.nl Tue Jan 8 07:55:33 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Jan 8 07:49:13 2008 Subject: [Hs-Generics] patch applied (generics): Runtime errors are reported differently in GHC 6.8. Message-ID: <20080108125533.GA30250@haskell.galois.com> Mon Jan 7 06:16:38 PST 2008 Alexey Rodriguez * Runtime errors are reported differently in GHC 6.8. Namely: * error prints its argument to stderr in place of stdout. * the formatting changed, "*** Error" is gone. M ./comparison/test.hs -7 +17 From alexey at cs.uu.nl Tue Jan 8 12:51:25 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Jan 8 12:45:05 2008 Subject: [Hs-Generics] patch applied (generics): Added TestGEqBTree Message-ID: <20080108175125.GA4580@haskell.galois.com> Tue Jan 8 09:40:04 PST 2008 Alexey Rodriguez * Added TestGEqBTree Equality tests two things: * Separate compilation. * Multiple arguments (equality has two). However the test is done on Company which fails for Polyp. That is why we do the test here on BinTree. See it as a form of a lowest common denominator. M ./comparison/EMGM/GEq.lhs -1 +6 M ./comparison/LIGD/GEq.lhs -1 +6 M ./comparison/PolyP/GEq.lhs +6 M ./comparison/RepLib/GEq.lhs +8 M ./comparison/SYB1_2/GEq.lhs -1 +5 M ./comparison/Spine/GEq.lhs -1 +6 M ./comparison/TestGEq.lhs +5 A ./comparison/TestGEqBTree.exp A ./comparison/TestGEqBTree.lhs M ./comparison/test.hs -1 +1 From alexey at cs.uu.nl Tue Jan 8 12:51:27 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Jan 8 12:45:06 2008 Subject: [Hs-Generics] patch applied (generics): Removed export list from Spine/GEq.lhs Message-ID: <20080108175127.GA4602@haskell.galois.com> Tue Jan 8 09:49:05 PST 2008 Alexey Rodriguez * Removed export list from Spine/GEq.lhs M ./comparison/Spine/GEq.lhs -1 +1 From alexey at cs.uu.nl Tue Jan 8 12:51:28 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Jan 8 12:45:06 2008 Subject: [Hs-Generics] patch applied (generics): Rearranged README Message-ID: <20080108175128.GA4620@haskell.galois.com> Tue Jan 8 09:49:54 PST 2008 Alexey Rodriguez * Rearranged README M ./comparison/README -26 +28 From alexey at cs.uu.nl Tue Jan 8 14:15:06 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Jan 8 14:08:46 2008 Subject: [Hs-Generics] patch applied (generics): TestSelectSalary Message-ID: <20080108191506.GA6233@haskell.galois.com> Tue Jan 8 11:01:33 PST 2008 Alexey Rodriguez * TestSelectSalary ./comparison/TestFoldTreeSalary.exp -> ./comparison/TestSelectSalary.exp ./comparison/TestFoldTreeSalary.lhs -> ./comparison/TestSelectSalary.lhs M ./comparison/EMGM/FoldTree.lhs -18 +18 M ./comparison/LIGD/FoldTree.lhs -14 +16 M ./comparison/RepLib/FoldTree.lhs -2 +2 M ./comparison/SYB1_2/FoldTree.lhs -5 +5 M ./comparison/Spine/FoldTree.lhs -5 +6 M ./comparison/TestSelectSalary.lhs -4 +7 M ./comparison/test.hs -1 +1 From alexey at cs.uu.nl Thu Jan 10 05:32:37 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Thu Jan 10 05:26:11 2008 Subject: [Hs-Generics] patch applied (generics): More honest results for higher order funs. + ad hoc cases Message-ID: <20080110103237.GA17991@haskell.galois.com> Thu Jan 10 02:01:02 PST 2008 Alexey Rodriguez * More honest results for higher order funs. + ad hoc cases M ./comparison/LIGD/FoldTree.lhs -1 +3 M ./comparison/Spine/FoldTree.lhs -2 +4 From alexey at cs.uu.nl Thu Jan 10 05:32:39 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Thu Jan 10 05:26:12 2008 Subject: [Hs-Generics] patch applied (generics): Test for higher-order functions: it does not work for RepLib. Message-ID: <20080110103239.GA18013@haskell.galois.com> Thu Jan 10 02:07:28 PST 2008 Alexey Rodriguez * Test for higher-order functions: it does not work for RepLib. M ./comparison/RepLib/GShow.lhs +19 From alexey at cs.uu.nl Thu Jan 10 05:32:40 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Thu Jan 10 05:26:13 2008 Subject: [Hs-Generics] patch applied (generics): TestUpdateSalary Message-ID: <20080110103240.GA18029@haskell.galois.com> Thu Jan 10 02:31:01 PST 2008 Alexey Rodriguez * TestUpdateSalary ./comparison/TestParadise.exp -> ./comparison/TestUpdateSalary.exp ./comparison/TestParadise.lhs -> ./comparison/TestUpdateSalary.lhs M ./comparison/LIGD/Paradise.lhs -11 +13 M ./comparison/RepLib/Paradise.lhs -1 +4 M ./comparison/SYB1_2/Paradise.lhs -1 +4 M ./comparison/Spine/Paradise.lhs -3 +10 M ./comparison/TestUpdateSalary.lhs -2 +6 M ./comparison/test.hs -1 +1 From alexey at cs.uu.nl Tue Jan 15 13:01:42 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Jan 15 12:55:00 2008 Subject: [Hs-Generics] patch applied (generics): UpdateSalary Message-ID: <20080115180142.GA3631@haskell.galois.com> Thu Jan 10 07:11:12 PST 2008 Alexey Rodriguez * UpdateSalary M ./comparison/EMGM/Paradise.lhs -16 +16 From alexey at cs.uu.nl Tue Jan 15 13:01:45 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Jan 15 12:55:02 2008 Subject: [Hs-Generics] patch applied (generics): More info in GShow tests Message-ID: <20080115180145.GA3671@haskell.galois.com> Tue Jan 15 07:13:02 PST 2008 Alexey Rodriguez * More info in GShow tests M ./comparison/TestGShow.lhs -5 +4 M ./comparison/TestGShowExt.lhs -6 +2 From alexey at cs.uu.nl Tue Jan 15 13:01:44 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Jan 15 12:55:02 2008 Subject: [Hs-Generics] patch applied (generics): Extensible gshow test, only implemented for EMGM for now, next in line ... RepLib Message-ID: <20080115180143.GA3655@haskell.galois.com> Tue Jan 15 07:05:01 PST 2008 Alexey Rodriguez * Extensible gshow test, only implemented for EMGM for now, next in line ... RepLib M ./comparison/EMGM/CompanyReps.hs -4 +4 M ./comparison/EMGM/GEq.lhs +2 M ./comparison/EMGM/GMapQ.lhs -4 +5 M ./comparison/EMGM/GShow.lhs -25 +3 A ./comparison/EMGM/GShowDef.lhs A ./comparison/EMGM/GShowExt.lhs M ./comparison/TestGShow.lhs -1 +1 A ./comparison/TestGShowExt.exp A ./comparison/TestGShowExt.lhs M ./comparison/test.hs -1 +1 From alexey at cs.uu.nl Tue Jan 15 13:01:46 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Jan 15 12:55:02 2008 Subject: [Hs-Generics] patch applied (generics): Halfway to extended gshow for RepLib Message-ID: <20080115180146.GA3689@haskell.galois.com> Tue Jan 15 09:40:51 PST 2008 Alexey Rodriguez * Halfway to extended gshow for RepLib M ./comparison/RepLib/GShow.lhs -31 +1 A ./comparison/RepLib/GShowDef.lhs A ./comparison/RepLib/GShowExt.lhs From alexey at cs.uu.nl Tue Jan 15 13:01:48 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Jan 15 12:55:05 2008 Subject: [Hs-Generics] patch applied (generics): Oops, forgot to commit utility functions. Message-ID: <20080115180148.GA3708@haskell.galois.com> Tue Jan 15 09:41:32 PST 2008 Alexey Rodriguez * Oops, forgot to commit utility functions. A ./comparison/Common.lhs From alexey at cs.uu.nl Tue Jan 15 13:01:49 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Tue Jan 15 12:55:06 2008 Subject: [Hs-Generics] patch applied (generics): Switched gshow to parametrized representation to allow extension with a case for lists Message-ID: <20080115180149.GA3726@haskell.galois.com> Tue Jan 15 09:58:50 PST 2008 Alexey Rodriguez * Switched gshow to parametrized representation to allow extension with a case for lists M ./comparison/RepLib/GShowDef.lhs -13 +13 From alexey at cs.uu.nl Fri Jan 18 12:04:19 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Fri Jan 18 12:04:19 2008 Subject: [Hs-Generics] patch applied (generics): formatting in test.hs Message-ID: <20080118170419.GA1143@haskell.galois.com> Fri Jan 18 05:20:54 PST 2008 Alexey Rodriguez * formatting in test.hs M ./comparison/test.hs -5 +14 From alexey at cs.uu.nl Fri Jan 18 12:04:21 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Fri Jan 18 12:04:19 2008 Subject: [Hs-Generics] patch applied (generics): Test constructor cases Message-ID: <20080118170421.GA1159@haskell.galois.com> Fri Jan 18 08:39:06 PST 2008 Alexey Rodriguez * Test constructor cases M ./comparison/Common.lhs +6 A ./comparison/EMGM/RmWeights.lhs M ./comparison/EMGM/TreeReps.hs -6 +17 A ./comparison/TestRmWeights.exp A ./comparison/TestRmWeights.lhs M ./comparison/TreeDatatype.hs +6 M ./comparison/test.hs +2 From alexey at cs.uu.nl Fri Jan 18 12:04:22 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Fri Jan 18 12:04:22 2008 Subject: [Hs-Generics] patch applied (generics): Description for constructor cases Message-ID: <20080118170422.GA1175@haskell.galois.com> Fri Jan 18 08:46:33 PST 2008 Alexey Rodriguez * Description for constructor cases Constructor cases ----------------- This is for testing constructor cases, that is, can you write an ad-hoc case to handle one constructor and then let the rest be handled/traversed generically? Why is this useful? Suppose you want to rewrite "x+0" to "x" in a big AST, you do not want to program the traversal of other constructors, right? Well, this removes "WithWeight" constructors handling the others generically. M ./comparison/TestRmWeights.lhs +12 From alexey at cs.uu.nl Fri Jan 18 12:05:47 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Fri Jan 18 12:05:45 2008 Subject: [Hs-Generics] patch applied (generics): small cleanups Message-ID: <20080118170547.GA1270@haskell.galois.com> Fri Jan 18 09:05:06 PST 2008 Alexey Rodriguez * small cleanups M ./comparison/EMGM/GShowDef.lhs -2 M ./comparison/EMGM/GShowExt.lhs -3 +1 From alexey at cs.uu.nl Mon Jan 21 09:35:09 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Jan 21 09:35:04 2008 Subject: [Hs-Generics] patch applied (generics): Moved representations out of RepLib/GMap.lhs into R2 and BinTreeReps Message-ID: <20080121143509.GA11143@haskell.galois.com> Mon Jan 21 04:55:00 PST 2008 Alexey Rodriguez * Moved representations out of RepLib/GMap.lhs into R2 and BinTreeReps M ./comparison/RepLib/GMap.lhs -30 +2 M ./comparison/RepLib/R2.hs -17 From alexey at cs.uu.nl Mon Jan 21 09:35:14 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Jan 21 09:35:04 2008 Subject: [Hs-Generics] patch applied (generics): Constructor case for SYB1_2 Message-ID: <20080121143514.GA11167@haskell.galois.com> Mon Jan 21 05:51:57 PST 2008 Alexey Rodriguez * Constructor case for SYB1_2 A ./comparison/SYB1_2/RmWeights.lhs From alexey at cs.uu.nl Mon Jan 21 09:35:16 2008 From: alexey at cs.uu.nl (Alexey Rodriguez Yakushev) Date: Mon Jan 21 09:35:06 2008 Subject: [Hs-Generics] patch applied (generics): Csontructor case for RepLib using RepLib SYB machinery Message-ID: <20080121143516.GA11184@haskell.galois.com> Mon Jan 21 06:32:49 PST 2008 Alexey Rodriguez * Csontructor case for RepLib using RepLib SYB machinery A ./comparison/RepLib/RmWeights.lhs A ./comparison/RepLib/TreeReps.hs