summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/deriving/should_compile/T3965.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghc-regress/deriving/should_compile/T3965.hs')
-rw-r--r--testsuite/tests/ghc-regress/deriving/should_compile/T3965.hs23
1 files changed, 0 insertions, 23 deletions
diff --git a/testsuite/tests/ghc-regress/deriving/should_compile/T3965.hs b/testsuite/tests/ghc-regress/deriving/should_compile/T3965.hs
deleted file mode 100644
index 2ccaaadfdf..0000000000
--- a/testsuite/tests/ghc-regress/deriving/should_compile/T3965.hs
+++ /dev/null
@@ -1,23 +0,0 @@
-{-# LANGUAGE DeriveDataTypeable, FlexibleContexts, StandaloneDeriving, TypeOperators, UndecidableInstances #-}
-module T3965 where
-
-import Data.Data
-
-data T f e = Inl (f e) deriving (Data, Eq)
-
-instance (Typeable1 f) => Typeable1 (T f) where
- typeOf1 _ = error "urk"
-
-newtype Expr f = In (f (Expr f))
-instance Typeable1 f => Typeable (Expr f) where
- typeOf _ = error "urk"
-
-deriving instance (Typeable1 a, Data (a (Expr a))) => Data (Expr a)
-
-data Var e = Var String deriving (Data, Eq, Typeable)
-
-data Domain e g = Domain
- (Expr (T Var))
- deriving (Data, Typeable)
-
-