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

SCM Repository

[diderot] Diff of /trunk/src/compiler/simplify/lift.sml
ViewVC logotype

Diff of /trunk/src/compiler/simplify/lift.sml

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

revision 227, Wed Aug 4 05:27:13 2010 UTC revision 234, Thu Aug 5 21:34:29 2010 UTC
# Line 3  Line 3 
3   * COPYRIGHT (c) 2010 The Diderot Project (http://diderot.cs.uchicago.edu)   * COPYRIGHT (c) 2010 The Diderot Project (http://diderot.cs.uchicago.edu)
4   * All rights reserved.   * All rights reserved.
5   *   *
6   * Lift field operations to global scope.   * Lift field operations to global scope and split global initialization to
7     * pre and post image loading phases.
8   *)   *)
9    
10  structure Lift : sig  structure Lift : sig
# Line 45  Line 46 
46                        | SOME(S.E_Tuple ys) => mkStatics (env, statics, ys)                        | SOME(S.E_Tuple ys) => mkStatics (env, statics, ys)
47                        | SOME(S.E_Apply(_, _, ys, _)) => mkStatics (env, statics, ys)                        | SOME(S.E_Apply(_, _, ys, _)) => mkStatics (env, statics, ys)
48                        | SOME(S.E_Cons ys) => mkStatics (env, statics, ys)                        | SOME(S.E_Cons ys) => mkStatics (env, statics, ys)
49                        | SOME(S.E_Input(_, SOME y)) => mkStatic (env, statics, y)                        | SOME(S.E_Input(_, _, SOME y)) => mkStatic (env, statics, y)
50                        | SOME _ => statics                        | SOME _ => statics
51                        | NONE => raise Fail(concat["variable ", Var.uniqueNameOf x, " has no binding"])                        | NONE => raise Fail(concat["variable ", Var.uniqueNameOf x, " has no binding"])
52                      (* end case *)                      (* end case *)

Legend:
Removed from v.227  
changed lines
  Added in v.234

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