diff options
Diffstat (limited to 'testsuite/tests/gadt/gadt-escape1.stderr')
| -rw-r--r-- | testsuite/tests/gadt/gadt-escape1.stderr | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/testsuite/tests/gadt/gadt-escape1.stderr b/testsuite/tests/gadt/gadt-escape1.stderr index 19aa501a4c..d771c63828 100644 --- a/testsuite/tests/gadt/gadt-escape1.stderr +++ b/testsuite/tests/gadt/gadt-escape1.stderr @@ -1,13 +1,12 @@ gadt-escape1.hs:19:58: error: - • Couldn't match type ‘p’ with ‘ExpGADT Int’ + • Could not deduce: p ~ ExpGADT Int + from the context: t ~ Int + bound by a pattern with constructor: ExpInt :: Int -> ExpGADT Int, + in a case alternative + at gadt-escape1.hs:19:43-50 Expected: p Actual: ExpGADT t - ‘p’ 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 ‘p’ is a rigid type variable bound by the inferred type of weird1 :: p at gadt-escape1.hs:19:1-58 |