Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/683446010ea2e9b9090fb991eff99bbc7e3da2f6 >--------------------------------------------------------------- commit 683446010ea2e9b9090fb991eff99bbc7e3da2f6 Author: Paolo Capriotti <[email protected]> Date: Thu Sep 6 12:14:44 2012 +0100 Add test for #7210. >--------------------------------------------------------------- tests/typecheck/should_fail/T7210.hs | 5 +++++ tests/typecheck/should_fail/T7210.stderr | 6 ++++++ tests/typecheck/should_fail/all.T | 1 + 3 files changed, 12 insertions(+), 0 deletions(-) diff --git a/tests/typecheck/should_fail/T7210.hs b/tests/typecheck/should_fail/T7210.hs new file mode 100644 index 0000000..3c0a3ff --- /dev/null +++ b/tests/typecheck/should_fail/T7210.hs @@ -0,0 +1,5 @@ +module T7210 where + +import Data.IntMap + +data T = C { f :: !IntMap Int } diff --git a/tests/typecheck/should_fail/T7210.stderr b/tests/typecheck/should_fail/T7210.stderr new file mode 100644 index 0000000..d0fbf38 --- /dev/null +++ b/tests/typecheck/should_fail/T7210.stderr @@ -0,0 +1,6 @@ + +T7210.hs:5:19: + Unexpected strictness annotation: !IntMap + In the type `!IntMap Int' + In the definition of data constructor `C' + In the data declaration for `T' diff --git a/tests/typecheck/should_fail/all.T b/tests/typecheck/should_fail/all.T index 7e6f208..a84942f 100644 --- a/tests/typecheck/should_fail/all.T +++ b/tests/typecheck/should_fail/all.T @@ -281,3 +281,4 @@ test('T5978', normal, compile_fail, ['']) test('TcMultiWayIfFail', if_compiler_lt('ghc', '7.5', skip), compile_fail, ['']) test('T2534', normal, compile_fail, ['']) test('T7175', normal, compile_fail, ['']) +test('T7210', normal, compile_fail, ['']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
