Contexts differ in length

Robert van Herk rherk at
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
>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!



More information about the Glasgow-haskell-users mailing list