blob: 5375c2c0ebd533e2a19c3284cbad38df1c58a159 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE AutoDeriveTypeable #-}
{-# LANGUAGE TypeFamilies #-}
module T7710 where
import Data.Typeable
type T = Int
type family F a
type instance F Int = Int
data family D a
data instance D Int = DInt
data instance D Float = DFloat
test = [ typeRep ([] :: [T])
, typeRep ([] :: [F Int])
, typeRep (Proxy :: Proxy D)
, typeRep ([] :: [D Int]) ]
|
