diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-04-29 17:26:17 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-04-30 09:51:07 +0100 |
| commit | d3149f6096a987e94d4989e537c1a133bcbb9a6f (patch) | |
| tree | 49e1e9c87545b171417e131c5ba037fe0032097c /compiler/codeGen/CodeGen | |
| parent | 8a1b7eb6add9d873a93f8e12ccf507bfe0d1df7e (diff) | |
| download | haskell-d3149f6096a987e94d4989e537c1a133bcbb9a6f.tar.gz | |
Tighten up on the kind checking for foralls
In particular,
(forall a. Num a => ...)
always has kind *, becuase the "=>" really is a function.
It turned out that this was at the bottom of the crash in Trac #7778,
which is now fixed
Diffstat (limited to 'compiler/codeGen/CodeGen')
0 files changed, 0 insertions, 0 deletions