summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/LevPolyBounded.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/LevPolyBounded.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/LevPolyBounded.stderr4
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/LevPolyBounded.stderr b/testsuite/tests/typecheck/should_fail/LevPolyBounded.stderr
index 114d3e962d..c4c8d83a77 100644
--- a/testsuite/tests/typecheck/should_fail/LevPolyBounded.stderr
+++ b/testsuite/tests/typecheck/should_fail/LevPolyBounded.stderr
@@ -3,7 +3,7 @@ LevPolyBounded.hs:10:15: error:
• Expected a type, but ‘a’ has kind ‘TYPE r’
‘r’ is a rigid type variable bound by
the class declaration for ‘XBounded’
- at LevPolyBounded.hs:9:27
+ at LevPolyBounded.hs:9:17-27
• In the type signature: LevPolyBounded.minBound :: a
In the class declaration for ‘XBounded’
@@ -11,6 +11,6 @@ LevPolyBounded.hs:11:15: error:
• Expected a type, but ‘a’ has kind ‘TYPE r’
‘r’ is a rigid type variable bound by
the class declaration for ‘XBounded’
- at LevPolyBounded.hs:9:27
+ at LevPolyBounded.hs:9:17-27
• In the type signature: LevPolyBounded.maxBound :: a
In the class declaration for ‘XBounded’