T8958.stderr 1.53 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14

T8958.hs:1:31: Warning:
    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
TYPE SIGNATURES
TYPE CONSTRUCTORS
  type role Map nominal representational
  newtype (Nominal k, Representational v) => Map k v = MkMap [(k, v)]
    Promotable
  class Nominal a
  type role Representational representational
  class Representational a
COERCION AXIOMS
  axiom T8958.NTCo:Map :: Map k v = [(k, v)]
INSTANCES
15
  instance [incoherent] Nominal a -- Defined at T8958.hs:7:10
16 17 18
  instance [incoherent] Representational a
    -- Defined at T8958.hs:10:10
Dependent modules: []
19 20
Dependent packages: [base-4.7.1.0, ghc-prim-0.3.1.0,
                     integer-gmp-0.5.1.0]
21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41

==================== Typechecker ====================
AbsBinds [a] []
  {Exports: [T8958.$fRepresentationala <= $dRepresentational
               <>]
   Exported types: T8958.$fRepresentationala [InlPrag=[ALWAYS] CONLIKE]
                     :: forall a. Representational a
                   [LclIdX[DFunId],
                    Str=DmdType,
                    Unf=DFun: \ (@ a) -> T8958.D:Representational TYPE a]
   Binds: $dRepresentational = T8958.D:Representational}
AbsBinds [a] []
  {Exports: [T8958.$fNominala <= $dNominal
               <>]
   Exported types: T8958.$fNominala [InlPrag=[ALWAYS] CONLIKE]
                     :: forall a. Nominal a
                   [LclIdX[DFunId],
                    Str=DmdType,
                    Unf=DFun: \ (@ a) -> T8958.D:Nominal TYPE a]
   Binds: $dNominal = T8958.D:Nominal}