Lines Matching defs:e1
227 fun concat e1 x e2 =
228 if is_let e1
229 then let val (v,M,N) = dest_plet e1 in mk_plet (v, M, concat N x e2) end
230 else mk_plet (x, e1, e2);
277 then let val (c,e1,e2) = dest_cond exp
287 fun f e1 e2 = mk_cond(c', e1, e2)
289 g'_if dest cont regenv exp f e1 e2
381 g'_if dest cont regenv exp constr e1 e2 =
382 let val (e1', regenv1) = g_repeat dest cont regenv e1
388 NoSpill(constr e1' e2', regenv')
413 [] => NoSpill(constr e1' e2', regenv')