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/Roles2.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/Roles2.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles2.stderr | 24 |
1 files changed, 19 insertions, 5 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles2.stderr b/testsuite/tests/roles/should_compile/Roles2.stderr index 14d24b0150..7c075b9bce 100644 --- a/testsuite/tests/roles/should_compile/Roles2.stderr +++ b/testsuite/tests/roles/should_compile/Roles2.stderr @@ -1,4 +1,6 @@ TYPE SIGNATURES + Roles2.K1 :: forall a. IO a -> T1 a + Roles2.K2 :: forall a. FunPtr a -> T2 a TYPE CONSTRUCTORS data T1 a = K1 (IO a) Kind: * -> * @@ -8,21 +10,33 @@ TYPE CONSTRUCTORS COERCION AXIOMS 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 ==================== Roles2.$tcT2 = GHC.Types.TyCon - 0## 0## Roles2.$trModule (GHC.Types.TrNameS "T2"#) + 5934726586329293381## + 1923031187495159753## + Roles2.$trModule + (GHC.Types.TrNameS "T2"#) Roles2.$tc'K2 = GHC.Types.TyCon - 0## 0## Roles2.$trModule (GHC.Types.TrNameS "'K2"#) + 1362115092449420584## + 15899377929296700609## + Roles2.$trModule + (GHC.Types.TrNameS "'K2"#) Roles2.$tcT1 = GHC.Types.TyCon - 0## 0## Roles2.$trModule (GHC.Types.TrNameS "T1"#) + 13879106829711353992## + 15151456821588362072## + Roles2.$trModule + (GHC.Types.TrNameS "T1"#) Roles2.$tc'K1 = GHC.Types.TyCon - 0## 0## Roles2.$trModule (GHC.Types.TrNameS "'K1"#) + 14735176013935828521## + 17563925141462511949## + Roles2.$trModule + (GHC.Types.TrNameS "'K1"#) Roles2.$trModule = GHC.Types.Module (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Roles2"#) |