Check for bogus quantified tyvars in partial type sigs
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 20 Dec 2017 15:41:02 +0000 (15:41 +0000)
committerBen Gamari <ben@smart-cactus.org>
Sun, 14 Jan 2018 19:35:11 +0000 (14:35 -0500)
commit87e517c1ca29606ce0dd2d7624f525f08f383283
tree1e36bcbb7e2239520b861d13e4a5771d770a2d93
parent40a31b386a893f06667229e5ecf985de6cf87633
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.

(cherry picked from commit 72938f5890dac81afad52bf58175c1e29ffbc6dd)
compiler/typecheck/TcBinds.hs
compiler/typecheck/TcSimplify.hs
testsuite/tests/partial-sigs/should_fail/T14479.hs [new file with mode: 0644]
testsuite/tests/partial-sigs/should_fail/T14479.stderr [new file with mode: 0644]
testsuite/tests/partial-sigs/should_fail/all.T