Improve error messages around kind mismatches.
[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 :: forall a. Obs a -> String
11     • In the pattern: LiftObs _ _
12       In an equation for ‘f’: f (LiftObs _ _) = "yes"