blob: 733f923a1594f2ebb7c1e94354355b2b5805484f (
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
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
|
-- Test purpose:
-- Break properly if MonadFail is live
module MonadFailWarnings where
import Control.Monad.Fail
import Control.Monad.ST
import Data.Functor.Identity
general :: Monad m => m a
general = do
Just x <- undefined
undefined
general' :: MonadFail m => m a
general' = do
Just x <- undefined
undefined
identity :: Identity a
identity = do
Just x <- undefined
undefined
io :: IO a
io = do
Just x <- undefined
undefined
reader :: r -> a
reader = do
Just x <- undefined
undefined
newtype Newtype a = Newtype a
newtypeMatch :: Identity a
newtypeMatch = do
Newtype x <- undefined
undefined
data Data a = Data a
singleConMatch :: Identity a
singleConMatch = do
Data x <- undefined
undefined
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
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
|
