Tue Jan 13 07:32:17 PST 2009 [email protected]
* Fix Trac #2937: deserialising assoicated type definitions
Ignore-this: 7d7852a70a34fc22773757709735cc24
The deserialiser (TcIface) for associated type definitions wasn't
taking into account that the class decl brings into scope some
type variables that scope over the data/type family declaration.
Easy to fix: the new function is TcIface.bindIfaceTyVars_AT
M ./compiler/iface/IfaceEnv.lhs -1 +6
M ./compiler/iface/TcIface.lhs -25 +32
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20090113153217-1287e-402b73cd5960ba35edae2a764d68130503938546.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc