[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