Ejemplo n.º 1
0
 def cont(self, cont, solver):
   newEnv = solver.env.extend()
   solver.env = newEnv
   arity2rules, signature2rules = make_rules(self.rules)
   func = UserFunction(arity2rules, signature2rules, newEnv, recursive=True)
   return value_cont(func, cont)
Ejemplo n.º 2
0
 def cont(self, cont, solver):
   arity2rules, signature2rules = make_rules(self.rules)
   macro = UserMacro(arity2rules, signature2rules, solver.env, recursive=False)
   return value_cont(macro, cont)
Ejemplo n.º 3
0
 def cont(self, cont, solver):
   arity2rules, signature2rules = make_rules(self.rules)
   func = UserFunction(arity2rules, signature2rules, solver.env, recursive=False)
   return value_cont(func, cont)
Ejemplo n.º 4
0
 def cont(self, cont, solver): return value_cont(self.exp, cont)
 def __eq__(self, other): return self.exp==other.exp
Ejemplo n.º 5
0
 def cont(self, cont, solver):
   return value_cont(self.global_env.bindings[self.var])
Ejemplo n.º 6
0
 def cont(self, cont, solver):
   return value_cont(solver.env.outer[self.var], cont)
Ejemplo n.º 7
0
 def cont(self, cont, solver):
   return value_cont(self.getvalue(solver.env), cont)