Fix ApplicativeDo constraint scoping
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 22 Feb 2017 11:17:44 +0000 (11:17 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 22 Feb 2017 11:17:44 +0000 (11:17 +0000)
commit484f8d35b7cb3f77d96f9f4ffc16bb8c946f47fd
treea9df192974016d8af111cfd77c96a64948bebe17
parentb125392983401cc9fe13502e52880387bc71a092
Fix ApplicativeDo constraint scoping

This patch fixes Trac #13242, by a bit of fancy footwork
with the LIE variable in which the WantedConstraints are
collected.

I think it can be simplified further, using a 'map'.
compiler/typecheck/TcMatches.hs
testsuite/tests/ado/T13242.hs [new file with mode: 0644]
testsuite/tests/ado/all.T