def test_instantiate_target_def_overwrite():
l = make_linklet("(linklet () (x) (define-values (x) 4) (+ x x))")
t = make_instance({'x':1,'y':2})
result, t = eval_fixnum(l, t)
assert result == 8
assert check_val(t, "x", 4)
assert check_val(t, "y", 2)
def test_instantiate_target_def_stays_the_same():
# if linklet doesn't export, then target's def stay the same
l = make_linklet("(linklet () () (define-values (x) 4) (+ x x))")
t = make_instance(
"(linklet () () (define-values (x) 1) (define-values (y) 2))")
result, t = eval_fixnum(l, t)
assert result == 8
assert check_val(t, "x", 1)
assert check_val(t, "y", 2)
# use the local var, don't change target's var if you don't export
l = make_linklet("(linklet () () (define-values (x) 4) (+ x x))")
t1 = make_instance("(linklet () () (define-values (x) 10))")
t2 = make_instance("(linklet () (x) (define-values (x) 10))")
result1, t1 = eval_fixnum(l, t1)
result2, t2 = eval_fixnum(l, t2)
assert result1 == 8 and result2 == 8
assert check_val(t1, "x", 10)
assert check_val(t2, "x", 10)
# imported variables doesn't get into target at all ...
l1 = make_instance("(linklet () (x) (define-values (x) 4))")
l2 = make_linklet("(linklet ((x)) () (+ x x))")
result, t = eval_fixnum(l2, empty_target(), [l1])
assert result == 8
assert not defines(t, "x")
# ... let alone overwrite any var inside the target
l1 = make_instance("(linklet () (x) (define-values (x) 4))")
l2 = make_linklet("(linklet ((x)) () (+ x x))")
t = make_instance("(linklet () () (define-values (x) 1))")
result, t = eval_fixnum(l2, t, [l1])
assert result == 8
assert check_val(t, "x", 1)
def test_instantiate_eval_define_values():
l = make_linklet("(linklet () ((x x15)) (define-values (x) 4) (+ x x))")
t = make_instance("(linklet () ((x x16)) (define-values (x) 1000))")
_, t = eval_fixnum(l, t)
assert defines(t, "x15") and defines(t, "x16") and not defines(t, "x")
assert check_val(t, "x15", 4)
assert check_val(t, "x16", 1000)
def test_instantiate_target_def_overwrite():
l = make_linklet("(linklet () (x) (define-values (x) 4) (+ x x))")
t = make_instance({'x': 1, 'y': 2})
result, t = eval_fixnum(l, t)
assert result == 8
assert check_val(t, "x", 4)
assert check_val(t, "y", 2)
def test_instantiate_eval_define_values():
l = make_linklet("(linklet () ((x x15)) (define-values (x) 4) (+ x x))")
t = inst(make_linklet("(linklet () ((x x16)) (define-values (x) 1000))"))
_, t = eval_fixnum(l, t)
assert defines(t, "x15") and defines(t, "x16") and not defines(t, "x")
assert check_val(t, "x15", 4)
assert check_val(t, "x16", 1000)
def test_instantiate_target_def_stays_the_same():
# if linklet doesn't export, then target's def stay the same
l = make_linklet("(linklet () () (define-values (x) 4) (+ x x))")
t = make_instance({'x':1,'y':2})
result, t = eval_fixnum(l, t)
assert result == 8
assert check_val(t, "x", 1)
assert check_val(t, "y", 2)
# use the local var, don't change target's var if you don't export
l = make_linklet("(linklet () () (define-values (x) 4) (+ x x))")
t1 = inst(make_linklet("(linklet () (x) (define-values (x) 10))"))
t2 = inst(make_linklet("(linklet () (x) (define-values (x) 10))"))
result1, t1 = eval_fixnum(l, t1)
result2, t2 = eval_fixnum(l, t2)
assert result1 == 8 and result2 == 8
assert check_val(t1, "x", 10)
assert check_val(t2, "x", 10)
# imported variables doesn't get into target at all ...
l1 = inst(make_linklet("(linklet () (x) (define-values (x) 4))"))
l2 = make_linklet("(linklet ((x)) () (+ x x))")
result, t = eval_fixnum(l2, empty_target(), [l1])
assert result == 8
assert not defines(t, "x")
# ... let alone overwrite any var inside the target
l1 = make_instance({'x':4})
l2 = make_linklet("(linklet ((x)) () (+ x x))")
t = make_instance({'x':1})
result, t = eval_fixnum(l2, t, [l1])
assert result == 8
assert check_val(t, "x", 1)
def test_instantiate_export_rename():
l1 = inst(make_linklet("(linklet () ((x1 x)) (define-values (x1) 4))"))
l2 = make_linklet("(linklet ((x)) ((y1 y)) (define-values (y1) x) (+ x y1))")
assert check_val(l1, "x", 4)
result, t = eval_fixnum(l2, empty_target(), [l1])
assert result == 8
assert check_val(t, "y", 4)
assert not defines(t, "x")
def test_instantiate_export_rename():
l1 = make_instance("(linklet () ((x1 x)) (define-values (x1) 4))")
l2 = make_linklet(
"(linklet ((x)) ((y1 y)) (define-values (y1) x) (+ x y1))")
assert check_val(l1, "x", 4)
result, t = eval_fixnum(l2, empty_target(), [l1])
assert result == 8
assert check_val(t, "y", 4)
assert not defines(t, "x")
def test_instantiate_discarding_defs():
l = inst(make_linklet("(linklet () ((x x15)) (define-values (x) 4) (define-values (x15) 75))"))
assert not defines(l, "x")
assert check_val(l, "x15", 4) #### Not 75!
#k,v = get_var_val(l, "x15.1") # uninterned
#assert v.value == 75
l = inst(make_linklet("(linklet () ((x x15) k) (define-values (x) 4) (define-values (x15) 75) (define-values (k) x15))"))
assert not defines(l, "x")
assert check_val(l, "x15", 4) #### Not 75!
assert check_val(l, "k", 75) #### Not 4!
def test_instantiate_target():
l = make_linklet("(linklet () (x) (define-values (x) 4) (+ x x))")
result, t = eval_fixnum(l, empty_target())
assert result == 8
assert check_val(t, "x", 4)
# even if linklet doesn't export, def goes into target if it doesn't already have it
l2 = make_linklet("(linklet () () (define-values (x) 4) (+ x x))")
result2, t2 = eval_fixnum(l2, empty_target())
assert result2 == 8
assert check_val(t2, "x", 4)
def test_instantiate_set_bang():
l = make_linklet("(linklet () () (define-values (x) 3) (set! x 5) (+ x x))")
t = make_instance({'x':6})
result, t = eval_fixnum(l, t)
assert defines(t, "x")
assert check_val(t, "x", 6)
assert result == 10
l = make_linklet("(linklet () (x) (set! x 5) (+ x x))")
t = make_instance({'x':3})
result, t = eval_fixnum(l, t)
assert check_val(t, "x", 5)
assert result == 10
def test_instantiate_closure_capture_and_reset():
l1 = make_instance("(linklet () (x) (define-values (x) -1))")
l2 = make_instance(
"(linklet ((x)) (g) (define-values (g) (lambda (p) x)))", [l1])
l3 = make_linklet("(linklet ((g)) (x) (set! x 5) (g 1000))")
t = make_instance("(linklet () () (define-values (x) 2000))")
result, t = eval_fixnum(l3, t, [l2])
assert check_val(t, "x", 5)
assert result == -1
l1 = make_instance("(linklet () (x) (define-values (x) -11))")
l2 = make_instance(
"(linklet ((x)) (g) (define-values (y) 131) (define-values (g) (lambda (p) (+ x y))) (set! y 71))",
[l1])
l3 = make_linklet("(linklet ((g)) () (g -1))")
result, t = eval_fixnum(l3, empty_target(), [l2])
assert result == 60
l1 = make_instance("(linklet () (x) (define-values (x) 1))", l_name="l1")
l2 = make_linklet(
"(linklet ((x)) (y g) (define-values (y) 10) (define-values (g) (lambda (p) (+ x y))) (set! y 50))",
"l2")
t1 = empty_target("t1")
t2 = empty_target("t2")
t3 = empty_target("t3")
_, t1 = eval_fixnum(l2, t1, [l1])
_, t2 = eval_fixnum(l2, t2, [l1])
_, t3 = eval_fixnum(l2, t3, [l1])
# at this point:
# t : {y:50, g:closure}
l3 = make_linklet("(linklet () (y g) (set! y 200) (g -1))", "l3")
result, t1 = eval_fixnum(l3, t1)
assert result == 201 # result1530
# here's an interesting one:
assert check_val(t1, "y", 200)
# t2 : {y:50, g:closure}
l4 = make_linklet(
"(linklet () (y g) (set! y 200) (define-values (y) 90) (g -1))", "l4")
result, t2 = eval_fixnum(l4, t2)
assert result == 91 # racket - result1531
assert check_val(t2, "y", 90)
# t3 : {y:50, g:closure}
l5 = make_linklet("(linklet () (g) (define-values (y) 90) (+ y (g -1)))",
"l5")
result, t3 = eval_fixnum(l5, t3)
assert result == 141 # racket - result1532
assert check_val(t3, "y", 50)
def test_instantiate_set_bang():
l = make_linklet(
"(linklet () () (define-values (x) 3) (set! x 5) (+ x x))")
t = make_instance("(linklet () () (define-values (x) 6))")
result, t = eval_fixnum(l, t)
assert defines(t, "x")
assert check_val(t, "x", 6)
assert result == 10
l = make_linklet("(linklet () (x) (set! x 5) (+ x x))")
t = make_instance("(linklet () () (define-values (x) 3))")
result, t = eval_fixnum(l, t)
assert check_val(t, "x", 5)
assert result == 10
def test_instantiate_target_always_overwrite():
# if target doesn't have it, then it doesn't matter if linklet exports or not,
# put the variable in the target
l = make_linklet("(linklet () () (define-values (z) 4) z)")
result, t = eval_fixnum(l, empty_target())
assert result == 4
assert check_val(t, "z", 4)
def test_instantiate_target_always_overwrite():
# if target doesn't have it, then it doesn't matter if linklet exports or not,
# put the variable in the target
l = make_linklet("(linklet () () (define-values (z) 4) z)")
result, t = eval_fixnum(l, empty_target())
assert result == 4
assert check_val(t, "z", 4)
def test_instantiate_basic2():
l1 = make_linklet("(linklet () ((x1 x6)) (define-values (x1) 4))")
t = inst(l1, [])
l2 = make_linklet("(linklet () ((x2 x6)) (+ x2 x2))")
result, t = eval_fixnum(l2, t)
assert result == 8
assert check_val(t, "x6", 4)
def test_instantiate_basic2():
l1 = make_linklet("(linklet () ((x1 x6)) (define-values (x1) 4))")
t = inst(l1, [])
l2 = make_linklet("(linklet () ((x2 x6)) (+ x2 x2))")
result, t = eval_fixnum(l2, t)
assert result == 8
assert check_val(t, "x6", 4)
def test_instantiate_target_transfer_set_banged():
l2 = make_linklet("(linklet () (y) (define-values (y) 10) (set! y 50))", "l2")
t1 = empty_target("t1")
t2 = empty_target("t2")
_, t1 = eval_fixnum(l2, t1, [])
_, t2 = eval_fixnum(l2, t2, [])
assert check_val(t2, "y", 50)
def test_instantiate_define_var_set_banged_elsewhere():
li = make_linklet(
"(linklet () (x t) (define-values (g) (lambda () (set! t 10))) (define-values (t) 50) (g) t)"
)
result, t = eval_fixnum(li, empty_target())
assert result == 10
assert check_val(t, "t", 10)
def test_instantiate_closure_capture_and_reset4():
l2 = make_linklet("(linklet () (y g) (define-values (y) 10) (define-values (g) (lambda () y)) (set! y 50))", "l2")
t2 = empty_target("t2")
_, t2 = eval_fixnum(l2, t2, [])
l4 = make_linklet("(linklet () (y g) (set! y 200) (define-values (y) 90) (g))")
result, t2 = eval_fixnum(l4, t2)
assert result == 90
assert check_val(t2, "y", 90)
def test_instantiate_closure_capture_and_reset3_5_order_matters():
l2 = make_linklet("(linklet () (y) (define-values (y) 10) (set! y 50))", "l2")
t2 = empty_target("t2")
_, t2 = eval_fixnum(l2, t2, [])
l4 = make_linklet("(linklet () (y) (define-values (y) 90) (define-values (z) (+ y y)) (set! y 200) z)")
result, t2 = eval_fixnum(l4, t2)
assert result == 180
assert check_val(t2, "y", 200)
def test_instantiate_closure_capture_and_reset1():
l1 = inst(make_linklet("(linklet () (x) (define-values (x) -1))"))
l2 = inst(make_linklet("(linklet ((x)) (g) (define-values (g) (lambda (p) x)))"), [l1])
l3 = make_linklet("(linklet ((g)) (x) (set! x 5) (g 1000))")
t = make_instance({'x':2000})
result, t = eval_fixnum(l3, t, [l2])
assert check_val(t, "x", 5)
assert result == -1
def test_instantiate_discarding_defs():
l = make_instance(
"(linklet () ((x x15)) (define-values (x) 4) (define-values (x15) 75))"
)
assert not defines(l, "x")
assert check_val(l, "x15", 4) #### Not 75!
k, v = get_var_val(l, "x15.1") # uninterned
assert v.value == 75
l = make_instance(
"(linklet () ((x x15) k) (define-values (x) 4) (define-values (x15) 75) (define-values (k) x15))"
)
assert not defines(l, "x")
assert check_val(l, "x15", 4) #### Not 75!
assert check_val(l, "k", 75) #### Not 4!
k, v = get_var_val(l, "x15.1")
assert v.value == 75
def test_instantiate_target_transfer_set_banged():
l2 = make_linklet("(linklet () (y) (define-values (y) 10) (set! y 50))",
"l2")
t1 = empty_target("t1")
t2 = empty_target("t2")
_, t1 = eval_fixnum(l2, t1, [])
_, t2 = eval_fixnum(l2, t2, [])
assert check_val(t2, "y", 50)
def test_instantiate_closure_capture_and_reset1():
l1 = inst(make_linklet("(linklet () (x) (define-values (x) -1))"))
l2 = inst(
make_linklet("(linklet ((x)) (g) (define-values (g) (lambda (p) x)))"),
[l1])
l3 = make_linklet("(linklet ((g)) (x) (set! x 5) (g 1000))")
t = make_instance({'x': 2000})
result, t = eval_fixnum(l3, t, [l2])
assert check_val(t, "x", 5)
assert result == -1
def test_instantiate_closure_capture_and_reset3_5_order_matters():
l2 = make_linklet("(linklet () (y) (define-values (y) 10) (set! y 50))",
"l2")
t2 = empty_target("t2")
_, t2 = eval_fixnum(l2, t2, [])
l4 = make_linklet(
"(linklet () (y) (define-values (y) 90) (define-values (z) (+ y y)) (set! y 200) z)"
)
result, t2 = eval_fixnum(l4, t2)
assert result == 180
assert check_val(t2, "y", 200)
def test_instantiate_closure_capture_and_reset4():
l2 = make_linklet(
"(linklet () (y g) (define-values (y) 10) (define-values (g) (lambda () y)) (set! y 50))",
"l2")
t2 = empty_target("t2")
_, t2 = eval_fixnum(l2, t2, [])
l4 = make_linklet(
"(linklet () (y g) (set! y 200) (define-values (y) 90) (g))")
result, t2 = eval_fixnum(l4, t2)
assert result == 90
assert check_val(t2, "y", 90)
def test_instantiate_use_targets_def():
l = make_linklet("(linklet () (x) (+ x x))")
t = make_instance({'x':10})
result, _ = eval_fixnum(l, t)
assert result == 20
# use linklet's definition if both linklet and target have it
l = make_linklet("(linklet () () (define-values (x) 4) (+ x x))") # doesn't export x
t = make_instance({'x':10})
result, t = eval_fixnum(l, t)
assert result == 8
assert check_val(t, "x", 10)
def test_instantiate_use_targets_def():
l = make_linklet("(linklet () (x) (+ x x))")
t = make_instance("(linklet () () (define-values (x) 10))")
result, _ = eval_fixnum(l, t)
assert result == 20
# use linklet's definition if both linklet and target have it
l = make_linklet(
"(linklet () () (define-values (x) 4) (+ x x))") # doesn't export x
t = make_instance("(linklet () () (define-values (x) 10))")
result, t = eval_fixnum(l, t)
assert result == 8
assert check_val(t, "x", 10)
def test_instantiate_uninitialize_undefined_exports():
l = make_linklet("(linklet () (x))")
_, t = eval_fixnum(l, empty_target())
assert t.is_var_uninitialized(W_Symbol.make("x"))
# don't touch if target has it
l = make_linklet("(linklet () (x))")
t = make_instance("(linklet () () (define-values (x) 10))")
_, t = eval_fixnum(l, t)
assert not t.is_var_uninitialized(W_Symbol.make("x"))
# target exports the same var with another external name
l = make_linklet("(linklet () (x2) (+ x2 x2))")
t = make_instance("(linklet () ((x x2)) (define-values (x) 10))")
result, t = eval_fixnum(l, t)
assert result == 20
assert check_val(t, "x2", 10)
assert not defines(t, "x")
def test_instantiate_uninitialize_undefined_exports():
l = make_linklet("(linklet () (x))")
_, t = eval_fixnum(l, empty_target())
assert t.vars[W_Symbol.make("x")].val is w_uninitialized
# don't touch if target has it
l = make_linklet("(linklet () (x))")
t = make_instance({'x':10})
_, t = eval_fixnum(l, t)
assert t.vars[W_Symbol.make("x")].val is not w_uninitialized
# target exports the same var with another external name
l = make_linklet("(linklet () (x2) (+ x2 x2))")
t = inst(make_linklet("(linklet () ((x x2)) (define-values (x) 10))"))
result, t = eval_fixnum(l, t)
assert result == 20
assert check_val(t, "x2", 10)
assert not defines(t, "x")
def test_instantiate_basic_import():
l1 = make_instance("(linklet () (x) (define-values (x) 4))")
l2 = make_linklet("(linklet ((x)) () (+ x x))")
result, _ = eval_fixnum(l2, empty_target(), [l1])
assert result == 8
l1 = make_instance("(linklet () (x) (define-values (x) 4))")
l2 = make_linklet(
"(linklet ((x)) (y) (define-values (y) (+ x x)) (+ y y))")
result, t = eval_fixnum(l2, empty_target(), [l1])
assert result == 16
assert check_val(t, "y", 8)
assert not defines(t, "x")
# target's defs are overwritten only if the linklet has a definition
# not with an imported variable
l1 = make_instance("(linklet () (x) (define-values (x) 4))")
l2 = make_linklet("(linklet ((x)) () (+ x x))")
t = make_instance("(linklet () () (define-values (x) 1000))")
result, t = eval_fixnum(l2, t, [l1])
assert result == 8
assert check_val(t, "x", 1000)
## same thing with the import renaming
l1 = make_instance("(linklet () (x) (define-values (x) 4))")
l2 = make_linklet("(linklet (((x x2))) () (+ x2 x2))")
t = make_instance(
"(linklet () () (define-values (x) 1000) (define-values (x2) 2000))")
result, t = eval_fixnum(l2, t, [l1])
assert result == 8
assert check_val(t, "x", 1000)
assert check_val(t, "x2", 2000)
## slightly trickier
l1 = make_instance("(linklet () (x) (define-values (x) 4))")
l2 = make_linklet(
"(linklet (((x x2))) () (define-values (x) 14) (+ x2 x))")
t = make_instance(
"(linklet () () (define-values (x) 1000) (define-values (x2) 2000))")
result, t = eval_fixnum(l2, t, [l1])
assert result == 18
assert check_val(t, "x", 1000)
assert check_val(t, "x2", 2000)
def test_instantiate_basic_import():
l1 = inst(make_linklet("(linklet () (x) (define-values (x) 4))"))
l2 = make_linklet("(linklet ((x)) () (+ x x))")
result, _ = eval_fixnum(l2, empty_target(), [l1])
assert result == 8
l1 = inst(make_linklet("(linklet () (x) (define-values (x) 4))"))
l2 = make_linklet("(linklet ((x)) (y) (define-values (y) (+ x x)) (+ y y))")
result, t = eval_fixnum(l2, empty_target(), [l1])
assert result == 16
assert check_val(t, "y", 8)
assert not defines(t, "x")
# target's defs are overwritten only if the linklet has a definition
# not with an imported variable
l1 = inst(make_linklet("(linklet () (x) (define-values (x) 4))"))
l2 = make_linklet("(linklet ((x)) () (+ x x))")
t = make_instance({'x':1000})
result, t = eval_fixnum(l2, t, [l1])
assert result == 8
assert check_val(t, "x", 1000)
## same thing with the import renaming
l1 = inst(make_linklet("(linklet () (x) (define-values (x) 4))"))
l2 = make_linklet("(linklet (((x x2))) () (+ x2 x2))")
t = make_instance({'x':1000, 'x2':2000})
result, t = eval_fixnum(l2, t, [l1])
assert result == 8
assert check_val(t, "x", 1000)
assert check_val(t, "x2", 2000)
## slightly trickier
l1 = inst(make_linklet("(linklet () (x) (define-values (x) 4))"))
l2 = make_linklet("(linklet (((x x2))) () (define-values (x) 14) (+ x2 x))")
t = make_instance({'x':1000, 'x2':2000})
result, t = eval_fixnum(l2, t, [l1])
assert result == 18
assert check_val(t, "x", 1000)
assert check_val(t, "x2", 2000)
def test_instantiate_closure_capture_and_reset():
l2 = make_linklet(
"(linklet () (y g) (define-values (y) 10) (define-values (g) (lambda () y)) (set! y 50))",
"l2")
t1 = empty_target("t1")
t2 = empty_target("t2")
t3 = empty_target("t3")
_, t1 = eval_fixnum(l2, t1, [])
_, t2 = eval_fixnum(l2, t2, [])
_, t3 = eval_fixnum(l2, t3, [])
# the cells for both y and g in each target have to be
# different cells, look below, one change doesn't affect
# any others
assert check_val(t1, "y", 50)
assert check_val(t2, "y", 50)
assert check_val(t3, "y", 50)
l3 = make_linklet("(linklet () (y g) (set! y 300) (g))", "l3")
result, t1 = eval_fixnum(l3, t1)
assert result == 300
# here's an interesting one:
assert check_val(t1, "y", 300)
assert check_val(t2, "y", 50)
assert check_val(t3, "y", 50)
l4 = make_linklet(
"(linklet () (y g) (set! y 200) (define-values (y) 90) (g))", "l4")
result, t2 = eval_fixnum(l4, t2)
assert result == 90
assert check_val(t1, "y", 300)
assert check_val(t2, "y", 90)
assert check_val(t3, "y", 50)
l5 = make_linklet("(linklet () (g) (define-values (y) 90) (+ y (g)))",
"l5")
result, t3 = eval_fixnum(l5, t3)
assert result == 140
assert check_val(t1, "y", 300)
assert check_val(t2, "y", 90)
assert check_val(t3, "y", 50)
def test_instantiate_target():
l = make_linklet("(linklet () (x) (define-values (x) 4) (+ x x))")
result, t = eval_fixnum(l, empty_target())
assert result == 8
assert check_val(t, "x", 4)
def test_instantiate_target2():
# even if linklet doesn't export, def goes into target if it doesn't already have it
l2 = make_linklet("(linklet () () (define-values (x) 4) (+ x x))")
result2, t2 = eval_fixnum(l2, empty_target())
assert result2 == 8
assert check_val(t2, "x", 4)
def test_instantiate_basic():
l = make_instance("(linklet () (x) (define-values (x) 4))")
assert isinstance(l, W_LinkletInstance)
assert check_val(l, "x", 4)
def test_instantiate_basic():
l1 = inst(make_linklet("(linklet () (x) (define-values (x) 4))"), [])
assert isinstance(l1, W_LinkletInstance)
assert check_val(l1, "x", 4)
def test_instantiate_basic():
l1 = inst(make_linklet("(linklet () (x) (define-values (x) 4))"), [])
assert isinstance(l1, W_LinkletInstance)
assert check_val(l1, "x", 4)
def test_instantiate_target():
l = make_linklet("(linklet () (x) (define-values (x) 4) (+ x x))")
result, t = eval_fixnum(l, empty_target())
assert result == 8
assert check_val(t, "x", 4)
def test_instantiate_closure_capture_and_reset():
l2 = make_linklet("(linklet () (y g) (define-values (y) 10) (define-values (g) (lambda () y)) (set! y 50))", "l2")
t1 = empty_target("t1")
t2 = empty_target("t2")
t3 = empty_target("t3")
_, t1 = eval_fixnum(l2, t1, [])
_, t2 = eval_fixnum(l2, t2, [])
_, t3 = eval_fixnum(l2, t3, [])
# the cells for both y and g in each target have to be
# different cells, look below, one change doesn't affect
# any others
assert check_val(t1, "y", 50)
assert check_val(t2, "y", 50)
assert check_val(t3, "y", 50)
l3 = make_linklet("(linklet () (y g) (set! y 300) (g))", "l3")
result, t1 = eval_fixnum(l3, t1)
assert result == 300
# here's an interesting one:
assert check_val(t1, "y", 300)
assert check_val(t2, "y", 50)
assert check_val(t3, "y", 50)
l4 = make_linklet("(linklet () (y g) (set! y 200) (define-values (y) 90) (g))", "l4")
result, t2 = eval_fixnum(l4, t2)
assert result == 90
assert check_val(t1, "y", 300)
assert check_val(t2, "y", 90)
assert check_val(t3, "y", 50)
l5 = make_linklet("(linklet () (g) (define-values (y) 90) (+ y (g)))", "l5")
result, t3 = eval_fixnum(l5, t3)
assert result == 140
assert check_val(t1, "y", 300)
assert check_val(t2, "y", 90)
assert check_val(t3, "y", 50)
def test_instantiate_define_var_set_banged_elsewhere():
li = make_linklet("(linklet () (x t) (define-values (g) (lambda () (set! t 10))) (define-values (t) 50) (g) t)")
result, t = eval_fixnum(li, empty_target())
assert result == 10
assert check_val(t, "t", 10)
