def f(x, y):
e1 = env_setitem(newenv, embed(x), 100)
e2 = env_setitem(newenv, embed(x), 10)
e2 = env_setitem(e2, embed(y), 20)
e3 = env_add(e1, e2)
a = env_getitem(e3, embed(x), 0)
b = env_getitem(e3, embed(y), 0)
c = env_getitem(e3, embed(a), 0)
return (a, b, c)
def test_env_onfn():
def f(x):
return x * x
e = newenv
e = env_setitem(e, embed(f), newenv)
return env_getitem(e, embed(f), newenv)
def before(x, y):
key = embed(x)
def b_help(x, y):
return env_setitem(newenv, key, x * y)
return env_getitem(b_help(x, y), key, 0)
def before(x, y):
e1 = env_setitem(newenv, embed(x), x)
e1 = env_setitem(e1, embed(y), y)
e2 = env_setitem(newenv, embed(y), y)
e2 = env_setitem(e2, embed(x), x)
return env_getitem(env_add(e1, e2), embed(x), 0)
def before(x, y):
key = embed(x)
def f1(x, y):
return env_setitem(newenv, key, x * y)
def f2(x, y):
return env_setitem(newenv, key, x + y)
return env_getitem(switch(x < 0, f1, f2)(x, y), key, 0)
def test_env(x, y, z):
e = newenv
e = env_setitem(e, embed(x), y)
return env_getitem(e, embed(x), z)
def a_help(x, y):
return env_getitem(x, 1234, 0)
def before(x, y):
def b_help(x, y):
return x
return env_getitem(b_help(x, y), 1234, 0)
def after(x, y):
key = embed(y)
return switch(x < 0, env_getitem(newenv, key, 5),
env_getitem(newenv, key, 5))
def before(x, y):
return env_getitem(switch(x < 0, newenv, newenv), embed(y), 5)
def before(x, y):
a = 5678
e = env_setitem(newenv, embed(x), y)
e = env_setitem(e, embed(a), a)
return env_getitem(e, embed(x), 1234)
def before(x):
return env_getitem(newenv, embed(x), 1234)
