diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T3440.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T3440.stderr | 39 |
1 files changed, 20 insertions, 19 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T3440.stderr b/testsuite/tests/indexed-types/should_fail/T3440.stderr index cfc5570c66..7b29bb6f52 100644 --- a/testsuite/tests/indexed-types/should_fail/T3440.stderr +++ b/testsuite/tests/indexed-types/should_fail/T3440.stderr @@ -1,22 +1,23 @@ -T3440.hs:11:22: - Could not deduce: a1 ~ a - from the context: Fam a ~ Fam a1 - bound by a pattern with constructor: - GADT :: forall a. a -> Fam a -> GADT (Fam a), - in an equation for ‘unwrap’ - at T3440.hs:11:9-16 +T3440.hs:11:22: error: + • Could not deduce: a1 ~ a + from the context: Fam a ~ Fam a1 + bound by a pattern with constructor: + GADT :: forall a. a -> Fam a -> GADT (Fam a), + in an equation for ‘unwrap’ + at T3440.hs:11:9-16 ‘a1’ is a rigid type variable bound by - a pattern with constructor: - GADT :: forall a. a -> Fam a -> GADT (Fam a), - in an equation for ‘unwrap’ - at T3440.hs:11:9 + a pattern with constructor: + GADT :: forall a. a -> Fam a -> GADT (Fam a), + in an equation for ‘unwrap’ + at T3440.hs:11:9 ‘a’ is a rigid type variable bound by - the type signature for: unwrap :: GADT (Fam a) -> (a, Fam a) - at T3440.hs:10:11 - In the expression: x - In the expression: (x, y) - Relevant bindings include - y :: Fam a1 (bound at T3440.hs:11:16) - x :: a1 (bound at T3440.hs:11:14) - unwrap :: GADT (Fam a) -> (a, Fam a) (bound at T3440.hs:11:1) + the type signature for: + unwrap :: forall a. GADT (Fam a) -> (a, Fam a) + at T3440.hs:10:11 + • In the expression: x + In the expression: (x, y) + • Relevant bindings include + y :: Fam a1 (bound at T3440.hs:11:16) + x :: a1 (bound at T3440.hs:11:14) + unwrap :: GADT (Fam a) -> (a, Fam a) (bound at T3440.hs:11:1) |