Re: Major type-class overhaul

On Fri, Nov 10, 2006 at 02:34:15PM +0000, Simon Peyton-Jones wrote:

For some time I have been promising an overhaul of GHC's type inference machinery to fix the interactions between type classes and GADTs. I've just completed it (or at least I hope so).

This message is just to summarise the programmer-visible changes, and to encourage you to give them a whirl. Of course, you'll need to compile the HEAD to do this; or get a nightly-build snapshot in a day or two's time.

Simon, you are my hero! Seriously! :-) I am experimenting with this new improvement - it allows me to remove some ugly workarounds. Best regards Tomasz