Simon Peyton-Jones wrote:
I revisited the typechecking of binding groups, partly to fix the
shortcomings of SPECIALISE pragmas. On the way, I implemented the
refined dependency analysis described by Mark Jones in "Typing Haskell
in Haskell".
As a result, this "Contexts differ in length" problem has gone away.
Robert, would you like to give it a try? Your example below is now part
of GHC's test suite.
It works like a charm!
Thanks,
Robert
_______________________________________________
Glasgow-haskell-users mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
