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 _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
