projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6077d59) | patch
Fix Trac #3468: improve checking for hs-boot interfaces
authorsimonpj@microsoft.com <unknown>
Tue, 8 Sep 2009 13:03:50 +0000 (13:03 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 8 Sep 2009 13:03:50 +0000 (13:03 +0000)
commita0d2e0fb1a6b717ad5ecf7bfaa208863af4378ab
treeebe4c3630153fee0f1e5078bd2dccb719cc14abbtree | snapshot
parent6077d5930176554fd90a39ebbcb17097c96f93a5commit | diff
Fix Trac #3468: improve checking for hs-boot interfaces

When checking the interface exported by a hs-boot file against the
Real Thing, I'd failed to check the kind of a type constructor.  If you
get it wrong, the inconsistency leads to all manner of mischief, as
'wkahl' reports in #3468.

This patch should do the job.
compiler/typecheck/TcRnDriver.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)