diff options
author | Facundo DomÃnguez <facundo.dominguez@tweag.io> | 2016-09-08 23:07:20 -0300 |
---|---|---|
committer | Facundo DomÃnguez <facundo.dominguez@tweag.io> | 2016-09-09 08:34:27 -0300 |
commit | d5f19714ef9789d4c1d5ea029f06add296162140 (patch) | |
tree | 10079f3a82d8c46dac66c25040f705b53ddf17c5 /testsuite/tests/partial-sigs/should_fail/WildcardInGADT2.stderr | |
parent | 71dd6e4429833238bcdaf96da8e2e41a62dacbf4 (diff) | |
download | haskell-fd/D2519.tar.gz |
Fix the local type environment of module finalizers.fd/D2519
Summary:
Before, the local type environment of the finalizer was the one present
when the finalizer was added. This ignored the top-level Ids that would
be present in the local type environment at the end of type-checking.
This behavior was introduced in the fix to #11832.
Now the local type environment at the end of type-checking is used to
extend the local type environment of the finalizer.
Test Plan: ./validate
Reviewers: simonpj, bgamari, austin
Subscribers: mboes, thomie
Differential Revision: https://phabricator.haskell.org/D2519
GHC Trac Issues: #11832
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/WildcardInGADT2.stderr')
0 files changed, 0 insertions, 0 deletions