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

Parent Directory | Revision Log | Patch

	revision 163, Tue Jul 20 18:55:32 2010 UTC	revision 164, Tue Jul 20 18:56:04 2010 UTC
#	Line 381	Line 381
381	val (params, env) = checkParams (env, cxt, params)	val (params, env) = checkParams (env, cxt, params)
382	(* check the actor state variable definitions *)	(* check the actor state variable definitions *)
383	val (vds, env) = let	val (vds, env) = let
384	fun checkStateVar (vd, (vds, env)) = let	fun checkStateVar ((isOut, vd), (vds, env)) = let
385	val (x, x', e') = checkVarDecl (env, cxt, AST.ActorStateVar, vd)	val (x, x', e') = checkVarDecl (env, cxt, AST.ActorStateVar, vd)
386	in	in
387	(AST.VD_Decl(x', e')::vds, Env.insertLocal(env, x, x'))	((isOut, AST.VD_Decl(x', e'))::vds, Env.insertLocal(env, x, x'))
388	end	end
389	val (vds, env) = List.foldl checkStateVar ([], env) state	val (vds, env) = List.foldl checkStateVar ([], env) state
390	in	in

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.163   changed lines   Added in v.164

---

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