diff options
Diffstat (limited to 'testsuite/tests/gadt/gadt-escape1.stderr')
| -rw-r--r-- | testsuite/tests/gadt/gadt-escape1.stderr | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/testsuite/tests/gadt/gadt-escape1.stderr b/testsuite/tests/gadt/gadt-escape1.stderr index 39d736adb8..829dfa0e2b 100644 --- a/testsuite/tests/gadt/gadt-escape1.stderr +++ b/testsuite/tests/gadt/gadt-escape1.stderr @@ -1,17 +1,17 @@ -gadt-escape1.hs:19:58: - Couldn't match type ‘t’ with ‘ExpGADT Int’ - ‘t’ is untouchable - inside the constraints: t1 ~ Int - bound by a pattern with constructor: ExpInt :: Int -> ExpGADT Int, - in a case alternative - at gadt-escape1.hs:19:43-50 - ‘t’ is a rigid type variable bound by - the inferred type of weird1 :: t at gadt-escape1.hs:19:1 - Possible fix: add a type signature for ‘weird1’ - Expected type: t - Actual type: ExpGADT t1 - In the expression: a - In a case alternative: Hidden (ExpInt _) a -> a - Relevant bindings include - weird1 :: t (bound at gadt-escape1.hs:19:1) +gadt-escape1.hs:19:58: error: + • Couldn't match type ‘r’ with ‘ExpGADT Int’ + ‘r’ is untouchable + inside the constraints: t ~ Int + bound by a pattern with constructor: ExpInt :: Int -> ExpGADT Int, + in a case alternative + at gadt-escape1.hs:19:43-50 + ‘r’ is a rigid type variable bound by + the inferred type of weird1 :: r at gadt-escape1.hs:19:1 + Possible fix: add a type signature for ‘weird1’ + Expected type: r + Actual type: ExpGADT t + • In the expression: a + In a case alternative: Hidden (ExpInt _) a -> a + • Relevant bindings include + weird1 :: r (bound at gadt-escape1.hs:19:1) |