T8958.stderr 3.76 KB
Newer Older
1

2
T8958.hs:1:31: warning:
3 4
    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
TYPE SIGNATURES
5
  T8958.MkMap :: forall k v. [(k, v)] -> Map k v
6 7 8 9 10 11 12
TYPE CONSTRUCTORS
  type role Map nominal representational
  newtype (Nominal k, Representational v) => Map k v = MkMap [(k, v)]
  class Nominal a
  type role Representational representational
  class Representational a
COERCION AXIOMS
13
  axiom T8958.N:Map :: Map k v = [(k, v)] -- Defined at T8958.hs:13:1
14 15 16
INSTANCES
  instance [incoherent] Representational a
    -- Defined at T8958.hs:10:10
17
  instance [incoherent] Nominal a -- Defined at T8958.hs:7:10
18
Dependent modules: []
Ben Gamari's avatar
Ben Gamari committed
19
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
20
                     integer-gmp-1.0.0.1]
21 22

==================== Typechecker ====================
23 24
T8958.$tcMap
  = GHC.Types.TyCon
Ben Gamari's avatar
Ben Gamari committed
25 26
      16542473435673943392##
      5374201132143305512##
27 28
      T8958.$trModule
      (GHC.Types.TrNameS "Map"#)
Ben Gamari's avatar
Ben Gamari committed
29
      0
30
      GHC.Types.krep$*->*->*
31 32
T8958.$tc'MkMap
  = GHC.Types.TyCon
Ben Gamari's avatar
Ben Gamari committed
33 34
      2942839876828444488##
      3989137838066763457##
35 36
      T8958.$trModule
      (GHC.Types.TrNameS "'MkMap"#)
Ben Gamari's avatar
Ben Gamari committed
37
      2
38
      $krep
39
T8958.$tcRepresentational
40
  = GHC.Types.TyCon
Ben Gamari's avatar
Ben Gamari committed
41 42
      12809567151893673426##
      12159693688248149156##
43 44
      T8958.$trModule
      (GHC.Types.TrNameS "Representational"#)
Ben Gamari's avatar
Ben Gamari committed
45
      0
Ben Gamari's avatar
Ben Gamari committed
46
      $krep
47
T8958.$tc'C:Representational
48
  = GHC.Types.TyCon
Ben Gamari's avatar
Ben Gamari committed
49 50
      2358772282532242424##
      5444038897914446879##
51 52
      T8958.$trModule
      (GHC.Types.TrNameS "'C:Representational"#)
Ben Gamari's avatar
Ben Gamari committed
53
      1
54
      $krep
55
T8958.$tcNominal
56
  = GHC.Types.TyCon
Ben Gamari's avatar
Ben Gamari committed
57 58
      12224997609886144634##
      9866011944332051160##
59 60
      T8958.$trModule
      (GHC.Types.TrNameS "Nominal"#)
Ben Gamari's avatar
Ben Gamari committed
61
      0
Ben Gamari's avatar
Ben Gamari committed
62
      $krep
63
T8958.$tc'C:Nominal
64
  = GHC.Types.TyCon
Ben Gamari's avatar
Ben Gamari committed
65 66
      10562260635335201742##
      1215478186250709459##
67 68
      T8958.$trModule
      (GHC.Types.TrNameS "'C:Nominal"#)
Ben Gamari's avatar
Ben Gamari committed
69
      1
70
      $krep
Ben Gamari's avatar
Ben Gamari committed
71 72 73
$krep [InlPrag=[~]] = GHC.Types.KindRepVar 0
$krep [InlPrag=[~]] = GHC.Types.KindRepVar 1
$krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep
Ben Gamari's avatar
Ben Gamari committed
74
$krep [InlPrag=[~]] = GHC.Types.KindRepFun GHC.Types.krep$* $krep
75
$krep [InlPrag=[~]]
Ben Gamari's avatar
Ben Gamari committed
76
  = GHC.Types.KindRepTyConApp
Ben Gamari's avatar
Ben Gamari committed
77 78 79 80 81 82
      GHC.Tuple.$tc(,)
      ((:) @ GHC.Types.KindRep
         $krep ((:) @ GHC.Types.KindRep $krep [] @ GHC.Types.KindRep))
$krep [InlPrag=[~]]
  = GHC.Types.KindRepTyConApp
      T8958.$tcMap
Ben Gamari's avatar
Ben Gamari committed
83
      ((:) @ GHC.Types.KindRep
Ben Gamari's avatar
Ben Gamari committed
84 85 86 87 88
         $krep ((:) @ GHC.Types.KindRep $krep [] @ GHC.Types.KindRep))
$krep [InlPrag=[~]]
  = GHC.Types.KindRepTyConApp
      GHC.Types.$tc[]
      ((:) @ GHC.Types.KindRep $krep [] @ GHC.Types.KindRep)
Ben Gamari's avatar
Ben Gamari committed
89 90 91
$krep [InlPrag=[~]]
  = GHC.Types.KindRepTyConApp
      GHC.Types.$tcConstraint [] @ GHC.Types.KindRep
Ben Gamari's avatar
Ben Gamari committed
92 93 94 95 96 97 98 99
$krep [InlPrag=[~]]
  = GHC.Types.KindRepTyConApp
      T8958.$tcRepresentational
      ((:) @ GHC.Types.KindRep $krep [] @ GHC.Types.KindRep)
$krep [InlPrag=[~]]
  = GHC.Types.KindRepTyConApp
      T8958.$tcNominal
      ((:) @ GHC.Types.KindRep $krep [] @ GHC.Types.KindRep)
100 101 102
T8958.$trModule
  = GHC.Types.Module
      (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "T8958"#)
103 104
AbsBinds [a] []
  {Exports: [T8958.$fRepresentationala <= $dRepresentational
105
               wrap: <>]
Alan Zimmerman's avatar
Alan Zimmerman committed
106
   Exported types: T8958.$fRepresentationala [InlPrag=CONLIKE]
107
                     :: forall a. Representational a
108
                   [LclIdX[DFunId],
Ben Gamari's avatar
Ben Gamari committed
109
                    Unf=DFun: \ (@ a) -> T8958.C:Representational TYPE: a]
110
   Binds: $dRepresentational = T8958.C:Representational @ a
111
   Evidence: [EvBinds{}]}
112 113
AbsBinds [a] []
  {Exports: [T8958.$fNominala <= $dNominal
114
               wrap: <>]
Alan Zimmerman's avatar
Alan Zimmerman committed
115
   Exported types: T8958.$fNominala [InlPrag=CONLIKE]
116
                     :: forall a. Nominal a
Ben Gamari's avatar
Ben Gamari committed
117
                   [LclIdX[DFunId], Unf=DFun: \ (@ a) -> T8958.C:Nominal TYPE: a]
118
   Binds: $dNominal = T8958.C:Nominal @ a
119
   Evidence: [EvBinds{}]}
120