blob: 74249cd663793137ea7eea60aa639a7c3da8697c (
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
36
|
-- Trac #3263. New kind of warning on ignored monadic bindings
module T3263 where
nullM :: IO ()
nullM = return ()
nonNullM :: IO Int
nonNullM = return 10
-- No warning
t1 = do
nonNullM
-- No warning
t2 = nonNullM
-- No warning
t3 = do
nullM
nonNullM
-- Warning
t4 = do
nonNullM
nullM
-- No warning
t5 = do
_ <- nonNullM
nullM
-- Warning
t6 = mdo
nonNullM
nullM
|