diff options
Diffstat (limited to 'testsuite/tests/gadt/gadt13.stderr')
| -rw-r--r-- | testsuite/tests/gadt/gadt13.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/gadt/gadt13.stderr b/testsuite/tests/gadt/gadt13.stderr index bc14bf1c51..797fd0ba4d 100644 --- a/testsuite/tests/gadt/gadt13.stderr +++ b/testsuite/tests/gadt/gadt13.stderr @@ -1,17 +1,17 @@ gadt13.hs:15:13: error: - • Couldn't match expected type ‘t1’ + • Couldn't match expected type ‘t’ with actual type ‘String -> [Char]’ - ‘t1’ is untouchable - inside the constraints: t ~ Int + ‘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 - ‘t1’ is a rigid type variable bound by - the inferred type of shw :: Term t -> t1 at gadt13.hs:15:1 + ‘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’ • Possible cause: ‘(.)’ is applied to too many arguments In the expression: ("I " ++) . shows t In an equation for ‘shw’: shw (I t) = ("I " ++) . shows t • Relevant bindings include - shw :: Term t -> t1 (bound at gadt13.hs:15:1) + shw :: Term t1 -> t (bound at gadt13.hs:15:1) |