diff options
Diffstat (limited to 'testsuite/tests/monadfail')
-rw-r--r-- | testsuite/tests/monadfail/MonadFailErrors.stderr | 2 | ||||
-rw-r--r-- | testsuite/tests/monadfail/MonadFailWarnings.stderr | 104 |
2 files changed, 53 insertions, 53 deletions
diff --git a/testsuite/tests/monadfail/MonadFailErrors.stderr b/testsuite/tests/monadfail/MonadFailErrors.stderr index 8a478eecf3..84334b980b 100644 --- a/testsuite/tests/monadfail/MonadFailErrors.stderr +++ b/testsuite/tests/monadfail/MonadFailErrors.stderr @@ -6,7 +6,7 @@ MonadFailErrors.hs:16:5: error: from the context: Monad m bound by the type signature for: general :: Monad m => m a - at MonadFailErrors.hs:14:12-25 + at MonadFailErrors.hs:14:1-25 Possible fix: add (MonadFail m) to the context of the type signature for: diff --git a/testsuite/tests/monadfail/MonadFailWarnings.stderr b/testsuite/tests/monadfail/MonadFailWarnings.stderr index 94858c1945..3d05126623 100644 --- a/testsuite/tests/monadfail/MonadFailWarnings.stderr +++ b/testsuite/tests/monadfail/MonadFailWarnings.stderr @@ -1,60 +1,60 @@ MonadFailWarnings.hs:19:5: warning: - Could not deduce (MonadFail m) - arising from the failable pattern ‘Just x’ - (this will become an error a future GHC release) - from the context: Monad m - bound by the type signature for: - general :: Monad m => m a - at MonadFailWarnings.hs:17:12-25 - Possible fix: - add (MonadFail m) to the context of - the type signature for: - general :: Monad m => m a - In a stmt of a 'do' block: Just x <- undefined - In the expression: - do { Just x <- undefined; - undefined } - In an equation for ‘general’: - general - = do { Just x <- undefined; - undefined } + • Could not deduce (MonadFail m) + arising from the failable pattern ‘Just x’ + (this will become an error a future GHC release) + from the context: Monad m + bound by the type signature for: + general :: Monad m => m a + at MonadFailWarnings.hs:17:1-25 + Possible fix: + add (MonadFail m) to the context of + the type signature for: + general :: Monad m => m a + • In a stmt of a 'do' block: Just x <- undefined + In the expression: + do { Just x <- undefined; + undefined } + In an equation for ‘general’: + general + = do { Just x <- undefined; + undefined } MonadFailWarnings.hs:35:5: warning: - No instance for (MonadFail Identity) - arising from the failable pattern ‘Just x’ - (this will become an error a future GHC release) - In a stmt of a 'do' block: Just x <- undefined - In the expression: - do { Just x <- undefined; - undefined } - In an equation for ‘identity’: - identity - = do { Just x <- undefined; - undefined } + • No instance for (MonadFail Identity) + arising from the failable pattern ‘Just x’ + (this will become an error a future GHC release) + • In a stmt of a 'do' block: Just x <- undefined + In the expression: + do { Just x <- undefined; + undefined } + In an equation for ‘identity’: + identity + = do { Just x <- undefined; + undefined } MonadFailWarnings.hs:51:5: warning: - No instance for (MonadFail (ST s)) - arising from the failable pattern ‘Just x’ - (this will become an error a future GHC release) - In a stmt of a 'do' block: Just x <- undefined - In the expression: - do { Just x <- undefined; - undefined } - In an equation for ‘st’: - st - = do { Just x <- undefined; - undefined } + • No instance for (MonadFail (ST s)) + arising from the failable pattern ‘Just x’ + (this will become an error a future GHC release) + • In a stmt of a 'do' block: Just x <- undefined + In the expression: + do { Just x <- undefined; + undefined } + In an equation for ‘st’: + st + = do { Just x <- undefined; + undefined } MonadFailWarnings.hs:59:5: warning: - No instance for (MonadFail ((->) r)) - arising from the failable pattern ‘Just x’ - (this will become an error a future GHC release) - In a stmt of a 'do' block: Just x <- undefined - In the expression: - do { Just x <- undefined; - undefined } - In an equation for ‘reader’: - reader - = do { Just x <- undefined; - undefined } + • No instance for (MonadFail ((->) r)) + arising from the failable pattern ‘Just x’ + (this will become an error a future GHC release) + • In a stmt of a 'do' block: Just x <- undefined + In the expression: + do { Just x <- undefined; + undefined } + In an equation for ‘reader’: + reader + = do { Just x <- undefined; + undefined } |