summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail125.stderr
blob: addd093bff0660d58aaaf5eb865ab6a6dc9bf61a (plain)
1
2
3
4
5
6
7
8
9
10
11

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"