T8958.stderr 2.58 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
25 26 27 28
      11173210732975605893##
      6338753504925142034##
      T8958.$trModule
      (GHC.Types.TrNameS "Map"#)
29 30
T8958.$tc'MkMap
  = GHC.Types.TyCon
31 32 33 34
      10702411725744601909##
      8660532495248702786##
      T8958.$trModule
      (GHC.Types.TrNameS "'MkMap"#)
35
T8958.$tcRepresentational
36
  = GHC.Types.TyCon
37 38 39 40 41
      17939208465687456137##
      86959701938445380##
      T8958.$trModule
      (GHC.Types.TrNameS "Representational"#)
T8958.$tc'C:Representational
42
  = GHC.Types.TyCon
43 44 45 46
      6623579006299218188##
      18041743345929230411##
      T8958.$trModule
      (GHC.Types.TrNameS "'C:Representational"#)
47
T8958.$tcNominal
48
  = GHC.Types.TyCon
49 50 51 52 53
      5048799062136959048##
      4899664595355811926##
      T8958.$trModule
      (GHC.Types.TrNameS "Nominal"#)
T8958.$tc'C:Nominal
54
  = GHC.Types.TyCon
55 56 57 58
      13167926310643805202##
      1726092271306256063##
      T8958.$trModule
      (GHC.Types.TrNameS "'C:Nominal"#)
59 60 61
T8958.$trModule
  = GHC.Types.Module
      (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "T8958"#)
62 63
AbsBinds [a] []
  {Exports: [T8958.$fRepresentationala <= $dRepresentational
64
               wrap: <>]
Alan Zimmerman's avatar
Alan Zimmerman committed
65
   Exported types: T8958.$fRepresentationala [InlPrag=CONLIKE]
66
                     :: forall a. Representational a
67
                   [LclIdX[DFunId],
Ben Gamari's avatar
Ben Gamari committed
68
                    Unf=DFun: \ (@ a) -> T8958.C:Representational TYPE: a]
69
   Binds: $dRepresentational = T8958.C:Representational @ a
70
   Evidence: [EvBinds{}]}
71 72
AbsBinds [a] []
  {Exports: [T8958.$fNominala <= $dNominal
73
               wrap: <>]
Alan Zimmerman's avatar
Alan Zimmerman committed
74
   Exported types: T8958.$fNominala [InlPrag=CONLIKE]
75
                     :: forall a. Nominal a
Ben Gamari's avatar
Ben Gamari committed
76
                   [LclIdX[DFunId], Unf=DFun: \ (@ a) -> T8958.C:Nominal TYPE: a]
77
   Binds: $dNominal = T8958.C:Nominal @ a
78
   Evidence: [EvBinds{}]}
79