Do pretty-printing of TyThings via IfaceDecl (Trac #7730)
[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] 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, ghc-prim, integer-gmp]
20
21 ==================== Typechecker ====================
22 AbsBinds [a] []
23   {Exports: [T8958.$fRepresentationala <= $dRepresentational
24                <>]
25    Exported types: T8958.$fRepresentationala [InlPrag=[ALWAYS] CONLIKE]
26                      :: forall a. Representational a
27                    [LclIdX[DFunId],
28                     Str=DmdType,
29                     Unf=DFun: \ (@ a) -> T8958.D:Representational TYPE a]
30    Binds: $dRepresentational = T8958.D:Representational}
31 AbsBinds [a] []
32   {Exports: [T8958.$fNominala <= $dNominal
33                <>]
34    Exported types: T8958.$fNominala [InlPrag=[ALWAYS] CONLIKE]
35                      :: forall a. Nominal a
36                    [LclIdX[DFunId],
37                     Str=DmdType,
38                     Unf=DFun: \ (@ a) -> T8958.D:Nominal TYPE a]
39    Binds: $dNominal = T8958.D:Nominal}
40