Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/76e428ce253fc9a17fa8ebf32310ed88849a7722 >--------------------------------------------------------------- commit 76e428ce253fc9a17fa8ebf32310ed88849a7722 Author: Simon Peyton Jones <[email protected]> Date: Fri Oct 21 16:54:24 2011 +0100 Test Trac #5533 >--------------------------------------------------------------- tests/rename/should_fail/T5533.hs | 6 ++++++ tests/rename/should_fail/T5533.stderr | 4 ++++ tests/rename/should_fail/all.T | 1 + 3 files changed, 11 insertions(+), 0 deletions(-) diff --git a/tests/rename/should_fail/T5533.hs b/tests/rename/should_fail/T5533.hs new file mode 100644 index 0000000..21646f4 --- /dev/null +++ b/tests/rename/should_fail/T5533.hs @@ -0,0 +1,6 @@ +module T5533 where + +data T a = CT {f1 :: Int -> a, f2 :: Double} +f2 :: Int -> Double +g x = CT {f1 = \t -> f2 t + x, f2 = x} + diff --git a/tests/rename/should_fail/T5533.stderr b/tests/rename/should_fail/T5533.stderr new file mode 100644 index 0000000..b462851 --- /dev/null +++ b/tests/rename/should_fail/T5533.stderr @@ -0,0 +1,4 @@ + +T5533.hs:4:1: + The type signature for `f2' lacks an accompanying binding + (You cannot give a type signature for a record selector or class method) diff --git a/tests/rename/should_fail/all.T b/tests/rename/should_fail/all.T index 5981982..ef7f857 100644 --- a/tests/rename/should_fail/all.T +++ b/tests/rename/should_fail/all.T @@ -92,4 +92,5 @@ test('T5385', multimod_compile_fail, ['T5385','-v0']) test('T5513', normal, compile_fail, ['']) +test('T5533', normal, compile_fail, ['']) test('Misplaced', normal, compile_fail, ['']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
