diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-15 17:30:30 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-18 11:55:41 +0000 |
| commit | ec8a188a927a4db2e709541765e5ef545eae284c (patch) | |
| tree | cbde55cf4ee60e4265536aee730c7c41d668824e /testsuite/tests/roles/should_compile/Roles3.stderr | |
| parent | 6e0c0fd2e09c552bf38e22645347dbb2e7327e8e (diff) | |
| download | haskell-ec8a188a927a4db2e709541765e5ef545eae284c.tar.gz | |
Refactoring on IdInfo and system derived names
Some modest refactoring, triggered in part by Trac #11051
* Kill off PatSynId, ReflectionId in IdDetails
They were barely used, and only for pretty-printing
* Add helper function Id.mkExportedVanillaId, and use it
* Polish up OccName.isDerivedOccName, as a predicate for
definitions generated internally by GHC, which we
might not want to show to the user.
* Kill off unused OccName.mkDerivedTyConOcc
* Shorten the derived OccNames for newtype and data
instance axioms
* A bit of related refactoring around newFamInstAxiomName
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles3.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles3.stderr | 62 |
1 files changed, 45 insertions, 17 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles3.stderr b/testsuite/tests/roles/should_compile/Roles3.stderr index bf6dd003e9..544e497c2d 100644 --- a/testsuite/tests/roles/should_compile/Roles3.stderr +++ b/testsuite/tests/roles/should_compile/Roles3.stderr @@ -1,4 +1,8 @@ TYPE SIGNATURES + meth1 :: forall a. C1 a => a -> a + meth2 :: forall a b. (C2 a b, a ~ b) => a -> b + meth3 :: forall a b. C3 a b => a -> F3 b -> F3 b + meth4 :: forall a b. C4 a b => a -> F4 b -> F4 b TYPE CONSTRUCTORS class C1 a where meth1 :: a -> a @@ -19,42 +23,66 @@ TYPE CONSTRUCTORS type Syn1 a = F4 a type Syn2 a = [a] COERCION AXIOMS - axiom Roles3.NTCo:C1 :: C1 a = a -> a -- Defined at Roles3.hs:6:1 - axiom Roles3.NTCo:C2 :: + axiom Roles3.N:C1 :: C1 a = a -> a -- Defined at Roles3.hs:6:1 + axiom Roles3.N:C2 :: C2 a b = (a ~ b) => a -> b -- Defined at Roles3.hs:9:1 - axiom Roles3.NTCo:C3 :: + axiom Roles3.N:C3 :: C3 a b = a -> F3 b -> F3 b -- Defined at Roles3.hs:12:1 - axiom Roles3.NTCo:C4 :: + axiom Roles3.N:C4 :: C4 a b = a -> F4 b -> F4 b -- Defined at Roles3.hs:18:1 Dependent modules: [] Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0, - integer-gmp-1.0.0.0] + integer-gmp-1.0.0.1] ==================== Typechecker ==================== Roles3.$tcC4 = GHC.Types.TyCon - 0## 0## Roles3.$trModule (GHC.Types.TrNameS "C4"#) -Roles3.$tc'D:C4 + 12861862461396457184## + 6389612623460961504## + Roles3.$trModule + (GHC.Types.TrNameS "C4"#) +Roles3.$tc'C:C4 = GHC.Types.TyCon - 0## 0## Roles3.$trModule (GHC.Types.TrNameS "'D:C4"#) + 5012080351591218464## + 14312195554521420369## + Roles3.$trModule + (GHC.Types.TrNameS "'C:C4"#) Roles3.$tcC3 = GHC.Types.TyCon - 0## 0## Roles3.$trModule (GHC.Types.TrNameS "C3"#) -Roles3.$tc'D:C3 + 5998139369941479154## + 6816352641934636458## + Roles3.$trModule + (GHC.Types.TrNameS "C3"#) +Roles3.$tc'C:C3 = GHC.Types.TyCon - 0## 0## Roles3.$trModule (GHC.Types.TrNameS "'D:C3"#) + 5363370173992879615## + 3444510123613553605## + Roles3.$trModule + (GHC.Types.TrNameS "'C:C3"#) Roles3.$tcC2 = GHC.Types.TyCon - 0## 0## Roles3.$trModule (GHC.Types.TrNameS "C2"#) -Roles3.$tc'D:C2 + 8833962732139387711## + 7891126688522429937## + Roles3.$trModule + (GHC.Types.TrNameS "C2"#) +Roles3.$tc'C:C2 = GHC.Types.TyCon - 0## 0## Roles3.$trModule (GHC.Types.TrNameS "'D:C2"#) + 17372867324718144313## + 13604113872247370917## + Roles3.$trModule + (GHC.Types.TrNameS "'C:C2"#) Roles3.$tcC1 = GHC.Types.TyCon - 0## 0## Roles3.$trModule (GHC.Types.TrNameS "C1"#) -Roles3.$tc'D:C1 + 16242970448469140073## + 10229725431456576413## + Roles3.$trModule + (GHC.Types.TrNameS "C1"#) +Roles3.$tc'C:C1 = GHC.Types.TyCon - 0## 0## Roles3.$trModule (GHC.Types.TrNameS "'D:C1"#) + 2927144765823607117## + 15172069236577673237## + Roles3.$trModule + (GHC.Types.TrNameS "'C:C1"#) Roles3.$trModule = GHC.Types.Module (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles3"#) |