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
>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


More information about the Glasgow-haskell-users mailing list