diff options
Diffstat (limited to 'testsuite/tests/ghci/prog006/prog006.stderr')
| -rw-r--r-- | testsuite/tests/ghci/prog006/prog006.stderr | 10 |
1 files changed, 6 insertions, 4 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’ |