diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-09-02 14:05:36 +0200 |
|---|---|---|
| committer | Ben Gamari <bgamari.foss@gmail.com> | 2015-09-02 09:11:51 -0400 |
| commit | 28ac9d31bcabeb44496c0e1750563f3091c62da9 (patch) | |
| tree | 427a29e1beca0ee3fee7a1bc825bb5fa2fa03dae /testsuite/tests/rebindable | |
| parent | c8f623e305ec0a51ac2406a1f754d244e05b96f5 (diff) | |
| download | haskell-28ac9d31bcabeb44496c0e1750563f3091c62da9.tar.gz | |
Improve the error messages for class instance errors
Summary: See Note [Displaying potential instances].
Reviewers: austin
Subscribers: KaneTW, thomie
Differential Revision: https://phabricator.haskell.org/D1176
Diffstat (limited to 'testsuite/tests/rebindable')
| -rw-r--r-- | testsuite/tests/rebindable/rebindable6.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/rebindable/rebindable6.stderr b/testsuite/tests/rebindable/rebindable6.stderr index 9e3dc0a5c7..b843f33bd7 100644 --- a/testsuite/tests/rebindable/rebindable6.stderr +++ b/testsuite/tests/rebindable/rebindable6.stderr @@ -9,7 +9,7 @@ rebindable6.hs:106:17: error: f :: IO a (bound at rebindable6.hs:104:17) test_do :: IO a -> IO (Maybe b) -> IO b (bound at rebindable6.hs:104:9) - Note: there is a potential instance available: + Potential instances: instance HasSeq (IO a -> IO b -> IO b) -- Defined at rebindable6.hs:52:18 In a stmt of a 'do' block: f @@ -28,7 +28,7 @@ rebindable6.hs:107:17: error: arising from a do statement (maybe you haven't applied a function to enough arguments?) The type variable ‘t1’ is ambiguous - Note: there is a potential instance available: + Potential instances: instance HasFail (String -> IO a) -- Defined at rebindable6.hs:57:18 In a stmt of a 'do' block: Just (b :: b) <- g @@ -52,7 +52,7 @@ rebindable6.hs:108:17: error: g :: IO (Maybe b) (bound at rebindable6.hs:104:19) test_do :: IO a -> IO (Maybe b) -> IO b (bound at rebindable6.hs:104:9) - Note: there is a potential instance available: + Potential instances: instance HasReturn (a -> IO a) -- Defined at rebindable6.hs:42:18 In a stmt of a 'do' block: return b In the expression: |