Suppress uniques to stop output wobbling (test for Trac #8958)
[ghc.git] / testsuite / tests / roles / should_compile / T8958.stderr
1 \r
2 T8958.hs:1:31: Warning:\r
3     -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.\r
4 TYPE SIGNATURES\r
5 TYPE CONSTRUCTORS\r
6   Map :: * -> * -> *\r
7   newtype (Nominal k, Representational v) => Map k v\r
8     No C type associated\r
9     Roles: [nominal, representational]\r
10     RecFlag NonRecursive, Promotable\r
11     = MkMap :: [(k, v)] -> Map k v Stricts: _\r
12     FamilyInstance: none\r
13   Nominal :: * -> Constraint\r
14   class Nominal a\r
15     Roles: [nominal]\r
16     RecFlag NonRecursive\r
17   Representational :: * -> Constraint\r
18   class Representational a\r
19     Roles: [representational]\r
20     RecFlag NonRecursive\r
21 COERCION AXIOMS\r
22   axiom T8958.NTCo:Map :: Map k v = [(k, v)]\r
23 INSTANCES\r
24   instance [incoherent] Representational a\r
25     -- Defined at T8958.hs:10:10\r
26   instance [incoherent] Nominal a -- Defined at T8958.hs:7:10\r
27 Dependent modules: []\r
28 Dependent packages: [base, ghc-prim, integer-gmp]\r
29 \r
30 ==================== Typechecker ====================\r
31 AbsBinds [a] []\r
32   {Exports: [T8958.$fRepresentationala <= $dRepresentational\r
33                <>]\r
34    Exported types: T8958.$fRepresentationala [InlPrag=[ALWAYS] CONLIKE]\r
35                      :: forall a. Representational a\r
36                    [LclIdX[DFunId],\r
37                     Str=DmdType,\r
38                     Unf=DFun: \ (@ a) -> T8958.D:Representational TYPE a]\r
39    Binds: $dRepresentational = T8958.D:Representational}\r
40 AbsBinds [a] []\r
41   {Exports: [T8958.$fNominala <= $dNominal\r
42                <>]\r
43    Exported types: T8958.$fNominala [InlPrag=[ALWAYS] CONLIKE]\r
44                      :: forall a. Nominal a\r
45                    [LclIdX[DFunId],\r
46                     Str=DmdType,\r
47                     Unf=DFun: \ (@ a) -> T8958.D:Nominal TYPE a]\r
48    Binds: $dNominal = T8958.D:Nominal}\r
49 \r