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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/global-env/global-env.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/global-env/global-env.sml

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

revision 3397, Tue Nov 10 19:44:40 2015 UTC revision 3398, Wed Nov 11 01:17:58 2015 UTC
# Line 32  Line 32 
32      val insertFunc : t * Atom.atom * fun_def -> unit      val insertFunc : t * Atom.atom * fun_def -> unit
33    
34    (* insert a global variable binding *)    (* insert a global variable binding *)
35      val insertGlobal : t * Atom.atom * AST.var -> unit      val insertVar : t * Atom.atom * AST.var -> unit
36    
37    (* tracking program features *)    (* tracking program features *)
38      val recordProp : t * StrandUtil.program_prop -> unit      val recordProp : t * StrandUtil.program_prop -> unit
# Line 85  Line 85 
85    
86      fun insertFunc (GE{fEnv, ...}, f, f') = ATbl.insert fEnv (f, f')      fun insertFunc (GE{fEnv, ...}, f, f') = ATbl.insert fEnv (f, f')
87    
88      fun insertGlobal (GE{vEnv, ...}, x, x') = ATbl.insert vEnv (x, x')      fun insertVar (GE{vEnv, ...}, x, x') = ATbl.insert vEnv (x, x')
89    
90    (* tracking program features *)    (* tracking program features *)
91      fun recordProp (GE{props, ...}, p) = if (StrandUtil.hasProp p (!props))      fun recordProp (GE{props, ...}, p) = if (StrandUtil.hasProp p (!props))

Legend:
Removed from v.3397  
changed lines
  Added in v.3398

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