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

T13311.hs:9:3: error:
    • Couldn't match expected type ‘IO a0’
                  with actual type ‘Maybe a1 -> Maybe b0’
    • Probable cause: ‘f’ is applied to too few arguments
      In a stmt of a 'do' block: f
      In the expression:
        do f
           putChar 'a'
      In an equation for ‘g’:
          g = do f
                 putChar 'a'