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

SCM Repository

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

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

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

revision 413, Sat Oct 16 15:39:31 2010 UTC revision 414, Sat Oct 16 18:00:43 2010 UTC
# Line 35  Line 35 
35     * identify the phase that the check follows and the return result will be true     * identify the phase that the check follows and the return result will be true
36     * if any errors were detected.     * if any errors were detected.
37     *)     *)
38      fun check : string * IL.program -> bool      val check : string * IL.program -> bool
39    
40    end = struct    end = struct
41    
# Line 47  Line 47 
47      datatype token      datatype token
48        = NL | S of string | V of IL.var | VTYS of IL.var list | TY of Ty.ty | TYS of Ty.ty list        = NL | S of string | V of IL.var | VTYS of IL.var list | TY of Ty.ty | TYS of Ty.ty list
49    
50      fun err errBuf toks = let      fun error errBuf toks = let
51            fun tok2str NL = "\n  ** "            fun tok2str NL = "\n  ** "
52              | tok2str (S s) = s              | tok2str (S s) = s
53              | tok2str (V x) = V.toString x              | tok2str (V x) = V.toString x
# Line 148  Line 148 
148    
149      fun check (phase, IL.Program{globals, globalInit, actors}) = let      fun check (phase, IL.Program{globals, globalInit, actors}) = let
150            val errBuf = ref []            val errBuf = ref []
151            val errFn = errFn errBuf            val errFn = error errBuf
152            fun final () = (case !errBuf            fun final () = (case !errBuf
153                   of [] => false                   of [] => false
154                    | errs => (                    | errs => (

Legend:
Removed from v.413  
changed lines
  Added in v.414

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