diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/generics/GEq/Main.hs')
| -rw-r--r-- | testsuite/tests/ghc-regress/generics/GEq/Main.hs | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/testsuite/tests/ghc-regress/generics/GEq/Main.hs b/testsuite/tests/ghc-regress/generics/GEq/Main.hs deleted file mode 100644 index 7cb9f95b85..0000000000 --- a/testsuite/tests/ghc-regress/generics/GEq/Main.hs +++ /dev/null @@ -1,31 +0,0 @@ -{-# LANGUAGE TypeOperators, Generics #-} - -module Main where - -import GHC.Generics hiding (C, D) -import GEq - --- We should be able to generate a generic representation for these types - -data C = C0 | C1 - -data D a = D0 | D1 { d11 :: a, d12 :: (D a) } - --- Example values -c0 = C0 -c1 = C1 - -d0 :: D Char -d0 = D0 -d1 = D1 'p' D0 - --- Generic instances -instance GEq C -instance (GEq a) => GEq (D a) - --- Tests -teq0 = geq c0 c1 -teq1 = geq d0 d1 -teq2 = geq d0 d0 - -main = mapM_ print [teq0, teq1, teq2] |