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