Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/codegen/codegen-fn.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/codegen/codegen-fn.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 548, Thu Feb 17 22:41:53 2011 UTC revision 552, Fri Feb 18 15:09:08 2011 UTC
# Line 42  Line 42 
42      fun trExp (env, e) = (case e      fun trExp (env, e) = (case e
43             of IL.E_Var x => (case V.kind x             of IL.E_Var x => (case V.kind x
44                   of IL.VK_Global => T.Expr.global(lookup(env, x))                   of IL.VK_Global => T.Expr.global(lookup(env, x))
45                    | IL.VK_State strand => raise Fail "FIXME: state var"                    | IL.VK_State strand => T.Expr.getState(lookup(env, x))
46                    | IL.VK_Local => T.Expr.var(lookup(env, x))                    | IL.VK_Local => T.Expr.var(lookup(env, x))
47                  (* end case *))                  (* end case *))
48              | IL.E_Lit(Literal.Int n) => T.Expr.intLit n              | IL.E_Lit(Literal.Int n) => T.Expr.intLit n

Legend:
Removed from v.548  
changed lines
  Added in v.552

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0