diff options
7 files changed, 30 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T14128.hs b/testsuite/tests/typecheck/should_compile/T14128.hs new file mode 100644 index 0000000000..a1159c6da7 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T14128.hs @@ -0,0 +1,7 @@ +module T14128 where + +import T14128Type +import {-# SOURCE #-} T14128a + +instance Show AType where + show AType = "hello" diff --git a/testsuite/tests/typecheck/should_compile/T14128.hs-boot b/testsuite/tests/typecheck/should_compile/T14128.hs-boot new file mode 100644 index 0000000000..27ef36afdb --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T14128.hs-boot @@ -0,0 +1,5 @@ +module T14128 where + +import T14128Type + +instance Show AType diff --git a/testsuite/tests/typecheck/should_compile/T14128Main.hs b/testsuite/tests/typecheck/should_compile/T14128Main.hs new file mode 100644 index 0000000000..9407606c1d --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T14128Main.hs @@ -0,0 +1,10 @@ +module T14128Main where + +import T14128 + +-- Overview: +-- * T14128Main is imports T14128 +-- * T14128Type defines datatype MyType +-- * T14128 has a boot file and defines a orphan Show instance; it SOURCE +-- imports T14128 +-- * T14128a has a boot file which SOURCE imports T14128 diff --git a/testsuite/tests/typecheck/should_compile/T14128Type.hs b/testsuite/tests/typecheck/should_compile/T14128Type.hs new file mode 100644 index 0000000000..f64ec4853f --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T14128Type.hs @@ -0,0 +1,3 @@ +module T14128Type where + +data AType = AType diff --git a/testsuite/tests/typecheck/should_compile/T14128a.hs b/testsuite/tests/typecheck/should_compile/T14128a.hs new file mode 100644 index 0000000000..a93b2fe4b8 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T14128a.hs @@ -0,0 +1 @@ +module T14128a where diff --git a/testsuite/tests/typecheck/should_compile/T14128a.hs-boot b/testsuite/tests/typecheck/should_compile/T14128a.hs-boot new file mode 100644 index 0000000000..e38681a22c --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T14128a.hs-boot @@ -0,0 +1,3 @@ +module T14128a where + +import {-# SOURCE #-} T14128 diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index b929195c16..fde7bae8d2 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -571,5 +571,6 @@ test('T13881', normal, compile, ['']) test('T13915a', normal, multimod_compile, ['T13915a', '-v0']) test('T13915b', normal, compile, ['']) test('T13984', normal, compile, ['']) +test('T14128', normal, multimod_compile, ['T14128Main', '-v0']) test('T14149', normal, compile, ['']) test('T14154', normal, compile, ['']) |