January 2008 - Generics

patch applied (generics): More info in GShow tests
by Alexey Rodriguez Yakushev 15 Jan '08

15 Jan '08

Tue Jan 15 07:13:02 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * More info in GShow tests M ./comparison/TestGShow.lhs -5 +4 M ./comparison/TestGShowExt.lhs -6 +2

1 0

patch applied (generics): Extensible gshow test, only implemented for EMGM for now, next in line ... RepLib
by Alexey Rodriguez Yakushev 15 Jan '08

15 Jan '08

Tue Jan 15 07:05:01 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * 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

1 0

patch applied (generics): UpdateSalary
by Alexey Rodriguez Yakushev 15 Jan '08

15 Jan '08

Thu Jan 10 07:11:12 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * UpdateSalary M ./comparison/EMGM/Paradise.lhs -16 +16

1 0

patch applied (generics): TestUpdateSalary
by Alexey Rodriguez Yakushev 10 Jan '08

10 Jan '08

Thu Jan 10 02:31:01 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * 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

1 0

patch applied (generics): Test for higher-order functions: it does not work for RepLib.
by Alexey Rodriguez Yakushev 10 Jan '08

10 Jan '08

Thu Jan 10 02:07:28 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * Test for higher-order functions: it does not work for RepLib. M ./comparison/RepLib/GShow.lhs +19

1 0

patch applied (generics): More honest results for higher order funs. + ad hoc cases
by Alexey Rodriguez Yakushev 10 Jan '08

10 Jan '08

Thu Jan 10 02:01:02 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * More honest results for higher order funs. + ad hoc cases M ./comparison/LIGD/FoldTree.lhs -1 +3 M ./comparison/Spine/FoldTree.lhs -2 +4

1 0

patch applied (generics): TestSelectSalary
by Alexey Rodriguez Yakushev 08 Jan '08

08 Jan '08

Tue Jan 8 11:01:33 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * 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

1 0

patch applied (generics): Rearranged README
by Alexey Rodriguez Yakushev 08 Jan '08

08 Jan '08

Tue Jan 8 09:49:54 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * Rearranged README M ./comparison/README -26 +28

1 0

patch applied (generics): Removed export list from Spine/GEq.lhs
by Alexey Rodriguez Yakushev 08 Jan '08

08 Jan '08

Tue Jan 8 09:49:05 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * Removed export list from Spine/GEq.lhs M ./comparison/Spine/GEq.lhs -1 +1

1 0

patch applied (generics): Added TestGEqBTree
by Alexey Rodriguez Yakushev 08 Jan '08

08 Jan '08

Tue Jan 8 09:40:04 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * 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

1 0