Commit a88cde39 authored by simonpj's avatar simonpj
Browse files

[project @ 2001-11-22 12:22:42 by simonpj]

Inlining pragma buglet
parent 8f877d35
......@@ -868,7 +868,7 @@ gentle we are being.
activeInline :: SimplEnv -> OutId -> OccInfo -> Bool
activeInline env id occ
= case getMode env of
SimplGently -> isOneOcc occ
SimplGently -> isAlwaysActive prag && isOneOcc occ
-- No inlining at all when doing gentle stuff,
-- except for things that occur once
-- The reason is that too little clean-up happens if you
......@@ -884,7 +884,9 @@ activeInline env id occ
-- and they are now constructed as Compulsory unfoldings (in MkId)
-- so they'll happen anyway.
SimplPhase n -> isActive n (idInlinePragma id)
SimplPhase n -> isActive n prag
where
prag = idInlinePragma id
-- Belongs in BasicTypes; this frag occurs in OccurAnal too
isOneOcc (OneOcc _ _) = True
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment