Roles4.stderr 1.26 KB
Newer Older
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
1
TYPE SIGNATURES
2 3
  meth1 :: forall a. C1 a => a -> a
  meth3 :: forall a. C3 a => a -> Syn1 a
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
4
TYPE CONSTRUCTORS
5
  class C1 a where
6
    meth1 :: a -> a
7
    {-# MINIMAL meth1 #-}
8
  class C3 a where
9
    meth3 :: a -> Syn1 a
10
    {-# MINIMAL meth3 #-}
11
  type Syn1 a = [a]
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
12
COERCION AXIOMS
13 14
  axiom Roles4.N:C1 :: C1 a = a -> a -- Defined at Roles4.hs:6:1
  axiom Roles4.N:C3 ::
15
    C3 a = a -> Syn1 a -- Defined at Roles4.hs:11:1
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
16
Dependent modules: []
17
Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
18
                     integer-gmp-1.0.0.1]
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
19 20

==================== Typechecker ====================
21 22
Roles4.$tcC3
  = GHC.Types.TyCon
23 24 25 26 27
      16502190608089501863##
      13971441568961069854##
      Roles4.$trModule
      (GHC.Types.TrNameS "C3"#)
Roles4.$tc'C:C3
28
  = GHC.Types.TyCon
29 30 31 32
      16482122951248115051##
      8497036782794772516##
      Roles4.$trModule
      (GHC.Types.TrNameS "'C:C3"#)
33 34
Roles4.$tcC1
  = GHC.Types.TyCon
35 36 37 38 39
      11951908835899020229##
      6518430686554778113##
      Roles4.$trModule
      (GHC.Types.TrNameS "C1"#)
Roles4.$tc'C:C1
40
  = GHC.Types.TyCon
41 42 43 44
      11393997571952951642##
      4382794907973051606##
      Roles4.$trModule
      (GHC.Types.TrNameS "'C:C1"#)
45 46 47
Roles4.$trModule
  = GHC.Types.Module
      (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles4"#)
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
48