diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2015-03-20 12:23:41 +0100 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2015-03-20 12:27:16 +0100 |
| commit | 9dfdd16a61e79cb03c633d442190a81fe5c0b6b8 (patch) | |
| tree | 8193c1da94bb0f040384a6d435ef7acf0c5b7673 /testsuite/tests/roles/should_compile/T8958.stderr | |
| parent | 76f385ba840fdb87ff4254cd838752ba161b0a8d (diff) | |
| download | haskell-9dfdd16a61e79cb03c633d442190a81fe5c0b6b8.tar.gz | |
Bump ghc-prim to 0.4.0.0
This major version bump was made necessary by
f44333eae7bc7dc7b6003b75874a02445f6b633b which changed the type
signatures of prefetch primops, as well as other changes
such as 051d694fc978ad28ac3043d296cafddd3c2a7050 turning `Any` into
an abstract closed type family.
Reviewed By: ekmett
Differential Revision: https://phabricator.haskell.org/D743
Diffstat (limited to 'testsuite/tests/roles/should_compile/T8958.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/T8958.stderr | 72 |
1 files changed, 36 insertions, 36 deletions
diff --git a/testsuite/tests/roles/should_compile/T8958.stderr b/testsuite/tests/roles/should_compile/T8958.stderr index 558b360604..abcd5581c9 100644 --- a/testsuite/tests/roles/should_compile/T8958.stderr +++ b/testsuite/tests/roles/should_compile/T8958.stderr @@ -1,36 +1,36 @@ -
-T8958.hs:1:31: Warning:
- -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
-TYPE SIGNATURES
-TYPE CONSTRUCTORS
- type role Map nominal representational
- newtype (Nominal k, Representational v) => Map k v = MkMap [(k, v)]
- Promotable
- class Nominal a
- type role Representational representational
- class Representational a
-COERCION AXIOMS
- axiom T8958.NTCo:Map :: Map k v = [(k, v)]
-INSTANCES
- instance [incoherent] Nominal a -- Defined at T8958.hs:7:10
- instance [incoherent] Representational a
- -- Defined at T8958.hs:10:10
-Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
- integer-gmp-0.5.1.0]
-
-==================== Typechecker ====================
-AbsBinds [a] []
- {Exports: [T8958.$fRepresentationala <= $dRepresentational
- <>]
- Exported types: T8958.$fRepresentationala
- :: forall a. Representational a
- [LclIdX[DFunId], Str=DmdType]
- Binds: $dRepresentational = T8958.D:Representational}
-AbsBinds [a] []
- {Exports: [T8958.$fNominala <= $dNominal
- <>]
- Exported types: T8958.$fNominala :: forall a. Nominal a
- [LclIdX[DFunId], Str=DmdType]
- Binds: $dNominal = T8958.D:Nominal}
-
+ +T8958.hs:1:31: Warning: + -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. +TYPE SIGNATURES +TYPE CONSTRUCTORS + type role Map nominal representational + newtype (Nominal k, Representational v) => Map k v = MkMap [(k, v)] + Promotable + class Nominal a + type role Representational representational + class Representational a +COERCION AXIOMS + axiom T8958.NTCo:Map :: Map k v = [(k, v)] +INSTANCES + instance [incoherent] Nominal a -- Defined at T8958.hs:7:10 + instance [incoherent] Representational a + -- Defined at T8958.hs:10:10 +Dependent modules: [] +Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0, + integer-gmp-1.0.0.0] + +==================== Typechecker ==================== +AbsBinds [a] [] + {Exports: [T8958.$fRepresentationala <= $dRepresentational + <>] + Exported types: T8958.$fRepresentationala + :: forall a. Representational a + [LclIdX[DFunId], Str=DmdType] + Binds: $dRepresentational = T8958.D:Representational} +AbsBinds [a] [] + {Exports: [T8958.$fNominala <= $dNominal + <>] + Exported types: T8958.$fNominala :: forall a. Nominal a + [LclIdX[DFunId], Str=DmdType] + Binds: $dNominal = T8958.D:Nominal} + |