Add (broken) test for #12063.
authorEdward Z. Yang <ezyang@cs.stanford.edu>
Sun, 15 May 2016 23:29:35 +0000 (16:29 -0700)
committerBen Gamari <ben@smart-cactus.org>
Wed, 18 May 2016 20:02:22 +0000 (22:02 +0200)
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Test Plan: validate

Reviewers: austin, bgamari

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D2222

GHC Trac Issues: #12063

testsuite/tests/typecheck/should_fail/T12063.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/T12063.hs-boot [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/T12063a.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/all.T

diff --git a/testsuite/tests/typecheck/should_fail/T12063.hs b/testsuite/tests/typecheck/should_fail/T12063.hs
new file mode 100644 (file)
index 0000000..548dd4e
--- /dev/null
@@ -0,0 +1,4 @@
+module T12063 where
+import T12063a
+x :: S
+x = undefined
diff --git a/testsuite/tests/typecheck/should_fail/T12063.hs-boot b/testsuite/tests/typecheck/should_fail/T12063.hs-boot
new file mode 100644 (file)
index 0000000..f740af2
--- /dev/null
@@ -0,0 +1,2 @@
+module T12063 where
+data T
diff --git a/testsuite/tests/typecheck/should_fail/T12063a.hs b/testsuite/tests/typecheck/should_fail/T12063a.hs
new file mode 100644 (file)
index 0000000..f622acf
--- /dev/null
@@ -0,0 +1,3 @@
+module T12063a where
+import {-# SOURCE #-} T12063
+type S = T
index 6519768..bfae69b 100644 (file)
@@ -418,3 +418,5 @@ test('T11947a', normal, compile_fail, [''])
 test('T11948', normal, compile_fail, [''])
 test('T11990a', normal, compile_fail, [''])
 test('T11990b', normal, compile_fail, [''])
+test('T12063', [ expect_broken(12063), extra_clean(['T12063.hi-boot', 'T12063.o-boot', 'T12063a.hi', 'T12063a.o']) ],
+     multimod_compile_fail, ['T12063', '-v0'])