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

Parent Directory | Revision Log | Patch

	revision 71, Sat May 22 22:16:04 2010 UTC	revision 72, Sat May 22 22:48:47 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 = VMap.insert(vEnv, x, x'), g = g}
38
39	end	end

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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

---

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