After some earlier re-factoring, the code that was carefully trying
to make RULES available in a function's own RHS was plain wrong.
This commit fixes it. Some programs should go faster!
\begin{code}
addLetIdInfo :: SimplEnv -> InBinder -> OutBinder -> (SimplEnv, OutBinder)
addLetIdInfo env in_id out_id
\begin{code}
addLetIdInfo :: SimplEnv -> InBinder -> OutBinder -> (SimplEnv, OutBinder)
addLetIdInfo env in_id out_id
- = (modifyInScope env out_id out_id, final_id)
+ = (modifyInScope env out_id final_id, final_id)
where
final_id = out_id `setIdInfo` new_info
subst = mkCoreSubst env
where
final_id = out_id `setIdInfo` new_info
subst = mkCoreSubst env