Roles1.stderr 1.58 KB
Newer Older
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
1 2 3
TYPE SIGNATURES
TYPE CONSTRUCTORS
  T1 :: * -> *
4
  data T1 a
5 6 7 8 9
    No C type associated
    Roles: [nominal]
    RecFlag NonRecursive, Promotable
    = K1 :: forall a. a -> T1 a Stricts: _
    FamilyInstance: none
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
10
  T2 :: * -> *
11
  data T2 a
12 13 14 15 16
    No C type associated
    Roles: [representational]
    RecFlag NonRecursive, Promotable
    = K2 :: forall a. a -> T2 a Stricts: _
    FamilyInstance: none
17
  T3 :: k -> *
18
  data T3 (k::BOX) (a::k)
19 20 21 22 23
    No C type associated
    Roles: [nominal, phantom]
    RecFlag NonRecursive, Not promotable
    = K3 :: forall (k::BOX) (a::k). T3 k a
    FamilyInstance: none
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
24
  T4 :: (* -> *) -> * -> *
25
  data T4 (a::* -> *) b
26 27 28 29 30
    No C type associated
    Roles: [nominal, nominal]
    RecFlag NonRecursive, Not promotable
    = K4 :: forall (a::* -> *) b. (a b) -> T4 a b Stricts: _
    FamilyInstance: none
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
31
  T5 :: * -> *
32
  data T5 a
33 34 35 36 37
    No C type associated
    Roles: [representational]
    RecFlag NonRecursive, Promotable
    = K5 :: forall a. a -> T5 a Stricts: _
    FamilyInstance: none
38
  T6 :: k -> *
39
  data T6 (k::BOX) (a::k)
40 41 42 43 44
    No C type associated
    Roles: [nominal, phantom]
    RecFlag NonRecursive, Not promotable
    = K6 :: forall (k::BOX) (a::k). T6 k a
    FamilyInstance: none
45
  T7 :: k -> * -> *
46
  data T7 (k::BOX) (a::k) b
47 48 49 50 51
    No C type associated
    Roles: [nominal, phantom, representational]
    RecFlag NonRecursive, Not promotable
    = K7 :: forall (k::BOX) (a::k) b. b -> T7 k a b Stricts: _
    FamilyInstance: none
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
52 53 54 55 56 57
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base, ghc-prim, integer-gmp]

==================== Typechecker ====================