projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c51a99) | patch
In float-out, make sure we abstract over the type variables in the kind of a coercion
authorsimonpj@microsoft.com <unknown>
Wed, 16 Jan 2008 15:39:08 +0000 (15:39 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 16 Jan 2008 15:39:08 +0000 (15:39 +0000)
commit25d7f19d1fa3a58931f2fb39f6a63e533fa72ddd
tree4be8a15fe49c456d839c6042b13ed4e8924a9f76tree | snapshot
parent6c51a993efa623be3f92ae997c3cb321e4b0badbcommit | diff
In float-out, make sure we abstract over the type variables in the kind of a coercion

I can't remember where this bug showed up, but we were abstracting over a
coercion variable (co :: a ~ T), without also abstracting over 'a'.

The fix is simple.
compiler/simplCore/SetLevels.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)