diff options
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.hs | 22 |
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 |