18 Jan
2008
18 Jan
'08
5:04 p.m.
Fri Jan 18 08:46:33 PST 2008 Alexey Rodriguez <alexey@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