blob: 5cf339bd8d80151f8961ae4254750ac58dbf3d3e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T10971d.hs:4:14: error:
• Couldn't match expected type ‘[a0]’ with actual type ‘Maybe a2’
• 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:
• Couldn't match expected type ‘[b1]’ with actual type ‘Maybe a3’
• 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:
• Couldn't match expected type ‘[b0]’ 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
|
