Contexts differ in length
Robert van Herk
rherk at cs.uu.nl
Tue Jul 26 10:01:58 EDT 2005
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
>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!
More information about the Glasgow-haskell-users