diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2015-12-15 16:08:52 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-12-15 20:45:59 +0100 |
| commit | e2c917381ff099820b1ee30fcfa8bc0c20cf5c1f (patch) | |
| tree | f9295bd3f9ab1e4d4b296960d1f046d1eb37b449 /testsuite/tests/deriving/should_fail | |
| parent | 947e44feebb4e979d7d476ff2aa5c7054a1c0899 (diff) | |
| download | haskell-e2c917381ff099820b1ee30fcfa8bc0c20cf5c1f.tar.gz | |
Narrow scope of special-case for unqualified printing of names in core libraries
Commit 547c597112954353cef7157cb0a389bc4f6303eb modifies the
pretty-printer to render names from a set of core packages (`base`,
`ghc-prim`, `template-haskell`) as unqualified. The idea here was that
many of these names typically are not in scope but are well-known by the
user and therefore qualification merely introduces noise.
This, however, is a very large hammer and potentially breaks any
consumer who relies on parsing GHC output (hence #11208). This commit
partially reverts this change, now only printing `Constraint` (which
appears quite often in errors) as unqualified.
Fixes #11208.
Updates tests in `array` submodule.
Test Plan: validate
Reviewers: hvr, thomie, austin
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1619
GHC Trac Issues: #11208
Diffstat (limited to 'testsuite/tests/deriving/should_fail')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T4846.stderr | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/testsuite/tests/deriving/should_fail/T4846.stderr b/testsuite/tests/deriving/should_fail/T4846.stderr index 5a7339bf21..3d3ccc4b86 100644 --- a/testsuite/tests/deriving/should_fail/T4846.stderr +++ b/testsuite/tests/deriving/should_fail/T4846.stderr @@ -1,11 +1,12 @@ T4846.hs:29:1: error: - Couldn't match type ‘Bool’ with ‘BOOL’ - arising from a use of ‘coerce’ - In the expression: coerce (mkExpr :: Expr Bool) :: Expr BOOL - In an equation for ‘mkExpr’: - mkExpr = coerce (mkExpr :: Expr Bool) :: Expr BOOL - When typechecking the code for ‘mkExpr’ - in a derived instance for ‘B BOOL’: - To see the code I am typechecking, use -ddump-deriv - In the instance declaration for ‘B BOOL’ + • Couldn't match type ‘Bool’ with ‘BOOL’ + arising from a use of ‘GHC.Prim.coerce’ + • In the expression: + GHC.Prim.coerce (mkExpr :: Expr Bool) :: Expr BOOL + In an equation for ‘mkExpr’: + mkExpr = GHC.Prim.coerce (mkExpr :: Expr Bool) :: Expr BOOL + When typechecking the code for ‘mkExpr’ + in a derived instance for ‘B BOOL’: + To see the code I am typechecking, use -ddump-deriv + In the instance declaration for ‘B BOOL’ |