diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-10-28 09:41:27 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-10-28 09:46:22 +0000 |
| commit | 04b0a73a2a418e1ca9c282ab3f2b4fe216911fdd (patch) | |
| tree | 9914155e4873cd7a1b3c3dcee8fe12119b2ddbf2 /testsuite/tests/ghci | |
| parent | 9fc2d777f53110040f48ab27643a16888fa377f5 (diff) | |
| download | haskell-04b0a73a2a418e1ca9c282ab3f2b4fe216911fdd.tar.gz | |
Pattern synonyms: swap provided/required
This patch swaps the order of provided and required constraints in
a pattern signature, so it now goes
pattern P :: req => prov => t1 -> ... tn -> res_ty
See the long discussion in Trac #10928.
I think I have found all the places, but I could have missed something
particularly in comments.
There is a Haddock changes; so a submodule update.
Diffstat (limited to 'testsuite/tests/ghci')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T8776.stdout | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/ghci/scripts/T8776.stdout b/testsuite/tests/ghci/scripts/T8776.stdout index 7f8d57e7ee..937a270963 100644 --- a/testsuite/tests/ghci/scripts/T8776.stdout +++ b/testsuite/tests/ghci/scripts/T8776.stdout @@ -1 +1,2 @@ -pattern P :: (Num t, Eq t1) => A t t1 -- Defined at T8776.hs:6:1 +pattern P :: () => (Num t, Eq t1) => A t t1 + -- Defined at T8776.hs:6:1 |