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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/simplify/simplify.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/simplify/simplify.sml

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

revision 4254, Mon Jul 25 14:41:12 2016 UTC revision 4310, Sat Jul 30 02:16:22 2016 UTC
# Line 139  Line 139 
139                  in                  in
140                    S.S_Var(x', SOME e') :: stms                    S.S_Var(x', SOME e') :: stms
141                  end                  end
142  (* FIXME: we should also define a "negate" operation on AST expressions so that we can  (* FIXME: we should also define a "boolean negate" operation on AST expressions so that we can
143   * handle both cases!   * handle both cases!
144   *)   *)
145              | AST.S_IfThenElse(AST.E_Orelse(e1, e2), s1 as AST.S_Block[], s2) =>              | AST.S_IfThenElse(AST.E_Orelse(e1, e2), s1 as AST.S_Block[], s2) =>

Legend:
Removed from v.4254  
changed lines
  Added in v.4310

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