testsuite/tests/th/TH_Roles2.stderr

   1 TYPE SIGNATURES
   2 TYPE CONSTRUCTORS
   3   type role T representational
   4   data T (a :: k)
   5 COERCION AXIOMS
   6 Dependent modules: []
   7 Dependent packages: [array-0.5.1.0, base-4.9.0.0, deepseq-1.4.1.1,
   8                      ghc-boot-0.0.0.0, ghc-prim-0.5.0.0, integer-gmp-1.0.0.0,
   9                      pretty-1.1.2.0, template-haskell-2.11.0.0]
  10
  11 ==================== Typechecker ====================
  12 TH_Roles2.$tcT
  13   = TyCon
  14       6325001754388382679##
  15       4656387726417942748##
  16       TH_Roles2.$trModule
  17       (TrNameS "T"#)
  18 TH_Roles2.$trModule
  19   = Module (TrNameS "main"#) (TrNameS "TH_Roles2"#)
  20