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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch 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

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