Roles1.stderr 578 Bytes
Newer Older
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
1 2
TYPE SIGNATURES
TYPE CONSTRUCTORS
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
  type role T1 nominal
  data T1 a = K1 a
    Promotable
  data T2 a = K2 a
    Promotable
  type role T3 phantom
  data T3 (a :: k) = K3
  type role T4 nominal nominal
  data T4 (a :: * -> *) b = K4 (a b)
  data T5 a = K5 a
    Promotable
  type role T6 phantom
  data T6 (a :: k) = K6
  type role T7 phantom representational
  data T7 (a :: k) b = K7 b
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
18 19
COERCION AXIOMS
Dependent modules: []
20 21
Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                     integer-gmp-1.0.0.0]
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
22 23 24

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