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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/c-target/tree-to-c.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/c-target/tree-to-c.sml

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

revision 1043, Mon May 2 03:04:52 2011 UTC revision 1044, Mon May 2 03:05:12 2011 UTC
# Line 379  Line 379 
379                        in                        in
380                          initCode @ code                          initCode @ code
381                        end)                        end)
382  (* FIXME: what about the args? *)                    | IL.S_Exit args =>
383                    | IL.S_Exit args => [CL.mkReturn NONE]                        saveState (env, args, CL.mkReturn NONE)
384                    | IL.S_Active args =>                    | IL.S_Active args =>
385                        saveState (env, args, CL.mkReturn(SOME(CL.mkVar RN.kActive)))                        saveState (env, args, CL.mkReturn(SOME(CL.mkVar RN.kActive)))
386                    | IL.S_Stabilize args =>                    | IL.S_Stabilize args =>

Legend:
Removed from v.1043  
changed lines
  Added in v.1044

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