projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63168f8) | patch
Fix Trac #3219: type of a record update
authorsimonpj@microsoft.com <unknown>
Wed, 13 May 2009 15:09:22 +0000 (15:09 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 13 May 2009 15:09:22 +0000 (15:09 +0000)
commit80d071f68134bf3ad89d4de0d83807e2f0ec32c0
treea96013e6130632f2ec59303eb03b1ef92b6e0938tree | snapshot
parent63168f876689d210ada5c5a8e9de3a6b39cc9fe6commit | diff
Fix Trac #3219: type of a record update

Record updates are amazingly hard to typecheck right.  This is one place
where GHC's policy of typechecking the original source is much harder than
desugaring and typechecking that!

Anyway, the bug here is that to compute the 'fixed' type variables I was
only looking at one constructor rather than all the relevant_cons

Test is typecheck/should_compile/T3219, which GHC 6.10 barfs on (with Lint).
compiler/typecheck/TcExpr.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)