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

tcfail125.hs:1:14: warning: [-Wdeprecated-flags (in -Wdefault)]
    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.

tcfail125.hs:11:4: error: [GHC-39999]
    • 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 :: forall a. Obs a -> String
    • In the pattern: LiftObs _ _
      In an equation for ‘f’: f (LiftObs _ _) = "yes"