Ejemplo n.º 1
0
 public void Check(TEnv env)
 {
     env.PushEnv();
     foreach (VarDecl parameter in parameters)
     {
         env.DeclareLocal(parameter);
     }
     body.Check(env);
     env.PopEnv();
 }
Ejemplo n.º 2
0
 public override void Check(TEnv env)
 {
     env.DeclareLocal(this);
 }