diff options
Diffstat (limited to 'testsuite')
9 files changed, 28 insertions, 22 deletions
diff --git a/testsuite/tests/ghci/prog006/prog006.stderr b/testsuite/tests/ghci/prog006/prog006.stderr index d4a37124bc..aedba9717f 100644 --- a/testsuite/tests/ghci/prog006/prog006.stderr +++ b/testsuite/tests/ghci/prog006/prog006.stderr @@ -1,5 +1,7 @@ -Boot.hs:5:21: error: - Illegal symbol '.' in type - Perhaps you intended to use RankNTypes or a similar language - extension to enable explicit-forall syntax: forall <tvs>. <type> +Boot.hs:5:13: error: + • Data constructor ‘D’ has existential type variables, a context, or a specialised result type + D :: forall n. Class n => n -> Data + (Enable ExistentialQuantification or GADTs to allow this) + • In the definition of data constructor ‘D’ + In the data type declaration for ‘Data’ diff --git a/testsuite/tests/parser/should_fail/ParserNoForallUnicode.stderr b/testsuite/tests/parser/should_fail/ParserNoForallUnicode.stderr index 6c9843343a..6ad0cbba11 100644 --- a/testsuite/tests/parser/should_fail/ParserNoForallUnicode.stderr +++ b/testsuite/tests/parser/should_fail/ParserNoForallUnicode.stderr @@ -1,5 +1,5 @@ -ParserNoForallUnicode.hs:5:8: - Illegal symbol '∀' in type +ParserNoForallUnicode.hs:5:8: error: + Illegal symbol ‘∀’ in type Perhaps you intended to use RankNTypes or a similar language extension to enable explicit-forall syntax: ∀ <tvs>. <type> diff --git a/testsuite/tests/parser/should_fail/T12811.stderr b/testsuite/tests/parser/should_fail/T12811.stderr index e9cf78fe5c..a1550357d4 100644 --- a/testsuite/tests/parser/should_fail/T12811.stderr +++ b/testsuite/tests/parser/should_fail/T12811.stderr @@ -1,4 +1,6 @@ +T12811.hs:4:15: error: Not in scope: type constructor or class ‘.’ + T12811.hs:4:15: error: - Illegal symbol '.' in type - Perhaps you meant to write 'forall <tvs>. <type>'? + Illegal operator ‘.’ in type ‘foral a . a’ + Use TypeOperators to allow operators in types diff --git a/testsuite/tests/parser/should_fail/T3095.stderr b/testsuite/tests/parser/should_fail/T3095.stderr index 1cb7a0f41f..b2b684877c 100644 --- a/testsuite/tests/parser/should_fail/T3095.stderr +++ b/testsuite/tests/parser/should_fail/T3095.stderr @@ -1,5 +1,5 @@ -T3095.hs:5:21: - Illegal symbol '.' in type +T3095.hs:5:12: error: + Illegal symbol ‘forall’ in type Perhaps you intended to use RankNTypes or a similar language extension to enable explicit-forall syntax: forall <tvs>. <type> diff --git a/testsuite/tests/rename/should_fail/rnfail052.stderr b/testsuite/tests/rename/should_fail/rnfail052.stderr index 1884776392..7979dac313 100644 --- a/testsuite/tests/rename/should_fail/rnfail052.stderr +++ b/testsuite/tests/rename/should_fail/rnfail052.stderr @@ -1,5 +1,5 @@ -rnfail052.hs:6:14: - Illegal symbol '.' in type +rnfail052.hs:6:6: error: + Illegal symbol ‘forall’ in type Perhaps you intended to use RankNTypes or a similar language extension to enable explicit-forall syntax: forall <tvs>. <type> diff --git a/testsuite/tests/rename/should_fail/rnfail053.stderr b/testsuite/tests/rename/should_fail/rnfail053.stderr index 0376517c30..ab96278504 100644 --- a/testsuite/tests/rename/should_fail/rnfail053.stderr +++ b/testsuite/tests/rename/should_fail/rnfail053.stderr @@ -1,5 +1,7 @@ -rnfail053.hs:5:18: error: - Illegal symbol '.' in type - Perhaps you intended to use RankNTypes or a similar language - extension to enable explicit-forall syntax: forall <tvs>. <type> +rnfail053.hs:5:10: error: + • Data constructor ‘MkT’ has existential type variables, a context, or a specialised result type + MkT :: forall a. a -> T + (Enable ExistentialQuantification or GADTs to allow this) + • In the definition of data constructor ‘MkT’ + In the data type declaration for ‘T’ diff --git a/testsuite/tests/typecheck/should_fail/T3155.stderr b/testsuite/tests/typecheck/should_fail/T3155.stderr index 85a31c32af..0f04d76bff 100644 --- a/testsuite/tests/typecheck/should_fail/T3155.stderr +++ b/testsuite/tests/typecheck/should_fail/T3155.stderr @@ -1,5 +1,5 @@ -T3155.hs:13:18: - Illegal symbol '.' in type +T3155.hs:13:9: error: + Illegal symbol ‘forall’ in type Perhaps you intended to use RankNTypes or a similar language extension to enable explicit-forall syntax: forall <tvs>. <type> diff --git a/testsuite/tests/typecheck/should_fail/tcfail166.stderr b/testsuite/tests/typecheck/should_fail/tcfail166.stderr index 96229505b0..5cc11d4a4b 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail166.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail166.stderr @@ -1,5 +1,5 @@ -tcfail166.hs:5:21: - Illegal symbol '.' in type +tcfail166.hs:5:13: error: + Illegal symbol ‘forall’ in type Perhaps you intended to use RankNTypes or a similar language extension to enable explicit-forall syntax: forall <tvs>. <type> diff --git a/testsuite/tests/typecheck/should_fail/tcfail183.stderr b/testsuite/tests/typecheck/should_fail/tcfail183.stderr index 529a17aa36..7a0e2ab346 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail183.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail183.stderr @@ -1,5 +1,5 @@ -tcfail183.hs:4:38: - Illegal symbol '.' in type +tcfail183.hs:4:30: error: + Illegal symbol ‘forall’ in type Perhaps you intended to use RankNTypes or a similar language extension to enable explicit-forall syntax: forall <tvs>. <type> |