diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2019-02-14 00:36:00 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-02-15 07:29:05 -0500 |
| commit | 887454d8889ca5dbba70425de41d97939cb9ac60 (patch) | |
| tree | 6d7d57ee977f58fcceed0d59a95bcfdf057551dc /testsuite/tests/rename | |
| parent | b31df5caaebb1c4f72a3c70a9cdb7893af4c3309 (diff) | |
| download | haskell-887454d8889ca5dbba70425de41d97939cb9ac60.tar.gz | |
'forall' always a keyword, plus the dot type operator
Diffstat (limited to 'testsuite/tests/rename')
| -rw-r--r-- | testsuite/tests/rename/should_fail/rnfail052.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/rename/should_fail/rnfail053.stderr | 10 |
2 files changed, 8 insertions, 6 deletions
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’ |