diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-11-08 08:52:06 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-11-08 11:12:37 +0000 |
commit | 2c2f3cea93733e0c6dd04e1d891082652dcf5ea1 (patch) | |
tree | c73743cc5639e9a4a233465890e5aa24c07a8093 /testsuite/tests/rebindable | |
parent | 30058b0e45e920319916be999de9c4d77da136e7 (diff) | |
download | haskell-2c2f3cea93733e0c6dd04e1d891082652dcf5ea1.tar.gz |
Minimise provided dictionaries in pattern synonyms
Trac #14394 showed that it's possible to get redundant
constraints in the inferred provided constraints of a pattern
synonym. This patch removes the redundancy with mkMinimalBySCs.
To do this I had to generalise the type of mkMinimalBySCs slightly.
And, to reduce confusing reversal, I made it stable: it now returns
its result in the same order as its input. That led to a raft of
error message wibbles, mostly for the better.
Diffstat (limited to 'testsuite/tests/rebindable')
-rw-r--r-- | testsuite/tests/rebindable/rebindable6.stderr | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/rebindable/rebindable6.stderr b/testsuite/tests/rebindable/rebindable6.stderr index 342ee53de5..1dbbab5c00 100644 --- a/testsuite/tests/rebindable/rebindable6.stderr +++ b/testsuite/tests/rebindable/rebindable6.stderr @@ -33,7 +33,8 @@ rebindable6.hs:111:17: error: g :: IO (Maybe b) (bound at rebindable6.hs:108:19) 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’, ‘t0’ should be. + Probable fix: use a type annotation to specify what ‘p0’, + ‘t0’ should be. These potential instance exist: instance HasBind (IO a -> (a -> IO b) -> IO b) -- Defined at rebindable6.hs:51:18 |