Move zonkWC to the right place in simplfyInfer
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 31 Jan 2018 11:35:33 +0000 (11:35 +0000)
committerBen Gamari <ben@smart-cactus.org>
Thu, 1 Feb 2018 03:12:46 +0000 (22:12 -0500)
commite6c147442fbeb161bbed209126186056f371d60c
treee7992961535388577e3df4beaacb027b207cfbb5
parent0c4d9e98158d5ec4f9d9af3af02b1e3ba3ce63f1
Move zonkWC to the right place in simplfyInfer

runTcSWithEvBinds does some unification, so the zonkWC
must be after, not before!  Yikes.  An outright bug.

This fixes Trac #14715.

(cherry picked from commit e7c3878dacbad8120aacbe4423857b5ca9b43eb4)
compiler/typecheck/TcSimplify.hs
testsuite/tests/partial-sigs/should_compile/T14715.hs [new file with mode: 0644]
testsuite/tests/partial-sigs/should_compile/T14715.stderr [new file with mode: 0644]
testsuite/tests/partial-sigs/should_compile/all.T