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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/tree-ir/tree-ir.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/tree-ir/tree-ir.sml

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

revision 4163, Thu Jul 7 09:45:19 2016 UTC revision 4175, Fri Jul 8 15:26:30 2016 UTC
# Line 52  Line 52 
52        }        }
53    
54      and method = Method of {      and method = Method of {
55            usesGlobals : bool,           (* does the method contain references to globals? *)            needsW : bool,                (* does the method need the world (e.g., to print) *)
56            needsWorld : bool,            (* does the method need the world (e.g., to print) *)            hasG : bool,                  (* does the method contain references to globals? *)
57            body : block                  (* the method body *)            body : block                  (* the method body *)
58          }          }
59    
# Line 77  Line 77 
77        | S_InputNrrd of global_var * string * string option * string option (* get image/seq input *)        | S_InputNrrd of global_var * string * string option * string option (* get image/seq input *)
78        | S_New of Atom.atom * exp list   (* new strand creation *)        | S_New of Atom.atom * exp list   (* new strand creation *)
79        | S_Save of state_var * exp  (* save strand state *)        | S_Save of state_var * exp  (* save strand state *)
 (* QUESTION: do we need S_Exit? *)  
       | S_Exit  
80        | S_Print of Ty.t list * exp list        | S_Print of Ty.t list * exp list
81          | S_Return of exp
82      (* return functions for methods *)      (* return functions for methods *)
83        | S_Active        | S_Active
84        | S_Stabilize        | S_Stabilize
# Line 129  Line 128 
128          name : string,                  (* name (should be unique) *)          name : string,                  (* name (should be unique) *)
129          id : Stamp.stamp,               (* unique ID *)          id : Stamp.stamp,               (* unique ID *)
130          ty : Ty.t,                      (* return type *)          ty : Ty.t,                      (* return type *)
131          paramTys : Ty.t list            (* parameter types *)          paramTys : Ty.t list,           (* parameter types *)
132            needsW : bool,                  (* does the function need the world (e.g., to print) *)
133            hasG : bool                     (* does the function contain references to globals? *)
134        }        }
135    
136      withtype input = global_var Inputs.input      withtype input = global_var Inputs.input

Legend:
Removed from v.4163  
changed lines
  Added in v.4175

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