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

SCM Repository

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

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

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

revision 612, Sat Mar 12 17:56:24 2011 UTC revision 613, Sat Mar 12 19:29:23 2011 UTC
# Line 188  Line 188 
188                  ]                  ]
189            end            end
190    
191      fun check (phase, IL.Program{globals, globalInit, strands}) = let      fun check (phase, IL.Program{globals, globalInit, initially, strands}) = let
192            val errBuf = ref []            val errBuf = ref []
193            val errFn = error errBuf            val errFn = error errBuf
194            fun final () = (case !errBuf            fun final () = (case !errBuf
# Line 245  Line 245 
245            in            in
246            (* check the global part *)            (* check the global part *)
247              checkCFG ([], globalInit);              checkCFG ([], globalInit);
248    (* FIXME: need to check initially *)
249            (* check the strands *)            (* check the strands *)
250              List.app checkStrand strands;              List.app checkStrand strands;
251            (* check for errors *)            (* check for errors *)

Legend:
Removed from v.612  
changed lines
  Added in v.613

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