summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/T13785.stderr
blob: b86e7da1326d4cdaa53b4e90442b312c3753e2e2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12

T13785.hs:16:5: warning: [-Wmonomorphism-restriction]
    • The Monomorphism Restriction applies to the bindings
      for ‘bar2’, ‘baz2’
        Consider giving them a type signature
    • In an equation for ‘foo’:
          foo
            = bar >> baz >> bar2
            where
                bar, baz :: m Char
                (bar, baz) = c
                (bar2, baz2) = c