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