diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-21 12:14:46 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-21 12:14:46 +0100 |
| commit | 7095121c528fa81a27405009801855ec62fd8a7c (patch) | |
| tree | 354b728888795b7a0550925d92b0e27bb9e87ac3 /testsuite/tests/typecheck/should_fail | |
| parent | 23f4463f276fea717349b869da3e887f2e4e1bbd (diff) | |
| parent | f3b2ed5a4486427bd31372e0c5d69e58bd5fc985 (diff) | |
| download | haskell-7095121c528fa81a27405009801855ec62fd8a7c.tar.gz | |
Merge with master
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, ['']) |