[commit: testsuite] master: Improved error message (65ac291)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

https://github.com/ghc/testsuite/commit/65ac29117462c8354e9015c2631ba800fb6f40c0

>---------------------------------------------------------------

commit 65ac29117462c8354e9015c2631ba800fb6f40c0
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue May 21 12:31:23 2013 +0100

    Improved error message

>---------------------------------------------------------------

 tests/gadt/gadtSyntaxFail001.stderr |    1 +
 tests/gadt/gadtSyntaxFail002.stderr |    1 +
 tests/gadt/gadtSyntaxFail003.stderr |    1 +
 tests/ghci/scripts/ghci057.stderr   |    2 ++
 4 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/tests/gadt/gadtSyntaxFail001.stderr b/tests/gadt/gadtSyntaxFail001.stderr
index 53b198a..0250c5e 100644
--- a/tests/gadt/gadtSyntaxFail001.stderr
+++ b/tests/gadt/gadtSyntaxFail001.stderr
@@ -1,6 +1,7 @@
 
 gadtSyntaxFail001.hs:8:5:
     Data constructor ‛C2’ has existential type variables, a context, or a specialised result type
+      C2 :: forall a. a -> Char -> Foo a Int
       (Use -XExistentialQuantification or -XGADTs to allow this)
     In the definition of data constructor ‛C2’
     In the data declaration for ‛Foo’
diff --git a/tests/gadt/gadtSyntaxFail002.stderr b/tests/gadt/gadtSyntaxFail002.stderr
index ca1060d..ebfd62d 100644
--- a/tests/gadt/gadtSyntaxFail002.stderr
+++ b/tests/gadt/gadtSyntaxFail002.stderr
@@ -1,6 +1,7 @@
 
 gadtSyntaxFail002.hs:8:5:
     Data constructor ‛C2’ has existential type variables, a context, or a specialised result type
+      C2 :: forall a. a -> Char -> Foo a a
       (Use -XExistentialQuantification or -XGADTs to allow this)
     In the definition of data constructor ‛C2’
     In the data declaration for ‛Foo’
diff --git a/tests/gadt/gadtSyntaxFail003.stderr b/tests/gadt/gadtSyntaxFail003.stderr
index eb2e370..aeed6f7 100644
--- a/tests/gadt/gadtSyntaxFail003.stderr
+++ b/tests/gadt/gadtSyntaxFail003.stderr
@@ -1,6 +1,7 @@
 
 gadtSyntaxFail003.hs:7:5:
     Data constructor ‛C1’ has existential type variables, a context, or a specialised result type
+      C1 :: forall b a c. a -> Int -> c -> Foo b a
       (Use -XExistentialQuantification or -XGADTs to allow this)
     In the definition of data constructor ‛C1’
     In the data declaration for ‛Foo’
diff --git a/tests/ghci/scripts/ghci057.stderr b/tests/ghci/scripts/ghci057.stderr
index 22d0514..0306584 100644
--- a/tests/ghci/scripts/ghci057.stderr
+++ b/tests/ghci/scripts/ghci057.stderr
@@ -6,12 +6,14 @@
 
 ghci057.hs:3:3:
     Data constructor ‛C’ has existential type variables, a context, or a specialised result type
+      C :: T Int
       (Use -XExistentialQuantification or -XGADTs to allow this)
     In the definition of data constructor ‛C’
     In the data declaration for ‛T’
 
 ghci057.hs:3:3:
     Data constructor ‛C’ has existential type variables, a context, or a specialised result type
+      C :: T Int
       (Use -XExistentialQuantification or -XGADTs to allow this)
     In the definition of data constructor ‛C’
     In the data declaration for ‛T’