Roles2.stderr 612 Bytes
Newer Older
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
1 2
TYPE SIGNATURES
TYPE CONSTRUCTORS
3
  data T1 a = K1 (IO a)
4
  type role T2 phantom
5
  data T2 a = K2 (FunPtr a)
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
6 7
COERCION AXIOMS
Dependent modules: []
8
Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
9
                     integer-gmp-1.0.0.0]
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
10 11

==================== Typechecker ====================
12 13 14 15 16 17 18 19 20 21 22 23 24
Roles2.$tcT2
  = TyCon
      5934726586329293381##
      1923031187495159753##
      Roles2.$trModule
      (TrNameS "T2"#)
Roles2.$tcT1
  = TyCon
      13879106829711353992##
      15151456821588362072##
      Roles2.$trModule
      (TrNameS "T1"#)
Roles2.$trModule = Module (TrNameS "main"#) (TrNameS "Roles2"#)
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
25