Improve error messages for skolems
[ghc.git] / testsuite / tests / monadfail / MonadFailErrors.stderr
1
2 MonadFailErrors.hs:16:5: error:
3     • Could not deduce (MonadFail m)
4         arising from a do statement
5         with the failable pattern ‘Just x’
6       from the context: Monad m
7         bound by the type signature for:
8                    general :: forall (m :: * -> *) a. Monad m => m a
9         at MonadFailErrors.hs:14:1-25
10       Possible fix:
11         add (MonadFail m) to the context of
12           the type signature for:
13             general :: forall (m :: * -> *) a. Monad m => m a
14     • In a stmt of a 'do' block: Just x <- undefined
15       In the expression:
16         do Just x <- undefined
17            undefined
18       In an equation for ‘general’:
19           general
20             = do Just x <- undefined
21                  undefined
22
23 MonadFailErrors.hs:30:5: error:
24     • No instance for (MonadFail Identity)
25         arising from a do statement
26         with the failable pattern ‘Just x’
27     • In a stmt of a 'do' block: Just x <- undefined
28       In the expression:
29         do Just x <- undefined
30            undefined
31       In an equation for ‘identity’:
32           identity
33             = do Just x <- undefined
34                  undefined
35
36 MonadFailErrors.hs:44:5: error:
37     • No instance for (MonadFail (ST s))
38         arising from a do statement
39         with the failable pattern ‘Just x’
40     • In a stmt of a 'do' block: Just x <- undefined
41       In the expression:
42         do Just x <- undefined
43            undefined
44       In an equation for ‘st’:
45           st
46             = do Just x <- undefined
47                  undefined
48
49 MonadFailErrors.hs:51:5: error:
50     • No instance for (MonadFail ((->) r))
51         arising from a do statement
52         with the failable pattern ‘Just x’
53     • In a stmt of a 'do' block: Just x <- undefined
54       In the expression:
55         do Just x <- undefined
56            undefined
57       In an equation for ‘reader’:
58           reader
59             = do Just x <- undefined
60                  undefined