[commit: ghc] master: Add (broken) test for #12063. (9dd0481)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/9dd04810b2ed51a5a4db9356858b7233329d6a45/ghc

>---------------------------------------------------------------

commit 9dd04810b2ed51a5a4db9356858b7233329d6a45
Author: Edward Z. Yang <ezyang at cs.stanford.edu>
Date:   Sun May 15 16:29:35 2016 -0700

    Add (broken) test for #12063.
    
    Signed-off-by: Edward Z. Yang <ezyang at cs.stanford.edu>
    
    Test Plan: validate
    
    Reviewers: austin, bgamari
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D2222
    
    GHC Trac Issues: #12063


>---------------------------------------------------------------

9dd04810b2ed51a5a4db9356858b7233329d6a45
 testsuite/tests/typecheck/should_fail/T12063.hs      | 4 ++++
 testsuite/tests/typecheck/should_fail/T12063.hs-boot | 2 ++
 testsuite/tests/typecheck/should_fail/T12063a.hs     | 3 +++
 testsuite/tests/typecheck/should_fail/all.T          | 2 ++
 4 files changed, 11 insertions(+)

diff --git a/testsuite/tests/typecheck/should_fail/T12063.hs b/testsuite/tests/typecheck/should_fail/T12063.hs
new file mode 100644
index 0000000..548dd4e
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/T12063.hs
@@ -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
index 0000000..f740af2
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/T12063.hs-boot
@@ -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
index 0000000..f622acf
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/T12063a.hs
@@ -0,0 +1,3 @@
+module T12063a where
+import {-# SOURCE #-} T12063
+type S = T
diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T
index 6519768..bfae69b 100644
--- a/testsuite/tests/typecheck/should_fail/all.T
+++ b/testsuite/tests/typecheck/should_fail/all.T
@@ -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'])