summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail125.stderr
blob: 592698f7d43a40e1345f312d0b5b24ac0d56915e (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"