TH_Roles2.stderr 368 Bytes
Newer Older
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
1 2
TYPE SIGNATURES
TYPE CONSTRUCTORS
3 4
  type role T representational
  data T (a :: k)
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
5 6
COERCION AXIOMS
Dependent modules: []
7
Dependent packages: [array-0.5.1.0, base-4.8.1.0, deepseq-1.4.1.1,
8
                     ghc-prim-0.3.1.0, integer-gmp-1.0.0.0, pretty-1.1.2.0,
9
                     template-haskell-2.10.0.0]
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
10 11 12

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