diff options
| author | simonpj@microsoft.com <unknown> | 2008-01-16 15:39:08 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2008-01-16 15:39:08 +0000 |
| commit | 25d7f19d1fa3a58931f2fb39f6a63e533fa72ddd (patch) | |
| tree | 4be8a15fe49c456d839c6042b13ed4e8924a9f76 /compiler/javaGen/JavaGen.lhs | |
| parent | 6c51a993efa623be3f92ae997c3cb321e4b0badb (diff) | |
| download | haskell-25d7f19d1fa3a58931f2fb39f6a63e533fa72ddd.tar.gz | |
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.
Diffstat (limited to 'compiler/javaGen/JavaGen.lhs')
0 files changed, 0 insertions, 0 deletions