testsuite/tests/th/TH_Roles2.stderr


1
2
3
4
5
6
7
8
9
10
11

TYPE SIGNATURES
TYPE CONSTRUCTORS
  type role T representational
  data T (a :: k)
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base, ghc-prim, integer-gmp, pretty-1.1.1.1,
                     template-haskell]

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