diff options
Diffstat (limited to 'testsuite/tests/gadt/gadt13.stderr')
| -rw-r--r-- | testsuite/tests/gadt/gadt13.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/gadt/gadt13.stderr b/testsuite/tests/gadt/gadt13.stderr index 6673ff68b0..cea221944b 100644 --- a/testsuite/tests/gadt/gadt13.stderr +++ b/testsuite/tests/gadt/gadt13.stderr @@ -8,10 +8,10 @@ gadt13.hs:15:13: error: in an equation for ‘shw’ at gadt13.hs:15:6-8 ‘p’ is a rigid type variable bound by - the inferred type of shw :: Term a -> p at gadt13.hs:15:1-30 + the inferred type of shw :: Term a -> p + at gadt13.hs:15:1-30 Possible fix: add a type signature for ‘shw’ - • Possible cause: ‘(.)’ is applied to too many arguments - In the expression: ("I " ++) . shows t + • In the expression: ("I " ++) . shows t In an equation for ‘shw’: shw (I t) = ("I " ++) . shows t • Relevant bindings include shw :: Term a -> p (bound at gadt13.hs:15:1) |