diff options
author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-18 22:08:53 +0200 |
---|---|---|
committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-20 16:22:07 +0200 |
commit | cf6e65693588cd9d40c895279f2e53d3d25a2c58 (patch) | |
tree | 7888c54bbd8548293a51e836bbd16de70c3b7616 /testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr | |
parent | 9cdde38144331510673b5296b00c88fbe566adcf (diff) | |
download | haskell-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.stderr | 34 |
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) |