Roles2.stderr 574 Bytes
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: [representational]
    RecFlag NonRecursive, Not promotable
    = K1 :: forall a. (IO 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, Not promotable
    = K2 :: forall a. (FunPtr a) -> T2 a Stricts: _
    FamilyInstance: none
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
17 18 19 20 21 22
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base, ghc-prim, integer-gmp]

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