diff options
author | Joachim Breitner <mail@joachim-breitner.de> | 2017-09-10 16:10:37 +0100 |
---|---|---|
committer | Joachim Breitner <mail@joachim-breitner.de> | 2017-09-12 11:01:10 -0400 |
commit | fe04f3783b662c52c4a0ff36b2d62a7a575998a5 (patch) | |
tree | 3a49d515bc700562621bb0d97a74a89bd0d174fb /testsuite/tests/roles/should_compile/Roles2.stderr | |
parent | fe35b85a8cc72582e0f98a3059be00a9a2318a4a (diff) | |
download | haskell-fe04f3783b662c52c4a0ff36b2d62a7a575998a5.tar.gz |
Allow CSE'ing of work-wrapped bindings (#14186)
the worker/wrapper creates an artificial INLINE pragma, which caused CSE
to not do its work. We now recognize such artificial pragmas by using
`NoUserInline` instead of `Inline` as the `InlineSpec`.
Differential Revision: https://phabricator.haskell.org/D3939
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles2.stderr')
-rw-r--r-- | testsuite/tests/roles/should_compile/Roles2.stderr | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles2.stderr b/testsuite/tests/roles/should_compile/Roles2.stderr index 6f77024162..591691f365 100644 --- a/testsuite/tests/roles/should_compile/Roles2.stderr +++ b/testsuite/tests/roles/should_compile/Roles2.stderr @@ -8,7 +8,7 @@ TYPE CONSTRUCTORS COERCION AXIOMS Dependent modules: [] Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0, - integer-gmp-1.0.0.1] + integer-gmp-1.0.1.0] ==================== Typechecker ==================== Roles2.$tcT2 @@ -43,16 +43,16 @@ Roles2.$tc'K1 (GHC.Types.TrNameS "'K1"#) 1 $krep -$krep [InlPrag=[~]] = GHC.Types.KindRepVar 0 -$krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep -$krep [InlPrag=[~]] = GHC.Types.KindRepFun $krep $krep -$krep [InlPrag=[~]] +$krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepVar 0 +$krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep +$krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepFun $krep $krep +$krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepTyConApp GHC.Ptr.$tcFunPtr ((:) $krep []) -$krep [InlPrag=[~]] +$krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepTyConApp Roles2.$tcT2 ((:) $krep []) -$krep [InlPrag=[~]] +$krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepTyConApp GHC.Types.$tcIO ((:) $krep []) -$krep [InlPrag=[~]] +$krep [InlPrag=NOUSERINLINE[~]] = GHC.Types.KindRepTyConApp Roles2.$tcT1 ((:) $krep []) Roles2.$trModule = GHC.Types.Module |