diff options
| author | CarrieMY <carrie.xmy@gmail.com> | 2021-07-25 12:20:13 +0800 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-07-28 13:20:17 -0400 |
| commit | 7dc0dc9962e90ca8dcd01c547adab4f7c43d6090 (patch) | |
| tree | b95d911ea5c224a3b19f5f8100d044201f47cb11 /testsuite/tests/typecheck/should_fail/T20122.stderr | |
| parent | 91eb18570fae4e1982e660f6dcb4f7b69de58cf2 (diff) | |
| download | haskell-7dc0dc9962e90ca8dcd01c547adab4f7c43d6090.tar.gz | |
Fix type check error message grammar (fixes #20122)
Remove trailing spaces
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T20122.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T20122.stderr | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T20122.stderr b/testsuite/tests/typecheck/should_fail/T20122.stderr new file mode 100644 index 0000000000..f3e987ee23 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T20122.stderr @@ -0,0 +1,12 @@ + +T20122.hs:11:7: error: + • Ambiguous type variable ‘a0’ arising from a use of ‘test’ + prevents the constraint ‘(Testable a0)’ from being solved. + Relevant bindings include + foo :: a0 -> Bool (bound at T20122.hs:11:1) + Probable fix: use a type annotation to specify what ‘a0’ should be. + This potential instance exists: + instance Testable A + -- Defined at T20122.hs:8:10 + • In the expression: test + In an equation for ‘foo’: foo = test |