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

SCM Repository

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

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

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

revision 2154, Mon Feb 18 16:54:22 2013 UTC revision 2211, Tue Feb 26 12:13:36 2013 UTC
# Line 68  Line 68 
68    
69    (* is the given statement's continuation the syntactically following statement? *)    (* is the given statement's continuation the syntactically following statement? *)
70      fun contIsNext (AST.S_Block stms) = List.all contIsNext stms      fun contIsNext (AST.S_Block stms) = List.all contIsNext stms
71        | contIsNext (AST.IfThenElse(_, s1, s2)) = contIsNext s1 orelse contIsNext s2        | contIsNext (AST.S_IfThenElse(_, s1, s2)) = contIsNext s1 orelse contIsNext s2
72        | contIsNext AST.S_Die = false        | contIsNext AST.S_Die = false
73        | contIsNext AST.S_Stabilize = false        | contIsNext AST.S_Stabilize = false
74        | contIsNext (AST.S_Return _) = false        | contIsNext (AST.S_Return _) = false
# Line 186  Line 186 
186                }                }
187            end            end
188    
189      and simplifyStrand {name, params, state, methods} = let      and simplifyStrand (AST.Strand{name, params, state, methods}) = let
190            fun simplifyState ([], xs, stms) = (List.rev xs, mkBlock stms)            fun simplifyState ([], xs, stms) = (List.rev xs, mkBlock stms)
191              | simplifyState (AST.VD_Decl(x, e) :: r, xs, stms) = let              | simplifyState (AST.VD_Decl(x, e) :: r, xs, stms) = let
192                  val (stms, e') = simplifyExp (e, stms)                  val (stms, e') = simplifyExp (e, stms)

Legend:
Removed from v.2154  
changed lines
  Added in v.2211

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