diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-04-25 18:38:34 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-04-25 18:39:51 -0400 |
| commit | da792e47981f65b2dba4fc76ce51dc3fb9c4c02d (patch) | |
| tree | b962d875d058c6db652dfc681debcb0a9dcd7b80 /testsuite/tests/backpack | |
| parent | 71c3cea60c74054b6ba9ed918a58814aa91e01c2 (diff) | |
| download | haskell-da792e47981f65b2dba4fc76ce51dc3fb9c4c02d.tar.gz | |
Only pretty-print binders in closed type families with -fprint-explicit-foralls
Previously, we were unconditionally pretty-printing all type variable
binders when pretty-printing closed type families (e.g., in the output
of `:info` in GHCi). This threw me for a loop, so let's guard this behind
the `-fprint-explicit-foralls` flag.
Test Plan: make test TEST=T13420
Reviewers: goldfire, austin, bgamari
Reviewed By: bgamari
Subscribers: rwbarton, thomie
GHC Trac Issues: #13420
Differential Revision: https://phabricator.haskell.org/D3497
Diffstat (limited to 'testsuite/tests/backpack')
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail42.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail42.stderr b/testsuite/tests/backpack/should_fail/bkpfail42.stderr index 5a9e1aa9c3..467ab717aa 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail42.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail42.stderr @@ -7,9 +7,9 @@ bkpfail42.bkp:9:9: error: • Type constructor ‘F’ has conflicting definitions in the module and its hsig file Main module: type family F a :: * - where [a] F a = Int + where F a = Int Hsig file: type family F a :: * - where [a] F a = Bool + where F a = Bool • while merging the signatures from: • p[A=<A>]:A • ...and the local signature for A |