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)
def cont(self, cont, solver): arity2rules, signature2rules = make_rules(self.rules) macro = UserMacro(arity2rules, signature2rules, solver.env, recursive=False) return value_cont(macro, cont)
def cont(self, cont, solver): arity2rules, signature2rules = make_rules(self.rules) func = UserFunction(arity2rules, signature2rules, solver.env, recursive=False) return value_cont(func, cont)
def cont(self, cont, solver): return value_cont(self.exp, cont) def __eq__(self, other): return self.exp==other.exp
def cont(self, cont, solver): return value_cont(self.global_env.bindings[self.var])
def cont(self, cont, solver): return value_cont(solver.env.outer[self.var], cont)
def cont(self, cont, solver): return value_cont(self.getvalue(solver.env), cont)