exported pattern matching

Ben Rudiak-Gould Benjamin.Rudiak-Gould at cl.cam.ac.uk
Thu Feb 9 11:18:58 EST 2006

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

More information about the Haskell-prime mailing list