9 Feb
2006
9 Feb
'06
11:18 a.m.
Philippa Cowderoy wrote:
Myself I'm of the view transformational patterns (as described in http://citeseer.ist.psu.edu/299277.html) are more interesting - I can't help wondering why they were never implemented?
Maybe because of tricky semantics. I'm not quite sure what case x of (y,z)!f -> ... where f _ = (z,3) should desugar to. -- Ben