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

SCM Repository

[diderot] Diff of /branches/lamont_dev/src/compiler/IL/check-il-fn.sml
ViewVC logotype

Diff of /branches/lamont_dev/src/compiler/IL/check-il-fn.sml

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

revision 1868, Fri May 11 03:17:42 2012 UTC revision 2055, Tue Oct 23 15:22:30 2012 UTC
# Line 272  Line 272 
272                                then ()                                then ()
273                                else errFn [S "unbound variable ", V cond, S " in conditional"]                                else errFn [S "unbound variable ", V cond, S " in conditional"]
274              | IL.FOREACH{cond,phis,...} =>              | IL.FOREACH{cond,phis,...} =>
275                              if VSet.member(Avail.inValue nd, cond)                               List.app (checkPhi (VSet.union(Avail.inValue nd, bvs))) (!phis)
                             orelse VSet.member(bvs, cond)  
                               then List.app (checkPhi (VSet.union(Avail.inValue nd, bvs))) (!phis)  
                               else errFn [S "unbound variable ", V cond, S " in foreach conditional"]  
276              | IL.ASSIGN{stm, ...} =>              | IL.ASSIGN{stm, ...} =>
277                              ignore (checkAssign (stm, VSet.union(Avail.inValue nd, bvs)))                              ignore (checkAssign (stm, VSet.union(Avail.inValue nd, bvs)))
278                          | IL.MASSIGN{stm, ...} =>                          | IL.MASSIGN{stm, ...} =>

Legend:
Removed from v.1868  
changed lines
  Added in v.2055

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