Roles14.stderr 335 Bytes
Newer Older
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
1 2
TYPE SIGNATURES
TYPE CONSTRUCTORS
3 4
  type role C2 representational
  class C2 a where
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
5 6 7 8
    meth2 :: a -> a
COERCION AXIOMS
  axiom Roles12.NTCo:C2 :: C2 a = a -> a
Dependent modules: []
9
Dependent packages: [base-4.8.1.0, ghc-prim-0.4.0.0,
10
                     integer-gmp-1.0.0.0]
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
11 12 13

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