Mark AutoDeriveTypeable as deprecated
[ghc.git] / testsuite / tests / deriving / should_compile / T7710.hs
1 {-# LANGUAGE DeriveDataTypeable #-}
2 {-# LANGUAGE TypeSynonymInstances #-}
3 {-# LANGUAGE TypeFamilies #-}
4
5 module T7710 where
6
7 import Data.Typeable
8
9
10 type T = Int
11 type family F a
12 type instance F Int = Int
13 data family D a
14 data instance D Int = DInt
15 data instance D Float = DFloat
16
17 test = [ typeRep ([] :: [T])
18 , typeRep ([] :: [F Int])
19 , typeRep (Proxy :: Proxy D)
20 , typeRep ([] :: [D Int]) ]