Bump ghc-prim version to 0.5.0.0 (closes #11043)
[ghc.git] / testsuite / tests / roles / should_compile / T8958.stderr
1
2 T8958.hs:1:31: warning:
3     -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
4 TYPE SIGNATURES
5 TYPE CONSTRUCTORS
6   type role Map nominal representational
7   newtype (Nominal k, Representational v) => Map k v = MkMap [(k, v)]
8     Promotable
9   class Nominal a
10   type role Representational representational
11   class Representational a
12 COERCION AXIOMS
13   axiom T8958.NTCo:Map :: Map k v = [(k, v)]
14 INSTANCES
15   instance [incoherent] Nominal a -- Defined at T8958.hs:7:10
16   instance [incoherent] Representational a
17     -- Defined at T8958.hs:10:10
18 Dependent modules: []
19 Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
20                      integer-gmp-1.0.0.0]
21
22 ==================== Typechecker ====================
23 T8958.$tcMap = TyCon 0## 0## T8958.$trModule (TrNameS "Map"#)
24 T8958.$tc'MkMap = TyCon 0## 0## T8958.$trModule (TrNameS "'MkMap"#)
25 T8958.$tcRepresentational
26   = TyCon 0## 0## T8958.$trModule (TrNameS "Representational"#)
27 T8958.$tcNominal
28   = TyCon 0## 0## T8958.$trModule (TrNameS "Nominal"#)
29 T8958.$trModule = Module (TrNameS "main"#) (TrNameS "T8958"#)
30 AbsBinds [a] []
31   {Exports: [T8958.$fRepresentationala <= $dRepresentational
32                <>]
33    Exported types: T8958.$fRepresentationala
34                      :: forall a. Representational a
35                    [LclIdX[DFunId], Str=DmdType]
36    Binds: $dRepresentational = T8958.D:Representational}
37 AbsBinds [a] []
38   {Exports: [T8958.$fNominala <= $dNominal
39                <>]
40    Exported types: T8958.$fNominala :: forall a. Nominal a
41                    [LclIdX[DFunId], Str=DmdType]
42    Binds: $dNominal = T8958.D:Nominal}
43