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

SCM Repository

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

Diff of /branches/vis15/src/compiler/simplify/simple-contract.sml

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

revision 3501, Thu Dec 17 20:07:13 2015 UTC revision 3502, Thu Dec 17 23:13:35 2015 UTC
# Line 137  Line 137 
137                              else (ST.tick cntDeadAssign; delete e; contractStms stms)                              else (ST.tick cntDeadAssign; delete e; contractStms stms)
138                          | S.S_IfThenElse(x, b1, b2) => (                          | S.S_IfThenElse(x, b1, b2) => (
139                              case (contractBlk b1, contractBlk b2)                              case (contractBlk b1, contractBlk b2)
140                               of (S.Block{code=[], ...} S.Block{code=[], ...}) => (                               of (S.Block{code=[], ...}, S.Block{code=[], ...}) => (
141                                    ST.tick cntDeadIf; unuse x; contractStms stms)                                    ST.tick cntDeadIf; unuse x; contractStms stms)
142                                | (b1, b2) => S.S_IfThenElse(x, b1, b2) :: contractStms stms                                | (b1, b2) => S.S_IfThenElse(x, b1, b2) :: contractStms stms
143                              (* end case *))                              (* end case *))

Legend:
Removed from v.3501  
changed lines
  Added in v.3502

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