fd5461821f1d69c76e24be0b779f0a0e5d99e089
[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     Kind: * -> * -> *
9   class Nominal a
10   type role Representational representational
11   class Representational a
12 COERCION AXIOMS
13   axiom T8958.NTCo:Map ::
14     Map k v = [(k, v)] -- Defined at T8958.hs:13:1
15 INSTANCES
16   instance [incoherent] Nominal a -- Defined at T8958.hs:7:10
17   instance [incoherent] Representational a
18     -- Defined at T8958.hs:10:10
19 Dependent modules: []
20 Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
21                      integer-gmp-1.0.0.0]
22
23 ==================== Typechecker ====================
24 T8958.$tcMap
25   = GHC.Types.TyCon
26       0## 0## T8958.$trModule (GHC.Types.TrNameS "Map"#)
27 T8958.$tc'MkMap
28   = GHC.Types.TyCon
29       0## 0## T8958.$trModule (GHC.Types.TrNameS "'MkMap"#)
30 T8958.$tcRepresentational
31   = GHC.Types.TyCon
32       0## 0## T8958.$trModule (GHC.Types.TrNameS "Representational"#)
33 T8958.$tc'D:Representational
34   = GHC.Types.TyCon
35       0## 0## T8958.$trModule (GHC.Types.TrNameS "'D:Representational"#)
36 T8958.$tcNominal
37   = GHC.Types.TyCon
38       0## 0## T8958.$trModule (GHC.Types.TrNameS "Nominal"#)
39 T8958.$tc'D:Nominal
40   = GHC.Types.TyCon
41       0## 0## T8958.$trModule (GHC.Types.TrNameS "'D:Nominal"#)
42 T8958.$trModule
43   = GHC.Types.Module
44       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "T8958"#)
45 AbsBinds [a] []
46   {Exports: [T8958.$fRepresentationala <= $dRepresentational
47                <>]
48    Exported types: T8958.$fRepresentationala
49                      :: forall a. Representational a
50                    [LclIdX[DFunId], Str=DmdType]
51    Binds: $dRepresentational = T8958.D:Representational}
52 AbsBinds [a] []
53   {Exports: [T8958.$fNominala <= $dNominal
54                <>]
55    Exported types: T8958.$fNominala :: forall a. Nominal a
56                    [LclIdX[DFunId], Str=DmdType]
57    Binds: $dNominal = T8958.D:Nominal}
58