Commit 37a94b7c authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #3965

parent 54e9d20f
{-# 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)
......@@ -20,6 +20,8 @@ test('T2378', normal, compile, [''])
test('T2856', normal, compile, [''])
test('T3057', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
test('T3012', normal, compile, [''])
test('T3965', normal, compile, [''])
if_compiler_lt('ghc', '6.11', expect_fail),
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment