summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T10971d.stderr
blob: 70ac8107498ea87584b153ad3a359a777f18879a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

T10971d.hs:4:14: error: [GHC-83865]
    • Couldn't match expected type: [a0]
                  with actual type: Maybe a3
    • In the first argument of ‘f’, namely ‘(Just 1)’
      In the second argument of ‘($)’, namely ‘f (Just 1)’
      In a stmt of a 'do' block: print $ f (Just 1)

T10971d.hs:5:19: error: [GHC-83865]
    • Couldn't match expected type: [b0]
                  with actual type: Maybe a4
    • In the second argument of ‘g’, namely ‘(Just 5)’
      In the second argument of ‘($)’, namely ‘g (+ 1) (Just 5)’
      In a stmt of a 'do' block: print $ g (+ 1) (Just 5)

T10971d.hs:6:23: error: [GHC-83865]
    • Couldn't match expected type: [a2]
                  with actual type: Maybe a1
    • In the second argument of ‘h’, namely ‘Nothing’
      In the second argument of ‘($)’, namely ‘h (const 5) Nothing’
      In a stmt of a 'do' block: print $ h (const 5) Nothing