diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2017-03-03 15:47:47 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-03-03 15:47:48 -0500 |
| commit | c1dacb8a9c18677495bbe7e41391f8ca7a573070 (patch) | |
| tree | 9f3e33766337e42511b75795b264bc4393c08ade /testsuite/tests/roles/should_compile/Roles14.stderr | |
| parent | a694cee77b64235b42029fea248453ddf6b17d17 (diff) | |
| download | haskell-c1dacb8a9c18677495bbe7e41391f8ca7a573070.tar.gz | |
Produce KindReps for common kinds in GHC.Types
Unfortunately this comes with a fair bit of implementation cost. Perhaps
some refactoring would help, but in the interest of getting 8.2 out the
door I'm pushing as-is.
While this doesn't have nearly the effect on compiler allocations
that D3166 has, it's still nothing to sneeze at. nofib shows,
```
------------------------------------------------------------------------
Program master D3166 D3219
------------------------------------------------------------------------
-1 s.d. ----- -3.555% -4.081%
+1 s.d. ----- +1.937% +1.593%
Average ----- -0.847% -1.285%
```
Test Plan: Validate
Reviewers: austin
Subscribers: thomie, simonmar
Differential Revision: https://phabricator.haskell.org/D3219
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles14.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles14.stderr | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles14.stderr b/testsuite/tests/roles/should_compile/Roles14.stderr index 08ca28fecc..ce4ddd3bb7 100644 --- a/testsuite/tests/roles/should_compile/Roles14.stderr +++ b/testsuite/tests/roles/should_compile/Roles14.stderr @@ -19,7 +19,7 @@ Roles12.$tcC2 Roles12.$trModule (GHC.Types.TrNameS "C2"#) 0 - $krep + GHC.Types.krep$*Arr* Roles12.$tc'C:C2 = GHC.Types.TyCon 7087988437584478859## @@ -31,8 +31,6 @@ Roles12.$tc'C:C2 $krep [InlPrag=[~]] = GHC.Types.KindRepVar 0 $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep $krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep -$krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep -$krep [InlPrag=[~]] = GHC.Types.KindRepTYPE GHC.Types.LiftedRep $krep [InlPrag=[~]] = GHC.Types.KindRepTyConApp Roles12.$tcC2 ((:) $krep []) Roles12.$trModule |