diff options
Diffstat (limited to 'testsuite')
-rw-r--r-- | testsuite/tests/driver/T13803/D.hs | 5 | ||||
-rw-r--r-- | testsuite/tests/driver/T13803/E.hs | 11 | ||||
-rw-r--r-- | testsuite/tests/driver/T13803/E.hs-boot | 1 | ||||
-rw-r--r-- | testsuite/tests/driver/T13803/Makefile | 6 | ||||
-rw-r--r-- | testsuite/tests/driver/T13803/T13803.stdout | 5 | ||||
-rw-r--r-- | testsuite/tests/driver/T13803/Y.hs | 6 | ||||
-rw-r--r-- | testsuite/tests/driver/T13803/Y.hs-boot | 3 | ||||
-rw-r--r-- | testsuite/tests/driver/T13803/all.T | 4 |
8 files changed, 41 insertions, 0 deletions
diff --git a/testsuite/tests/driver/T13803/D.hs b/testsuite/tests/driver/T13803/D.hs new file mode 100644 index 0000000000..839f115953 --- /dev/null +++ b/testsuite/tests/driver/T13803/D.hs @@ -0,0 +1,5 @@ +{-# LANGUAGE TypeFamilies #-} +module D (D) where + +type family D a +type instance D Int = Int diff --git a/testsuite/tests/driver/T13803/E.hs b/testsuite/tests/driver/T13803/E.hs new file mode 100644 index 0000000000..2ae1908e34 --- /dev/null +++ b/testsuite/tests/driver/T13803/E.hs @@ -0,0 +1,11 @@ +{-# LANGUAGE ConstraintKinds #-} +{-# LANGUAGE TypeFamilies #-} +module E where + +import GHC.Exts (Constraint) +import {-# SOURCE #-} Y + +data E + +type family CF a :: * -> Constraint +type instance CF E = Y diff --git a/testsuite/tests/driver/T13803/E.hs-boot b/testsuite/tests/driver/T13803/E.hs-boot new file mode 100644 index 0000000000..858a5ef617 --- /dev/null +++ b/testsuite/tests/driver/T13803/E.hs-boot @@ -0,0 +1 @@ +module E where diff --git a/testsuite/tests/driver/T13803/Makefile b/testsuite/tests/driver/T13803/Makefile new file mode 100644 index 0000000000..4a18296cc2 --- /dev/null +++ b/testsuite/tests/driver/T13803/Makefile @@ -0,0 +1,6 @@ +TOP=../../.. +include $(TOP)/mk/boilerplate.mk +include $(TOP)/mk/test.mk + +T13803: + '$(TEST_HC)' $(TEST_HC_OPTS) --make Y.hs diff --git a/testsuite/tests/driver/T13803/T13803.stdout b/testsuite/tests/driver/T13803/T13803.stdout new file mode 100644 index 0000000000..bab4a55099 --- /dev/null +++ b/testsuite/tests/driver/T13803/T13803.stdout @@ -0,0 +1,5 @@ +[1 of 5] Compiling D ( D.hs, D.o ) +[2 of 5] Compiling E[boot] ( E.hs-boot, E.o-boot ) +[3 of 5] Compiling Y[boot] ( Y.hs-boot, Y.o-boot ) +[4 of 5] Compiling E ( E.hs, E.o ) +[5 of 5] Compiling Y ( Y.hs, Y.o ) diff --git a/testsuite/tests/driver/T13803/Y.hs b/testsuite/tests/driver/T13803/Y.hs new file mode 100644 index 0000000000..c1bf116b0b --- /dev/null +++ b/testsuite/tests/driver/T13803/Y.hs @@ -0,0 +1,6 @@ +module Y where + +import D () +import {-# SOURCE #-} E + +class Y o diff --git a/testsuite/tests/driver/T13803/Y.hs-boot b/testsuite/tests/driver/T13803/Y.hs-boot new file mode 100644 index 0000000000..42737ccb93 --- /dev/null +++ b/testsuite/tests/driver/T13803/Y.hs-boot @@ -0,0 +1,3 @@ +module Y where + +class Y o diff --git a/testsuite/tests/driver/T13803/all.T b/testsuite/tests/driver/T13803/all.T new file mode 100644 index 0000000000..bfd720cae9 --- /dev/null +++ b/testsuite/tests/driver/T13803/all.T @@ -0,0 +1,4 @@ +test('T13803', + [extra_files(['D.hs', 'E.hs-boot', 'E.hs', 'Y.hs', 'Y.hs-boot'])], + run_command, + ['$MAKE -s --no-print-directory T13803']) |