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

SCM Repository

[diderot] Diff of /trunk/src/env/env.sml
ViewVC logotype

Diff of /trunk/src/env/env.sml

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

trunk/src/typechecker/env.sml revision 71, Sat May 22 22:16:04 2010 UTC trunk/src/env/env.sml revision 77, Mon May 24 21:57:10 2010 UTC
# Line 33  Line 33 
33      fun insertGlobal (env as E{g=GE{vEnv, ...}, ...}, x, x') =      fun insertGlobal (env as E{g=GE{vEnv, ...}, ...}, x, x') =
34            ATbl.insert vEnv (x, x')            ATbl.insert vEnv (x, x')
35    
36        fun insertLocal (env as E{vEnv, g}, x, x') =
37              E{vEnv = AMap.insert(vEnv, x, x'), g = g}
38    
39    end    end

Legend:
Removed from v.71  
changed lines
  Added in v.77

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