SCC analysis for instances as well as types/classes
[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   T8958.MkMap :: forall k v. [(k, v)] -> Map k v
6 TYPE CONSTRUCTORS
7   type role Map nominal representational
8   newtype (Nominal k, Representational v) => Map k v = MkMap [(k, v)]
9   class Nominal a
10   type role Representational representational
11   class Representational a
12 COERCION AXIOMS
13   axiom T8958.N:Map :: Map k v = [(k, v)] -- Defined at T8958.hs:13:1
14 INSTANCES
15   instance [incoherent] Representational a
16     -- Defined at T8958.hs:10:10
17   instance [incoherent] Nominal a -- Defined at T8958.hs:7:10
18 Dependent modules: []
19 Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
20                      integer-gmp-1.0.0.1]
21
22 ==================== Typechecker ====================
23 T8958.$tcMap
24   = GHC.Types.TyCon
25       11173210732975605893##
26       6338753504925142034##
27       T8958.$trModule
28       (GHC.Types.TrNameS "Map"#)
29 T8958.$tc'MkMap
30   = GHC.Types.TyCon
31       10702411725744601909##
32       8660532495248702786##
33       T8958.$trModule
34       (GHC.Types.TrNameS "'MkMap"#)
35 T8958.$tcRepresentational
36   = GHC.Types.TyCon
37       17939208465687456137##
38       86959701938445380##
39       T8958.$trModule
40       (GHC.Types.TrNameS "Representational"#)
41 T8958.$tc'C:Representational
42   = GHC.Types.TyCon
43       6623579006299218188##
44       18041743345929230411##
45       T8958.$trModule
46       (GHC.Types.TrNameS "'C:Representational"#)
47 T8958.$tcNominal
48   = GHC.Types.TyCon
49       5048799062136959048##
50       4899664595355811926##
51       T8958.$trModule
52       (GHC.Types.TrNameS "Nominal"#)
53 T8958.$tc'C:Nominal
54   = GHC.Types.TyCon
55       13167926310643805202##
56       1726092271306256063##
57       T8958.$trModule
58       (GHC.Types.TrNameS "'C:Nominal"#)
59 T8958.$trModule
60   = GHC.Types.Module
61       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "T8958"#)
62 AbsBinds [a] []
63   {Exports: [T8958.$fRepresentationala <= $dRepresentational
64                wrap: <>]
65    Exported types: T8958.$fRepresentationala [InlPrag=[ALWAYS] CONLIKE]
66                      :: forall a. Representational a
67                    [LclIdX[DFunId],
68                     Unf=DFun: \ (@ a[ssk]) -> T8958.C:Representational TYPE: a[ssk]]
69    Binds: $dRepresentational = T8958.C:Representational @ a
70    Evidence: [EvBinds{}]}
71 AbsBinds [a] []
72   {Exports: [T8958.$fNominala <= $dNominal
73                wrap: <>]
74    Exported types: T8958.$fNominala [InlPrag=[ALWAYS] CONLIKE]
75                      :: forall a. Nominal a
76                    [LclIdX[DFunId],
77                     Unf=DFun: \ (@ a[ssk]) -> T8958.C:Nominal TYPE: a[ssk]]
78    Binds: $dNominal = T8958.C:Nominal @ a
79    Evidence: [EvBinds{}]}
80