diff options
| author | Phil de Joux <phil.dejoux@blockscope.com> | 2017-01-20 14:59:44 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-01-20 16:13:52 -0500 |
| commit | 33140f41b931fb81bf2e5aa28603fe757bb3779d (patch) | |
| tree | f284c1d4363fcea665be5aef2706ecfb3c5cea16 /testsuite/tests/partial-sigs/should_compile | |
| parent | d49b2bb21691892ca6ac8f2403e31f2a5e53feb3 (diff) | |
| download | haskell-33140f41b931fb81bf2e5aa28603fe757bb3779d.tar.gz | |
Show explicit quantifiers in conflicting definitions error
This fixes #12441, where definitions in a Haskell module and its boot
file which differed only in their quantifiers produced a confusing error
message. Here we teach GHC to always show quantifiers for these errors.
Reviewers: goldfire, simonmar, erikd, austin, hvr, bgamari
Reviewed By: bgamari
Subscribers: snowleopard, simonpj, mpickering, thomie
Differential Revision: https://phabricator.haskell.org/D2734
GHC Trac Issues: #12441
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/T12844.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T12844.hs b/testsuite/tests/partial-sigs/should_compile/T12844.hs index d47b82cc64..77c6c2a87c 100644 --- a/testsuite/tests/partial-sigs/should_compile/T12844.hs +++ b/testsuite/tests/partial-sigs/should_compile/T12844.hs @@ -17,4 +17,3 @@ data FooData rngs class Foo xs where foo :: (Head xs ~ '(r,r')) => FooData xs type family Head (xs :: [k]) where Head (x ': xs) = x - |