summaryrefslogtreecommitdiff
path: root/testsuite/tests/wcompat-warnings/WCompatWarningsOn.stderr
blob: ee2ded8516ee2d04e6653e8bf6451a73cb78b5d2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

WCompatWarningsOn.hs:13:5: warning:
    • Could not deduce (Control.Monad.Fail.MonadFail m)
        arising from the failable pattern ‘Just _’
        (this will become an error a future GHC release)
      from the context: Monad m
        bound by the type signature for:
                   monadFail :: Monad m => m a
        at WCompatWarningsOn.hs:11:1-27
      Possible fix:
        add (Control.Monad.Fail.MonadFail m) to the context of
          the type signature for:
            monadFail :: Monad m => m a
    • In a stmt of a 'do' block: Just _ <- undefined
      In the expression:
        do { Just _ <- undefined;
             undefined }
      In an equation for ‘monadFail’:
          monadFail
            = do { Just _ <- undefined;
                   undefined }

WCompatWarningsOn.hs:16:1: warning:
    Local definition of ‘<>’ clashes with a future Prelude name.
    This will become an error in a future release.

WCompatWarningsOn.hs:22:3: warning:
    Noncanonical ‘(<>) = mappend’ definition detected
    in the instance declaration for ‘Semi.Semigroup S’.
    Move definition from ‘mappend’ to ‘(<>)’

WCompatWarningsOn.hs:25:3: warning:
    Noncanonical ‘mappend’ definition detected
    in the instance declaration for ‘Monoid S’.
    Define as ‘mappend = (<>)’