[commit: testsuite] master: Test Trac #7410 (9e1a4d3)
Simon Peyton Jones <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/9e1a4d354fa1e52b5a2dc12401813e89cfc6d6c9 >--------------------------------------------------------------- commit 9e1a4d354fa1e52b5a2dc12401813e89cfc6d6c9 Author: Simon Peyton Jones <[email protected]> Date: Sun Nov 25 12:40:15 2012 +0000 Test Trac #7410 >--------------------------------------------------------------- tests/typecheck/should_fail/T7410.hs | 4 ++++ tests/typecheck/should_fail/T7410.stderr | 6 ++++++ tests/typecheck/should_fail/all.T | 1 + 3 files changed, 11 insertions(+), 0 deletions(-) diff --git a/tests/typecheck/should_fail/T7410.hs b/tests/typecheck/should_fail/T7410.hs new file mode 100644 index 0000000..e166261 --- /dev/null +++ b/tests/typecheck/should_fail/T7410.hs @@ -0,0 +1,4 @@ +module T7410 where + +foo :: (Either Int, Int) +foo = foo diff --git a/tests/typecheck/should_fail/T7410.stderr b/tests/typecheck/should_fail/T7410.stderr new file mode 100644 index 0000000..8052651 --- /dev/null +++ b/tests/typecheck/should_fail/T7410.stderr @@ -0,0 +1,6 @@ + +T7410.hs:3:9: + Expecting one more argument to `Either Int' + The first argument of a tuple should have kind `*', + but `Either Int' has kind `* -> *' + In the type signature for `foo': foo :: (Either Int, Int) diff --git a/tests/typecheck/should_fail/all.T b/tests/typecheck/should_fail/all.T index 624dd5c..7187d90 100644 --- a/tests/typecheck/should_fail/all.T +++ b/tests/typecheck/should_fail/all.T @@ -287,3 +287,4 @@ test('T7368', normal, compile_fail, ['']) test('T7264', normal, compile_fail, ['']) test('T6069', normal, compile_fail, ['']) test('T7220', normal, compile_fail, ['']) +test('T7410', normal, compile_fail, [''])