diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-26 11:10:34 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-26 11:10:34 +0100 |
| commit | 4f093d6838fdf8b659a2d732032dd29cb0df7830 (patch) | |
| tree | 156d1c9722bce9a82228e4f53cc93f926378c333 /testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr | |
| parent | 2db1733aa0f6994af3a2cc1770e4bef7fb4e9520 (diff) | |
| download | haskell-4f093d6838fdf8b659a2d732032dd29cb0df7830.tar.gz | |
Wibbles to type error messages
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 33fde554cf..b61af24a62 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 b ~ 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 }
|