diff options
author | Paolo Capriotti <p.capriotti@gmail.com> | 2012-09-06 12:14:44 +0100 |
---|---|---|
committer | Paolo Capriotti <p.capriotti@gmail.com> | 2012-09-06 15:42:15 +0100 |
commit | 547913e164d0471b8d1ac1e473b53ff58dd8de0f (patch) | |
tree | 55aff63457f514397c9584e7c401a67e92aeb0ca /testsuite/tests/typecheck/should_fail | |
parent | d3c01e21f902456b93ee16765b7326664a71c31a (diff) | |
download | haskell-547913e164d0471b8d1ac1e473b53ff58dd8de0f.tar.gz |
Add test for #7210.
Diffstat (limited to 'testsuite/tests/typecheck/should_fail')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T7210.hs | 5 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T7210.stderr | 6 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_fail/all.T | 1 |
3 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7210.hs b/testsuite/tests/typecheck/should_fail/T7210.hs new file mode 100644 index 0000000000..3c0a3ffd23 --- /dev/null +++ b/testsuite/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/testsuite/tests/typecheck/should_fail/T7210.stderr b/testsuite/tests/typecheck/should_fail/T7210.stderr new file mode 100644 index 0000000000..d0fbf382cb --- /dev/null +++ b/testsuite/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/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T index 7e6f20893c..a84942fc5a 100644 --- a/testsuite/tests/typecheck/should_fail/all.T +++ b/testsuite/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, ['']) |