diff options
author | sheaf <sam.derbyshire@gmail.com> | 2021-11-19 10:19:19 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-11-20 18:13:23 -0500 |
commit | 742d8b6049c30f3b0cd1704d7a34d865bef41712 (patch) | |
tree | b22ad862ca4db2e9004d8b4ab4aafbc11bcde0a9 /testsuite/tests/rebindable | |
parent | bc7e9f038112496c45aeb81d1504e57acb3722c7 (diff) | |
download | haskell-742d8b6049c30f3b0cd1704d7a34d865bef41712.tar.gz |
Include "not more specific" info in overlap msg
When instances overlap, we now include additional information
about why we weren't able to select an instance: perhaps
one instance overlapped another but was not strictly more specific,
so we aren't able to directly choose it.
Fixes #20542
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 0cee958265..1c9c3ee1e1 100644 --- a/testsuite/tests/rebindable/rebindable6.stderr +++ b/testsuite/tests/rebindable/rebindable6.stderr @@ -10,7 +10,7 @@ rebindable6.hs:110:17: error: test_do :: IO a -> IO (Maybe b) -> IO b (bound at rebindable6.hs:108:9) Probable fix: use a type annotation to specify what ‘t0’ should be. - This potential instance exists: + Potentially matching instance: instance HasSeq (IO a -> IO b -> IO b) -- Defined at rebindable6.hs:56:18 • In a stmt of a 'do' block: f @@ -35,7 +35,7 @@ rebindable6.hs:111:17: error: (bound at rebindable6.hs:108:9) Probable fix: use a type annotation to specify what ‘p0’, ‘t0’ should be. - This potential instance exists: + Potentially matching instance: instance HasBind (IO a -> (a -> IO b) -> IO b) -- Defined at rebindable6.hs:51:18 • In a stmt of a 'do' block: Just (b :: b) <- g @@ -59,7 +59,7 @@ rebindable6.hs:112:17: error: test_do :: IO a -> IO (Maybe b) -> IO b (bound at rebindable6.hs:108:9) Probable fix: use a type annotation to specify what ‘p0’ should be. - This potential instance exists: + Potentially matching instance: instance HasReturn (a -> IO a) -- Defined at rebindable6.hs:46:18 • In a stmt of a 'do' block: return b In the expression: |