diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-10 13:13:24 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-10 13:13:24 +0100 |
| commit | 77b63e74454170bd658c6773b9d5c172920d5cc5 (patch) | |
| tree | 51e6eabe26849d346774d481b674d91353032b43 /rts/hooks/StackOverflow.c | |
| parent | c32bb5d0c09a7e55197191f152c6875b398717cf (diff) | |
| download | haskell-77b63e74454170bd658c6773b9d5c172920d5cc5.tar.gz | |
Two fixes to kind unification
* Don't unify a kind signature-variable with non-tyvar kind
* Don't allow a kind variable to appear in a type
(Trac #7224)
Diffstat (limited to 'rts/hooks/StackOverflow.c')
0 files changed, 0 insertions, 0 deletions