diff options
| author | simonpj@microsoft.com <unknown> | 2007-02-19 17:52:48 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2007-02-19 17:52:48 +0000 |
| commit | ad17cf6e34b6ab03f19914e7d2c1262b073db3fa (patch) | |
| tree | a56c29025660cf18c4ac44f8b3b7256fbc9a2a3d /rts/Task.c | |
| parent | 67f8c4685920582ad82000e7840a1ffe91682f35 (diff) | |
| download | haskell-ad17cf6e34b6ab03f19914e7d2c1262b073db3fa.tar.gz | |
Signature type variables must not be instantiated with tycons
An egregious bug in the type checker meant that it was possible for a
"signature type variable" (a MetaTv of SigTv form) to be instantatiated
with a type-constructor application. This destroys the invariant for
SigTv.
The fix is easy; adding the predicate TcType.isTyConableTyVar
Fixes Trac #1153
Diffstat (limited to 'rts/Task.c')
0 files changed, 0 insertions, 0 deletions