Contexts differ in length

[Robert van Herk]

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