projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7d9269) | patch
Fix a very subtle shadowing bug in optCoercion
authorsimonpj@microsoft.com <unknown>
Thu, 16 Sep 2010 17:04:52 +0000 (17:04 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 16 Sep 2010 17:04:52 +0000 (17:04 +0000)
commit463e89085872d0cde8c3c1610860a3013ad07900
treed4b838ffcf6bb02a8fd3c62daf480439aa6e2bb8tree | snapshot
parente7d92690ebabf8b5f308e528db9e296ff24ec0bbcommit | diff
Fix a very subtle shadowing bug in optCoercion

See Note [Subtle shadowing in coercions]

This is what was going wrong in Trac 4160.
compiler/types/OptCoercion.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)