diff options
| author | David Luposchainsky <dluposchainsky@gmail.com> | 2015-11-29 22:59:57 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-11-29 23:00:48 +0100 |
| commit | 290def72f54db7969258b4541aaefc87b54ce448 (patch) | |
| tree | 5843028d9666626e3becb897e21e8caa007fd8c2 /testsuite/tests/typecheck/should_fail/CustomTypeErrors02.stderr | |
| parent | bcd55a94f234f5efa4bb4fd24429dafc79d93106 (diff) | |
| download | haskell-290def72f54db7969258b4541aaefc87b54ce448.tar.gz | |
Implement warnings for Semigroups as parent of Monoid
This patch is similar to the AMP patch (#8004), which offered two
functions:
1. Warn when an instance of a class has been given, but the type does
not have a certain superclass instance
2. Warn when top-level definitions conflict with future Prelude names
These warnings are issued as part of the new `-Wcompat` warning group.
Reviewers: hvr, ekmett, austin, bgamari
Reviewed By: hvr, ekmett, bgamari
Subscribers: ekmett, thomie
Differential Revision: https://phabricator.haskell.org/D1539
GHC Trac Issues: #11139
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/CustomTypeErrors02.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/CustomTypeErrors02.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_fail/CustomTypeErrors02.stderr b/testsuite/tests/typecheck/should_fail/CustomTypeErrors02.stderr index 2fd9036b01..02ae25931a 100644 --- a/testsuite/tests/typecheck/should_fail/CustomTypeErrors02.stderr +++ b/testsuite/tests/typecheck/should_fail/CustomTypeErrors02.stderr @@ -1,10 +1,10 @@ CustomTypeErrors02.hs:17:1: error: - The type 'a_aER -> a_aER' cannot be represented as an integer. - When checking that ‘err’ has the inferred type - err :: (TypeError ...) + • The type 'a_aEN -> a_aEN' cannot be represented as an integer. + • When checking that ‘err’ has the inferred type + err :: (TypeError ...) CustomTypeErrors02.hs:17:7: error: - The type 'a0 -> a0' cannot be represented as an integer. - In the expression: convert id - In an equation for ‘err’: err = convert id + • The type 'a0 -> a0' cannot be represented as an integer. + • In the expression: convert id + In an equation for ‘err’: err = convert id |