diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail125.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail125.stderr | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail125.stderr b/testsuite/tests/typecheck/should_fail/tcfail125.stderr index 5d31a29080..7946e88932 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail125.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail125.stderr @@ -1,11 +1,12 @@ -
-tcfail125.hs:1:14: Warning:
- -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
-
-tcfail125.hs:11:4:
- No instance for (Show a) arising from a use of ‘LiftObs’
- Possible fix:
- add (Show a) to the context of
- the type signature for: f :: Obs a -> String
- In the pattern: LiftObs _ _
- In an equation for ‘f’: f (LiftObs _ _) = "yes"
+ +tcfail125.hs:1:14: warning: + -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. + +tcfail125.hs:11:4: error: + • No instance for (Show a) arising from a use of ‘LiftObs’ + Possible fix: + add (Show a) to the context of + the type signature for: + f :: Obs a -> String + • In the pattern: LiftObs _ _ + In an equation for ‘f’: f (LiftObs _ _) = "yes" |