SCM Repository
[diderot] Diff of /branches/pure-cfg/src/compiler/cl-target/tree-to-cl.sml
Diff of /branches/pure-cfg/src/compiler/cl-target/tree-to-cl.sml
Parent Directory
|
Revision Log
|
Patch
107 |
|
|
108 |
(* translate a variable use *) |
(* translate a variable use *) |
109 |
fun trVar (env, x) = (case V.kind x |
fun trVar (env, x) = (case V.kind x |
110 |
of IL.VK_Global => CL.mkVar(lookup(env, x)) |
of IL.VK_Global => CL.mkIndirect(CL.E_Var RN.globalsVarName, lookup(env, x)) |
111 |
| IL.VK_State strand => CL.mkIndirect(CL.mkVar "selfIn", lookup(env, x)) |
| IL.VK_State strand => CL.mkIndirect(CL.mkVar "selfIn", lookup(env, x)) |
112 |
| IL.VK_Local => CL.mkVar(lookup(env, x)) |
| IL.VK_Local => CL.mkVar(lookup(env, x)) |
113 |
(* end case *)) |
(* end case *)) |
|
Legend:
Removed from v.1315 |
|
changed lines |
|
Added in v.1316 |
|
|