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 1112, Thu May 5 01:30:20 2011 UTC revision 1113, Thu May 5 04:11:52 2011 UTC
# Line 43  Line 43 
43                        | SOME(S.E_Cons ys) => mkStatics (env, statics, ys)                        | SOME(S.E_Cons ys) => mkStatics (env, statics, ys)
44                        | SOME(S.E_Input(_, _, SOME y)) => mkStatic (env, statics, y)                        | SOME(S.E_Input(_, _, SOME y)) => mkStatic (env, statics, y)
45                        | SOME _ => statics                        | SOME _ => statics
46                        | NONE => raise Fail(concat["variable ", Var.uniqueNameOf x, " has no binding"])                        | NONE => raise Fail(concat[
47                                "variable ", Var.uniqueNameOf x, " has no binding"
48                              ])
49                      (* end case *)                      (* end case *)
50                    end                    end
51            and mkStatics (env, statics, xs) =            and mkStatics (env, statics, xs) =
# Line 75  Line 77 
77                        val statics2 = doBlock (env, statics, b2)                        val statics2 = doBlock (env, statics, b2)
78                        val n = VSet.numItems statics                        val n = VSet.numItems statics
79                        in                        in
80                          if ((n <> VSet.numItems statics1) orelse (n <> VSet.numItems statics2))                          if ((n <> VSet.numItems statics1)
81                            orelse (n <> VSet.numItems statics2))
82                            then (env, mkStatic(env, statics, x))                            then (env, mkStatic(env, statics, x))
83                            else (env, statics)                            else (env, statics)
84                        end                        end

Legend:
Removed from v.1112  
changed lines
  Added in v.1113

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