diff options
| author | David Luposchainsky <dluposchainsky@gmail.com> | 2015-11-18 12:23:57 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-11-18 12:53:51 +0100 |
| commit | 3ee0c143a7e3e474c2c8511174702ccb8441f8d9 (patch) | |
| tree | a9b43214c982b74922da9cfee6fd73d1fcb267eb /testsuite/tests/rebindable | |
| parent | 112ce87444362f9f09e6a9ccf532f2ab5d80ad81 (diff) | |
| download | haskell-3ee0c143a7e3e474c2c8511174702ccb8441f8d9.tar.gz | |
Improve MonadFail errors by mentioning the pattern
Example error message:
MonadFailErrors.hs:16:5: error:
Could not deduce (MonadFail m)
arising from a do statement
with the failable pattern ‘Just x’
Depends on D1248
Reviewers: austin, bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1489
Diffstat (limited to 'testsuite/tests/rebindable')
| -rw-r--r-- | testsuite/tests/rebindable/rebindable6.stderr | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/rebindable/rebindable6.stderr b/testsuite/tests/rebindable/rebindable6.stderr index 269ea8ff05..2f1331db86 100644 --- a/testsuite/tests/rebindable/rebindable6.stderr +++ b/testsuite/tests/rebindable/rebindable6.stderr @@ -26,6 +26,7 @@ rebindable6.hs:109:17: error: rebindable6.hs:110:17: error: Ambiguous type variable ‘t1’ arising from a do statement + with the failable pattern ‘Just (b :: b)’ prevents the constraint ‘(HasFail ([Char] -> t1))’ from being solved. (maybe you haven't applied a function to enough arguments?) |