summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr
diff options
context:
space:
mode:
authorThomas Miedema <thomasmiedema@gmail.com>2016-06-18 22:08:53 +0200
committerThomas Miedema <thomasmiedema@gmail.com>2016-06-20 16:22:07 +0200
commitcf6e65693588cd9d40c895279f2e53d3d25a2c58 (patch)
tree7888c54bbd8548293a51e836bbd16de70c3b7616 /testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr
parent9cdde38144331510673b5296b00c88fbe566adcf (diff)
downloadhaskell-cf6e65693588cd9d40c895279f2e53d3d25a2c58.tar.gz
Testsuite: remove Windows CR [skip ci]
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr')
-rw-r--r--testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr34
1 files changed, 17 insertions, 17 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr b/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr
index f8689f9b8d..44dc9475c0 100644
--- a/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr
+++ b/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr
@@ -1,17 +1,17 @@
-
-GADTwrong1.hs:12:21: error:
- • Couldn't match expected type ‘b’ with actual type ‘c’
- ‘c’ is a rigid type variable bound by
- a pattern with constructor: T :: forall c. c -> T (Const c),
- in a case alternative
- at GADTwrong1.hs:12:14-16
- ‘b’ is a rigid type variable bound by
- the type signature for:
- coerce :: forall a b. a -> b
- at GADTwrong1.hs:10:1-29
- • In the expression: y
- In a case alternative: T y -> y
- In the expression: case T x :: T (Const b) of { T y -> y }
- • Relevant bindings include
- y :: c (bound at GADTwrong1.hs:12:16)
- coerce :: a -> b (bound at GADTwrong1.hs:11:1)
+
+GADTwrong1.hs:12:21: error:
+ • Couldn't match expected type ‘b’ with actual type ‘c’
+ ‘c’ is a rigid type variable bound by
+ a pattern with constructor: T :: forall c. c -> T (Const c),
+ in a case alternative
+ at GADTwrong1.hs:12:14-16
+ ‘b’ is a rigid type variable bound by
+ the type signature for:
+ coerce :: forall a b. a -> b
+ at GADTwrong1.hs:10:1-29
+ • In the expression: y
+ In a case alternative: T y -> y
+ In the expression: case T x :: T (Const b) of { T y -> y }
+ • Relevant bindings include
+ y :: c (bound at GADTwrong1.hs:12:16)
+ coerce :: a -> b (bound at GADTwrong1.hs:11:1)