January 2008 - Generics

patch applied (generics): Csontructor case for RepLib using RepLib SYB machinery
by Alexey Rodriguez Yakushev 21 Jan '08

21 Jan '08

Mon Jan 21 06:32:49 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * Csontructor case for RepLib using RepLib SYB machinery A ./comparison/RepLib/RmWeights.lhs A ./comparison/RepLib/TreeReps.hs

1 0

patch applied (generics): Constructor case for SYB1_2
by Alexey Rodriguez Yakushev 21 Jan '08

21 Jan '08

Mon Jan 21 05:51:57 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * Constructor case for SYB1_2 A ./comparison/SYB1_2/RmWeights.lhs

1 0

patch applied (generics): Moved representations out of RepLib/GMap.lhs into R2 and BinTreeReps
by Alexey Rodriguez Yakushev 21 Jan '08

21 Jan '08

Mon Jan 21 04:55:00 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * Moved representations out of RepLib/GMap.lhs into R2 and BinTreeReps M ./comparison/RepLib/GMap.lhs -30 +2 M ./comparison/RepLib/R2.hs -17

1 0

patch applied (generics): small cleanups
by Alexey Rodriguez Yakushev 19 Jan '08

19 Jan '08

Fri Jan 18 09:05:06 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * small cleanups M ./comparison/EMGM/GShowDef.lhs -2 M ./comparison/EMGM/GShowExt.lhs -3 +1

1 0

patch applied (generics): Description for constructor cases
by Alexey Rodriguez Yakushev 19 Jan '08

19 Jan '08

Fri Jan 18 08:46:33 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * 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

1 0

patch applied (generics): Test constructor cases
by Alexey Rodriguez Yakushev 19 Jan '08

19 Jan '08

Fri Jan 18 08:39:06 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * 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

1 0

patch applied (generics): formatting in test.hs
by Alexey Rodriguez Yakushev 19 Jan '08

19 Jan '08

Fri Jan 18 05:20:54 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * formatting in test.hs M ./comparison/test.hs -5 +14

1 0

patch applied (generics): Switched gshow to parametrized representation to allow extension with a case for lists
by Alexey Rodriguez Yakushev 16 Jan '08

16 Jan '08

Tue Jan 15 09:58:50 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * Switched gshow to parametrized representation to allow extension with a case for lists M ./comparison/RepLib/GShowDef.lhs -13 +13

1 0

patch applied (generics): Oops, forgot to commit utility functions.
by Alexey Rodriguez Yakushev 16 Jan '08

16 Jan '08

Tue Jan 15 09:41:32 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * Oops, forgot to commit utility functions. A ./comparison/Common.lhs

1 0

patch applied (generics): Halfway to extended gshow for RepLib
by Alexey Rodriguez Yakushev 16 Jan '08

16 Jan '08

Tue Jan 15 09:40:51 PST 2008 Alexey Rodriguez <alexey(a)cs.uu.nl> * Halfway to extended gshow for RepLib M ./comparison/RepLib/GShow.lhs -31 +1 A ./comparison/RepLib/GShowDef.lhs A ./comparison/RepLib/GShowExt.lhs

1 0