[commit: testsuite] master: Add test for #7210. (6834460)

Paolo Capriotti <[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/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, [''])
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.