1 files changed, 0 insertions, 30 deletions
diff --git a/testsuite/tests/ghc-regress/gadt/equal.hs b/testsuite/tests/ghc-regress/gadt/equal.hs
deleted file mode 100644
index b6c0bf572e..0000000000
--- a/testsuite/tests/ghc-regress/gadt/equal.hs
+++ /dev/null
@@ -1,30 +0,0 @@
-{-# LANGUAGE GADTs #-}
-
-module ShouldCompile where
-
-data Rep t where
-  Rint :: Rep Int
-  Rchar :: Rep Char
-  Runit :: Rep ()
-  Rpair :: Rep a -> Rep b -> Rep (a,b)
-  Rsum  :: Rep a -> Rep b -> Rep (Either a b)
-  Rcon  :: String -> Rep t -> Rep t
-
-data Equal a b where
-   Eq :: Equal c c 
-
-test :: Rep a -> Rep b -> Maybe (Equal a b)
-test Rint  Rint  = return Eq
-test Rchar Rchar = return Eq
-test Runit Runit = return Eq
-test (Rpair x y) (Rpair a b)
-  = do { Eq <- test x a; Eq <- test y b; return Eq }
-test (Rsum x y) (Rsum a b)
-  = do { Eq <- test x a; Eq <- test y b; return Eq }
-test (Rcon s1 x) (Rcon s2 y)
-  = if s1==s2 then test x y else Nothing
-test _ _ = Nothing
-
-f :: Equal a b -> a -> b -> b
-f Eq x y = x
-