Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
https://github.com/ghc/testsuite/commit/65ac29117462c8354e9015c2631ba800fb6f40c0 >--------------------------------------------------------------- commit 65ac29117462c8354e9015c2631ba800fb6f40c0 Author: Simon Peyton Jones <[email protected]> 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â
_______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
