j
k
j a
j l
On Thu, Sep 28, 2006 at 03:22:25PM +0100, Simon Peyton-Jones wrote:
| Does anything go wrong with irrefutable patterns for existential types? Try giving the translation into System F.
| Does anything go wrong with irrefutable patterns for existential types?
Try giving the translation into System F.
Hmm, that's not quite as satisfying as Conor's answer for GADTs.
Back to the thread
Back to the list
