Skip to content

Commit

Permalink
fix bug in CPS inliner where params of a cont were not added to env.
Browse files Browse the repository at this point in the history
  • Loading branch information
kavon committed Jan 15, 2019
1 parent 4105882 commit d5dfda2
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/tools/mc/cps-opt/inline.sml
Original file line number Diff line number Diff line change
Expand Up @@ -398,11 +398,11 @@ structure Inline : sig
val env = extend(env, f)
val e = doExp (env, e)
fun doFB (C.FB{f, params, rets, body}) = let
val env' = extend' (env, params)
val env'' = extend' (env, rets)
val env = extend' (env, params)
val env = extend' (env, rets)
in
C.FB{f=f, params=params, rets=rets,
body=doExp(env'', body)}
body=doExp(env, body)}
end
val fb = doFB fb
val _ = setBinding(f, C.VK_Cont fb)
Expand Down

0 comments on commit d5dfda2

Please sign in to comment.