Use a correct substitution in tcCheckPatSynDecl

Authored by niteria on Feb 2 2016, 7:02 AM.

Description

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: Trac #11524

Details

Committed
niteriaFeb 2 2016, 7:04 AM
Reviewer
simonpj
Differential Revision
D1879: Use a correct substitution in tcCheckPatSynDecl
Parents
rGHC01c587c03764: Fix Windows build after D1874
Branches
Unknown
Tags
Unknown