diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2016-02-02 05:02:23 -0800 |
|---|---|---|
| committer | Bartosz Nitka <niteria@gmail.com> | 2016-02-02 05:04:04 -0800 |
| commit | 07ed24132ebe62aab15f14a655506decdf252ff9 (patch) | |
| tree | 07e67f35a1556e3877682abd6e98eff9e7ce73a4 /testsuite/tests/th/TH_exn1.stderr | |
| parent | 01c587c03764de52cd01a3464c1a4a5c5bce7c00 (diff) | |
| download | haskell-07ed24132ebe62aab15f14a655506decdf252ff9.tar.gz | |
Use a correct substitution in tcCheckPatSynDecl
The `substTheta` call didn't have the free variables of the
`prov_theta` in the `in_scope` set. It should be enough to add
`univ_tvs`, as all the `ex_tvs` are already in the domain of
the substitution.
Test Plan: added a testcase
Reviewers: simonpj, bgamari, goldfire, austin
Reviewed By: simonpj, bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1879
GHC Trac Issues: #11524
Diffstat (limited to 'testsuite/tests/th/TH_exn1.stderr')
0 files changed, 0 insertions, 0 deletions