diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr b/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr index b61af24a62..aa6eedc88c 100644 --- a/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr +++ b/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr @@ -1,21 +1,21 @@ -
-GADTwrong1.hs:12:19:
- Could not deduce (a1 ~ b)
- from the context (() ~ Const a1)
- bound by a pattern with constructor
- T :: forall a. a -> T (Const a),
- in a case alternative
- at GADTwrong1.hs:12:12-14
- `a1' is a rigid type variable bound by
- a pattern with constructor
- T :: forall a. a -> T (Const a),
- in a case alternative
- at GADTwrong1.hs:12:12
- `b' is a rigid type variable bound by
- the type signature for coerce :: a -> b at GADTwrong1.hs:10:20
- Relevant bindings include
- coerce :: a -> b (bound at GADTwrong1.hs:11:1)
- y :: a1 (bound at GADTwrong1.hs:12:14)
- In the expression: y
- In a case alternative: T y -> y
- In the expression: case T x :: T (Const b) of { T y -> y }
+ +GADTwrong1.hs:12:19: + Could not deduce (a1 ~ b) + from the context (() ~ Const a1) + bound by a pattern with constructor + T :: forall a. a -> T (Const a), + in a case alternative + at GADTwrong1.hs:12:12-14 + ‛a1’ is a rigid type variable bound by + a pattern with constructor + T :: forall a. a -> T (Const a), + in a case alternative + at GADTwrong1.hs:12:12 + ‛b’ is a rigid type variable bound by + the type signature for coerce :: a -> b at GADTwrong1.hs:10:20 + Relevant bindings include + coerce :: a -> b (bound at GADTwrong1.hs:11:1) + y :: a1 (bound at GADTwrong1.hs:12:14) + In the expression: y + In a case alternative: T y -> y + In the expression: case T x :: T (Const b) of { T y -> y } |