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

SCM Repository

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

Diff of /branches/pure-cfg/src/compiler/simplify/lift.sml

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

revision 608, Fri Mar 11 22:38:23 2011 UTC revision 609, Sat Mar 12 02:03:38 2011 UTC
# Line 121  Line 121 
121              S.Block(doBlock blk)              S.Block(doBlock blk)
122            end            end
123    
124      fun transform (prog as S.Program{globals, globalInit, strands}) = let      fun transform (prog as S.Program{globals, globalInit, init, strands}) = let
125            val statics = findStatics globalInit            val statics = findStatics globalInit
126            val staticEnv = Eval.evalStatics (statics, globalInit)            val staticEnv = Eval.evalStatics (statics, globalInit)
127            val globalInit = reduce (staticEnv, globalInit)            val globalInit = reduce (staticEnv, globalInit)
128    (* FIXME: reduce init *)
129            in            in
130              S.Program{              S.Program{
131                  globals = globals,                  globals = globals,
132                  globalInit = globalInit,                  globalInit = globalInit,
133                    init = init,
134                  strands = strands                  strands = strands
135                }                }
136            end            end

Legend:
Removed from v.608  
changed lines
  Added in v.609

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