diff options
Diffstat (limited to 'testsuite/tests/gadt/gadt13.stderr')
-rw-r--r-- | testsuite/tests/gadt/gadt13.stderr | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/testsuite/tests/gadt/gadt13.stderr b/testsuite/tests/gadt/gadt13.stderr index ce56fe838e..44b100b059 100644 --- a/testsuite/tests/gadt/gadt13.stderr +++ b/testsuite/tests/gadt/gadt13.stderr @@ -1,16 +1,16 @@ -gadt13.hs:15:13: - Couldn't match expected type ‘t’ - with actual type ‘String -> [Char]’ - ‘t’ is untouchable - inside the constraints: t1 ~ Int - bound by a pattern with constructor: I :: Int -> Term Int, - in an equation for ‘shw’ - at gadt13.hs:15:6-8 - ‘t’ is a rigid type variable bound by - the inferred type of shw :: Term t1 -> t at gadt13.hs:15:1 - Possible fix: add a type signature for ‘shw’ - In the expression: ("I " ++) . shows t - In an equation for ‘shw’: shw (I t) = ("I " ++) . shows t - Relevant bindings include - shw :: Term t1 -> t (bound at gadt13.hs:15:1) +gadt13.hs:15:13: error: + • Couldn't match expected type ‘r’ + with actual type ‘String -> [Char]’ + ‘r’ is untouchable + inside the constraints: r1 ~ Int + bound by a pattern with constructor: I :: Int -> Term Int, + in an equation for ‘shw’ + at gadt13.hs:15:6-8 + ‘r’ is a rigid type variable bound by + the inferred type of shw :: Term r1 -> r at gadt13.hs:15:1 + Possible fix: add a type signature for ‘shw’ + • In the expression: ("I " ++) . shows t + In an equation for ‘shw’: shw (I t) = ("I " ++) . shows t + • Relevant bindings include + shw :: Term r1 -> r (bound at gadt13.hs:15:1) |