summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/indexed-types/should_compile/T2627.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghc-regress/indexed-types/should_compile/T2627.hs')
-rw-r--r--testsuite/tests/ghc-regress/indexed-types/should_compile/T2627.hs22
1 files changed, 0 insertions, 22 deletions
diff --git a/testsuite/tests/ghc-regress/indexed-types/should_compile/T2627.hs b/testsuite/tests/ghc-regress/indexed-types/should_compile/T2627.hs
deleted file mode 100644
index 6a29d611e5..0000000000
--- a/testsuite/tests/ghc-regress/indexed-types/should_compile/T2627.hs
+++ /dev/null
@@ -1,22 +0,0 @@
-{-# 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