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 4174, Fri Jul 8 12:40:05 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 129  Line 129 
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          props : PropList.holder         (* property list *)          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.4174  
changed lines
  Added in v.4175

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