diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-12-20 15:41:02 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-12-21 14:14:21 +0000 |
| commit | 72938f5890dac81afad52bf58175c1e29ffbc6dd (patch) | |
| tree | 97d7973a919901d4b4125524973eb0c328625534 /compiler/typecheck/TcRnTypes.hs | |
| parent | 584cbd4a19887497776ce1f61c15df652b8b2ea4 (diff) | |
| download | haskell-72938f5890dac81afad52bf58175c1e29ffbc6dd.tar.gz | |
Check for bogus quantified tyvars in partial type sigs
This fixes Trac #14479. Not difficult.
See Note [Quantification and partial signatures] Wrinkle 4,
in TcSimplify.
Diffstat (limited to 'compiler/typecheck/TcRnTypes.hs')
0 files changed, 0 insertions, 0 deletions