April 2008 - Generics

patch applied (generics): Attempted to write an instance for Perfect and failed.
by Alexey Rodriguez Yakushev 01 Apr '08

01 Apr '08

Tue Apr 1 11:20:45 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * Attempted to write an instance for Perfect and failed. M ./comparison/syb3/FoldTree.lhs -1 +1 M ./comparison/syb3/PerfectReps.hs +84

1 0

patch applied (generics): GRose test for syb3 with hand-written Data instance.
by Alexey Rodriguez Yakushev 01 Apr '08

01 Apr '08

Tue Apr 1 09:38:23 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * GRose test for syb3 with hand-written Data instance. M ./comparison/syb3/GEq.lhs -2 +2 M ./comparison/syb3/GRoseReps.hs -3 +18

1 0

patch applied (generics): Yet more info for bug
by Alexey Rodriguez Yakushev 01 Apr '08

01 Apr '08

Tue Apr 1 09:37:21 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * Yet more info for bug M ./comparison/syb3/BugBinTree.lhs -1 +1 M ./comparison/syb3/Derive.hs -3 +5

1 0

patch applied (generics): Start of new time / efficiency measurement
by Alexey Rodriguez Yakushev 01 Apr '08

01 Apr '08

Tue Apr 1 06:08:00 PDT 2008 patrikj(a)chalmers.se * Start of new time / efficiency measurement M ./comparison/Common.lhs -21 +7 M ./comparison/Makefile +5 M ./comparison/TestEfficiency.lhs -22 +10 M ./comparison/TestSelectIntWTree.lhs -3 +8 M ./comparison/TreeDatatype.hs +23 M ./comparison/log.txt +37 A ./comparison/time.hs

1 0

patch applied (generics): WTree uses the new Derive, Company uses the old, otherwise it breaks. Perfect works with neither.
by Alexey Rodriguez Yakushev 01 Apr '08

01 Apr '08

Tue Apr 1 06:40:21 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * WTree uses the new Derive, Company uses the old, otherwise it breaks. Perfect works with neither. M ./comparison/syb3/CompanyReps.hs +3 M ./comparison/syb3/Derive.hs -1 +4 M ./comparison/syb3/FoldTree.lhs -1 M ./comparison/syb3/PerfectReps.hs +2 M ./comparison/syb3/TreeReps.hs -1 +1

1 0

patch applied (generics): Some notes to the BugBinTree file.
by Alexey Rodriguez Yakushev 01 Apr '08

01 Apr '08

Tue Apr 1 06:13:15 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * Some notes to the BugBinTree file. M ./comparison/syb3/BugBinTree.lhs -1 +4

1 0

patch applied (generics): GEq works for syb3 now.
by Alexey Rodriguez Yakushev 01 Apr '08

01 Apr '08

Tue Apr 1 06:12:41 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * GEq works for syb3 now. M ./comparison/syb3/BinTreeReps.hs -40 M ./comparison/syb3/GEq.lhs -14 +1

1 0

patch applied (generics): Fix Derive.hs to avoid recursion in Data instances
by Alexey Rodriguez Yakushev 01 Apr '08

01 Apr '08

Tue Apr 1 06:00:26 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * Fix Derive.hs to avoid recursion in Data instances * We only make context for type variables otherwise it generates contexts such as: instance (Data ctx a,Data ctx [a],...) => Data ctx [a] where ... rather than instance (Data ctx a,...) => Data ctx [a] where ... M ./comparison/syb3/Derive.hs -1 +25

1 0

patch applied (generics): Added Derive.hs from HAppS distribution in test suite, in the hope of fixing the derive bug
by Alexey Rodriguez Yakushev 01 Apr '08

01 Apr '08

Tue Apr 1 05:12:54 PDT 2008 Alexey Rodriguez <mrchebas(a)gmail.com> * Added Derive.hs from HAppS distribution in test suite, in the hope of fixing the derive bug M ./comparison/syb3/BinTreeReps.hs -1 +1 A ./comparison/syb3/Derive.hs

1 0