summaryrefslogtreecommitdiff
path: root/testsuite
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2014-08-29 15:34:19 +0100
committerSimon Peyton Jones <simonpj@microsoft.com>2014-08-29 17:16:55 +0100
commite5f766c392c8c1cb329e1409102b5655c3c253c9 (patch)
tree2209c97ad522bc07acb057dec15ce4202d4a49f6 /testsuite
parent7af33e9ab43bb46d7ddb53193884d5bed11a12a9 (diff)
downloadhaskell-e5f766c392c8c1cb329e1409102b5655c3c253c9.tar.gz
Give the worker for an INLINABLE function a suitably-phased Activation
See Note [Activation for INLINABLE worker]. This was preventing Trac #6056 from working.
Diffstat (limited to 'testsuite')
-rw-r--r--testsuite/tests/simplCore/should_compile/T3717.stderr3
-rw-r--r--testsuite/tests/simplCore/should_compile/T4908.stderr4
-rw-r--r--testsuite/tests/simplCore/should_compile/spec-inline.stderr4
3 files changed, 6 insertions, 5 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T3717.stderr b/testsuite/tests/simplCore/should_compile/T3717.stderr
index 73b73effb9..21e822b318 100644
--- a/testsuite/tests/simplCore/should_compile/T3717.stderr
+++ b/testsuite/tests/simplCore/should_compile/T3717.stderr
@@ -3,7 +3,8 @@
Result size of Tidy Core = {terms: 22, types: 10, coercions: 0}
Rec {
-T3717.$wfoo [Occ=LoopBreaker] :: GHC.Prim.Int# -> GHC.Prim.Int#
+T3717.$wfoo [InlPrag=[0], Occ=LoopBreaker]
+ :: GHC.Prim.Int# -> GHC.Prim.Int#
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U>]
T3717.$wfoo =
\ (ww :: GHC.Prim.Int#) ->
diff --git a/testsuite/tests/simplCore/should_compile/T4908.stderr b/testsuite/tests/simplCore/should_compile/T4908.stderr
index 2f80625e98..9729289ea6 100644
--- a/testsuite/tests/simplCore/should_compile/T4908.stderr
+++ b/testsuite/tests/simplCore/should_compile/T4908.stderr
@@ -21,7 +21,7 @@ T4908.f_$s$wf =
}
end Rec }
-T4908.$wf
+T4908.$wf [InlPrag=[0]]
:: GHC.Prim.Int#
-> (GHC.Types.Int, GHC.Types.Int) -> GHC.Types.Bool
[GblId,
@@ -66,7 +66,7 @@ T4908.f =
------ Local rules for imported ids --------
-"SC:$wf0" [ALWAYS]
+"SC:$wf0" [0]
forall (sc :: GHC.Prim.Int#)
(sc1 :: GHC.Types.Int)
(sc2 :: GHC.Prim.Int#).
diff --git a/testsuite/tests/simplCore/should_compile/spec-inline.stderr b/testsuite/tests/simplCore/should_compile/spec-inline.stderr
index 4b48ee3e8d..1e11fd618b 100644
--- a/testsuite/tests/simplCore/should_compile/spec-inline.stderr
+++ b/testsuite/tests/simplCore/should_compile/spec-inline.stderr
@@ -42,7 +42,7 @@ Roman.foo_$s$wgo =
}
end Rec }
-Roman.$wgo
+Roman.$wgo [InlPrag=[0]]
:: Data.Maybe.Maybe GHC.Types.Int
-> Data.Maybe.Maybe GHC.Types.Int -> GHC.Prim.Int#
[GblId,
@@ -145,7 +145,7 @@ Roman.foo =
------ Local rules for imported ids --------
-"SC:$wgo0" [ALWAYS]
+"SC:$wgo0" [0]
forall (sc :: GHC.Prim.Int#) (sc1 :: GHC.Prim.Int#).
Roman.$wgo (Data.Maybe.Just @ GHC.Types.Int (GHC.Types.I# sc))
(Data.Maybe.Just @ GHC.Types.Int (GHC.Types.I# sc1))