7946e88932d99639454df8cc910c092a7c4e7592
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail125.stderr
1
2 tcfail125.hs:1:14: warning:
3     -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
4
5 tcfail125.hs:11:4: error:
6     • No instance for (Show a) arising from a use of ‘LiftObs’
7       Possible fix:
8         add (Show a) to the context of
9           the type signature for:
10             f :: Obs a -> String
11     • In the pattern: LiftObs _ _
12       In an equation for ‘f’: f (LiftObs _ _) = "yes"