diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-12-18 12:03:33 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-12-18 15:47:19 +0000 |
commit | f1fe5b4adf6a4094ecc600a28f64f7628903d017 (patch) | |
tree | 078df33932b6422ce520aee82c0d153fd4135a09 /testsuite/tests/polykinds/T7433.stderr | |
parent | 1e64fc81295ac27c5e662576da3afacd42186a13 (diff) | |
download | haskell-f1fe5b4adf6a4094ecc600a28f64f7628903d017.tar.gz |
Fix scoping of pattern-synonym existentials
This patch fixes Trac #14998, where we eventually decided that
the existential type variables of the signature of a pattern
synonym should not scope over the pattern synonym.
See Note [Pattern synonym existentials do not scope] in TcPatSyn.
Diffstat (limited to 'testsuite/tests/polykinds/T7433.stderr')
-rw-r--r-- | testsuite/tests/polykinds/T7433.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/polykinds/T7433.stderr b/testsuite/tests/polykinds/T7433.stderr index 1cd2ad2f29..4dce12a653 100644 --- a/testsuite/tests/polykinds/T7433.stderr +++ b/testsuite/tests/polykinds/T7433.stderr @@ -1,6 +1,6 @@ -T7433.hs:2:10: - Data constructor ‘Z’ cannot be used here - (Perhaps you intended to use DataKinds) - In the type ‘ 'Z’ - In the type declaration for ‘T’ +T7433.hs:2:10: error: + • Data constructor ‘Z’ cannot be used here + (perhaps you intended to use DataKinds) + • In the type ‘ 'Z’ + In the type declaration for ‘T’ |