projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b1fef4d) | patch
Fix Trac #2937: deserialising assoicated type definitions
authorsimonpj@microsoft.com <unknown>
Tue, 13 Jan 2009 15:32:17 +0000 (15:32 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 13 Jan 2009 15:32:17 +0000 (15:32 +0000)
commit48b625149fdcf14a91422d4dfdb44d096dde5bb0
tree6d02055f78f86be9d10d5645a7120099469d2bd8tree | snapshot
parentb1fef4d841255de5aa93052603527988c10e23cdcommit | diff
Fix Trac #2937: deserialising assoicated type definitions

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
compiler/iface/IfaceEnv.lhs diff | blob | history
compiler/iface/TcIface.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)