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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
-- Test purpose:
-- Ensure that MonadFail warnings are issued correctly if the warning flag
-- is enabled
{-# LANGUAGE NoMonadFailDesugaring #-}
{-# OPTIONS_GHC -Wmissing-monadfail-instances -Wno-error=compat #-}
module MonadFailWarnings where
import Control.Monad.Fail
import Control.Monad.ST
import Data.Functor.Identity
-- should warn, because the do-block gets a general Monad constraint,
-- but should have MonadFail
general :: Monad m => m a
general = do
Just x <- undefined
undefined
-- should NOT warn, because the constraint is correct
general' :: MonadFail m => m a
general' = do
Just x <- undefined
undefined
-- should warn, because Identity isn't MonadFail
identity :: Identity a
identity = do
Just x <- undefined
undefined
-- should NOT warn, because IO is MonadFail
io :: IO a
io = do
Just x <- undefined
undefined
-- should warn, because (ST s) is not MonadFail
st :: ST s a
st = do
Just x <- undefined
undefined
-- should warn, because (r ->) is not MonadFail
reader :: r -> a
reader = do
Just x <- undefined
undefined
-- should NOT warn, because matching against newtype
newtype Newtype a = Newtype a
newtypeMatch :: Identity a
newtypeMatch = do
Newtype x <- undefined
undefined
-- should NOT warn, because Data has only one constructor
data Data a = Data a
singleConMatch :: Identity a
singleConMatch = do
Data x <- undefined
undefined
-- should NOT warn, because Maybe' has a MonadFail instance
data Maybe' a = Nothing' | Just' a
instance Functor Maybe' where fmap = undefined
instance Applicative Maybe' where pure = undefined; (<*>) = undefined
instance Monad Maybe' where (>>=) = undefined
instance MonadFail Maybe' where fail = undefined
customFailable :: Maybe' a
customFailable = do
Just x <- undefined
undefined
-- should NOT warn, because patterns always match
wildcardx, explicitlyIrrefutable, wildcard_, tuple :: Monad m => m a
wildcardx = do
x <- undefined
undefined
explicitlyIrrefutable = do
~(x:y) <- undefined
undefined
wildcard_ = do
_ <- undefined
undefined
tuple = do
(a,b) <- undefined
undefined
|
