Move tests from tests/ghc-regress/* to just tests/*

1 files changed, 22 insertions, 0 deletions

diff --git a/testsuite/tests/indexed-types/should_compile/T2627.hs b/testsuite/tests/indexed-types/should_compile/T2627.hs
new file mode 100644
index 0000000000..6a29d611e5
--- /dev/null
+++ b/testsuite/tests/indexed-types/should_compile/T2627.hs
@@ -0,0 +1,22 @@
+{-# LANGUAGE GADTs, TypeFamilies, EmptyDataDecls #-}
+
+module T2627 where
+
+data R a b
+data W a b
+data Z
+
+type family Dual a
+type instance Dual Z = Z
+type instance Dual (R a b) = W a (Dual b)
+type instance Dual (W a b) = R a (Dual b)
+
+data Comm a where
+    Rd :: (a -> Comm b) -> Comm (R a b)
+    Wr :: a  -> Comm b  -> Comm (W a b)
+    Fin :: Int -> Comm Z
+
+conn :: (Dual a ~ b, Dual b ~ a) => Comm a -> Comm b -> (Int, Int)
+conn (Fin x) (Fin y) = (x,y)
+conn (Rd k) (Wr a r) = conn (k a) r
+conn (Wr a r) (Rd k) = conn r (k a)
\ No newline at end of file