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/typecheck/T12441/T12441.stderr | |
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/typecheck/T12441/T12441.stderr')
-rw-r--r-- | testsuite/tests/typecheck/T12441/T12441.stderr | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/T12441/T12441.stderr b/testsuite/tests/typecheck/T12441/T12441.stderr new file mode 100644 index 0000000000..fe6b471d52 --- /dev/null +++ b/testsuite/tests/typecheck/T12441/T12441.stderr @@ -0,0 +1,10 @@ +[1 of 3] Compiling T12441[boot] ( T12441.hs-boot, T12441.o-boot )
+[2 of 3] Compiling T12441A ( T12441A.hs, T12441A.o )
+[3 of 3] Compiling T12441 ( T12441.hs, T12441.o )
+
+T12441.hs-boot:3:1:
+ Identifier âfâ has conflicting definitions in the module
+ and its hs-boot file
+ Main module: f :: forall b a. (a, b)
+ Boot file: f :: forall a b. (a, b)
+ The two types are different
|