[Haskell-cafe] Re: Optimization problem
Simon Peyton-Jones
simonpj at microsoft.com
Thu Sep 28 10:22:25 EDT 2006
| Does anything go wrong with irrefutable patterns for existential
types?
Try giving the translation into System F.
Simon
More information about the Haskell-Cafe
mailing list