diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-02-28 14:04:40 -0500 |
|---|---|---|
| committer | David Feuer <David.Feuer@gmail.com> | 2017-02-28 14:04:41 -0500 |
| commit | fc6c222b90e68fed74a6bee6f087f47bf31f21c6 (patch) | |
| tree | fac9f3e5ea6a68b15e7e68699f1534ba4430dd1a /testsuite/tests/deSugar | |
| parent | 1990bb0df51250519b555ec271c693d289dd9802 (diff) | |
| download | haskell-fc6c222b90e68fed74a6bee6f087f47bf31f21c6.tar.gz | |
Inline data constructor wrappers in phase 2 only
This patch prepares for my upcoming early-inlining patch. It arranges
that data constructor wrappers are not inlined until Phase 2 (the
first of the "normal" phases.) That gives rules a chance to fire
in the InitialPhase (aka "gentle").
This has been a bit of a problem for a while, so it's nice to have
a fix. It should make no difference immediately, becuase currently
nothing is inlined in the InitialPhase anyway.
Reviewers: austin, bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D3193
Diffstat (limited to 'testsuite/tests/deSugar')
| -rw-r--r-- | testsuite/tests/deSugar/should_compile/T2431.stderr | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/testsuite/tests/deSugar/should_compile/T2431.stderr b/testsuite/tests/deSugar/should_compile/T2431.stderr index d601d5d48f..722a5e4698 100644 --- a/testsuite/tests/deSugar/should_compile/T2431.stderr +++ b/testsuite/tests/deSugar/should_compile/T2431.stderr @@ -4,7 +4,7 @@ Result size of Tidy Core = {terms: 83, types: 49, coercions: 1, joins: 0/0} -- RHS size: {terms: 2, types: 4, coercions: 1, joins: 0/0} -T2431.$WRefl [InlPrag=INLINE] :: forall a. a :~: a +T2431.$WRefl [InlPrag=INLINE[2]] :: forall a. a :~: a [GblId[DataConWrapper], Caf=NoCafRefs, Str=m, @@ -13,9 +13,9 @@ T2431.$WRefl [InlPrag=INLINE] :: forall a. a :~: a Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=False) Tmpl= \ (@ a) -> T2431.Refl @ a @ a @~ (<a>_N :: (a :: *) GHC.Prim.~# (a :: *))}] -T2431.$WRefl = - \ (@ a) -> - T2431.Refl @ a @ a @~ (<a>_N :: (a :: *) GHC.Prim.~# (a :: *)) +T2431.$WRefl + = \ (@ a) -> + T2431.Refl @ a @ a @~ (<a>_N :: (a :: *) GHC.Prim.~# (a :: *)) -- RHS size: {terms: 4, types: 8, coercions: 0, joins: 0/0} absurd :: forall a. (Int :~: Bool) -> a @@ -85,14 +85,14 @@ $tc:~:2 = GHC.Types.TrNameS $tc:~:1 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0} T2431.$tc:~: :: GHC.Types.TyCon [GblId, Caf=NoCafRefs] -T2431.$tc:~: = - GHC.Types.TyCon - 4608886815921030019## - 6030312177285011233## - T2431.$trModule - $tc:~:2 - 0# - krep4 +T2431.$tc:~: + = GHC.Types.TyCon + 4608886815921030019## + 6030312177285011233## + T2431.$trModule + $tc:~:2 + 0# + krep4 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} krep5 :: GHC.Types.KindRep @@ -107,9 +107,9 @@ krep6 = GHC.Types.KindRepVar 0# -- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0} krep7 :: [GHC.Types.KindRep] [GblId, Caf=NoCafRefs] -krep7 = - GHC.Types.: - @ GHC.Types.KindRep krep6 (GHC.Types.[] @ GHC.Types.KindRep) +krep7 + = GHC.Types.: + @ GHC.Types.KindRep krep6 (GHC.Types.[] @ GHC.Types.KindRep) -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0} krep8 :: [GHC.Types.KindRep] @@ -134,14 +134,14 @@ $tc'Refl2 = GHC.Types.TrNameS $tc'Refl1 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0} T2431.$tc'Refl :: GHC.Types.TyCon [GblId, Caf=NoCafRefs] -T2431.$tc'Refl = - GHC.Types.TyCon - 2478588351447975921## - 2684375695874497811## - T2431.$trModule - $tc'Refl2 - 1# - krep9 +T2431.$tc'Refl + = GHC.Types.TyCon + 2478588351447975921## + 2684375695874497811## + T2431.$trModule + $tc'Refl2 + 1# + krep9 |