exported pattern matching

[Ben Rudiak-Gould]

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