Re: Contexts differ in length

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