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_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 = 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_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_continuation_marks_across_linklets():
l1 = inst(make_linklet("""(linklet () (f)
(define-values (f)
(lambda (c)
(if
(eq? (continuation-mark-set-first #f parameterization-key) c)
1 -1))))"""))
l2 = make_linklet("""(linklet ((f)) ()
(f (continuation-mark-set-first #f parameterization-key)))""")
result, _ = eval_fixnum(l2, empty_target(), [l1])
assert result == 1
l1 = inst(make_linklet("""(linklet
() (f)
(define-values (f)
(lambda (c)
(if (eq? c (continuation-mark-set-first #f parameterization-key))
1
-1))))"""))
l2 = make_linklet("""(linklet
((f)) ()
(define-values (caner) (make-parameter #f))
(define-values (new-params)
(extend-parameterization
(continuation-mark-set-first #f parameterization-key)
caner
11))
(with-continuation-mark
parameterization-key
new-params
(car (list (f new-params))))
)""")
result, _ = eval_fixnum(l2, empty_target(), [l1])
assert result == 1
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_lets_and_scopes():
l = make_linklet(
"(linklet () () (letrec-values (((fact) (lambda (n) (if (<= n 1) 1 (* n (fact (- n 1))))))) (fact 5)))"
)
result, _ = eval_fixnum(l, empty_target())
assert result == 120
l1 = make_instance(
"(linklet () (add2) (define-values (add) (lambda (x) (lambda (y) (+ x y)))) (define-values (add2) (add 2)))"
)
l2 = make_linklet("(linklet ((add2)) () (add2 6))")
result, _ = eval_fixnum(l2, empty_target(), [l1])
assert result == 8
l = make_linklet(
"(linklet () () ((((lambda (x) (lambda (x) (lambda (y) (+ x y)))) 1) 2) 3))"
)
result, _ = eval_fixnum(l, empty_target())
assert result == 5
l = make_linklet(
"(linklet () () (let-values (((x) (let-values (((x) 2)) (+ x x)))) (+ x x)))"
)
result, _ = eval_fixnum(l, empty_target())
assert result == 8
def test_vector_set_through_a_closure2():
t = inst(make_linklet("(linklet () (x g) (define-values (x) (make-vector 20 0)) (define-values (g) (lambda (i y) (vector-set! x i y))))"))
l1 = make_linklet("(linklet () (x g) (g 5 42) (vector-ref x 5))")
result1, _ = eval_fixnum(l1, t)
assert result1 == 42
l2 = make_linklet("(linklet () (x g) (g 15 1000) (+ (vector-ref x 15) (vector-ref x 5)))")
result2, _ = eval_fixnum(l2, t)
assert result2 == 1042
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_small_list():
# boxed immutable hash table (small-list.rkt)
l1 = inst(make_linklet("(linklet () (h) (define-values (h) (box (hasheq))))"))
l2 = make_linklet("(linklet ((h)) () (set-box! h (hash-set (unbox h) \"a\" 5)) (hash-ref (unbox h) \"a\" #f))")
result, t = eval_fixnum(l2, empty_target(), [l1])
assert result == 5
result, _ = eval_fixnum(make_linklet("(linklet ((h)) () (hash-ref (unbox h) \"a\" #f))"), t, [l1])
assert result == 5
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_closure_capture_and_reset2():
l1 = inst(make_linklet("(linklet () (x) (define-values (x) -11))"))
l2 = inst(
make_linklet(
"(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
def test_vector_set_a_constant():
l = make_linklet("(linklet () (x) (define-values (x) (make-vector 20 0)))")
t = empty_target()
inst(l, target=t)
l2 = make_linklet("(linklet () (x) (vector-set! x 0 1000))")
inst(l2, target=t)
l3 = make_linklet("(linklet () (x) (vector-ref x 0))")
result, _ = eval_fixnum(l3, t)
assert result == 1000
def test_vector_set_through_a_closure3():
sl = make_linklet("(linklet () (x g) (define-values (x) (make-vector 20 1)) (define-values (g) (lambda (i y) (vector-set! x i y))))")
t = empty_target()
inst(sl, target=t)
t2 = empty_target()
inst(sl, target=t2)
l = make_linklet("(linklet () (x g) (g 5 42) (vector-ref x 5))")
result1, _ = eval_fixnum(l, t)
assert result1 == 42
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_vector_set_a_constant():
l = make_linklet("(linklet () (x) (define-values (x) (make-vector 20 0)))")
t = empty_target()
inst(l, target=t)
l2 = make_linklet("(linklet () (x) (vector-set! x 0 1000))")
inst(l2, target=t)
l3 = make_linklet("(linklet () (x) (vector-ref x 0))")
result, _ = eval_fixnum(l3, t)
assert result == 1000
def test_reinstantiation4():
l1 = make_linklet("(linklet () (y) (define-values (x) (+ 10 y)) (set! x y) x)")
t1 = inst(make_linklet("(linklet () (y) (define-values (y) 30) (set! y 30))"))
t2 = inst(make_linklet("(linklet () (y) (define-values (y) 40) (set! y 40))"))
result1, _ = eval_fixnum(l1, t1)
result2, _ = eval_fixnum(l1, t2)
assert result1 == 30
assert result2 == 40
def test_compilation_context_normalize_term():
# Context.normalize_term might be faulty
l = make_linklet("(linklet () () (let-values (((x) 5)) (+ x (let-values (((x) 10)) x))))")
result, _ = eval_fixnum(l, empty_target())
assert result == 15
l = make_linklet("(linklet () () (let-values (((x) 5)) (+ x (let-values (((x) 10)) (+ x (let-values (((x) 20) ((y) 21)) (+ x y)))))))")
result, _ = eval_fixnum(l, empty_target())
assert result == 56
def test_instantiate_basic_export():
l1 = make_instance("(linklet () (a) (define-values (a) 4))")
l2 = make_linklet("(linklet ((a)) () (+ a a))")
result, _ = eval_fixnum(l2, empty_target(), [l1])
assert result == 8
l1 = make_instance("(linklet () ((a1 a)) (define-values (a1) 4))")
l2 = make_linklet("(linklet ((a)) () (+ a a))")
result, _ = eval_fixnum(l2, empty_target(), [l1])
assert result == 8
def test_instantiate_basic_export():
l1 = inst(make_linklet("(linklet () (a) (define-values (a) 4))"))
l2 = make_linklet("(linklet ((a)) () (+ a a))")
result, _ = eval_fixnum(l2, empty_target(), [l1])
assert result == 8
l1 = inst(make_linklet("(linklet () ((a1 a)) (define-values (a1) 4))"))
l2 = make_linklet("(linklet ((a)) () (+ a a))")
result, _ = eval_fixnum(l2, empty_target(), [l1])
assert result == 8
def test_reinstantiation3():
l1 = make_linklet(
"(linklet () (y) (define-values (x) (+ 10 y)) (set! x y) x)")
t1 = inst(make_linklet("(linklet () (y) (define-values (y) 30))"))
t2 = inst(make_linklet("(linklet () (y) (define-values (y) 40))"))
result1, _ = eval_fixnum(l1, t1)
result2, _ = eval_fixnum(l1, t2)
assert result1 == 30
assert result2 == 40
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_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_vector_set_through_a_closure():
t = inst(
make_linklet(
"(linklet () (x g) (define-values (x) (make-vector 20 0)) (define-values (g) (lambda (y) (vector-set! x 5 y))))"
))
l1 = make_linklet("(linklet () (x g) (g 42) (vector-ref x 5))")
result1, _ = eval_fixnum(l1, t)
assert result1 == 42
l2 = make_linklet("(linklet () (x g) (g 1000) (vector-ref x 5))")
result2, _ = eval_fixnum(l2, t)
assert result2 == 1000
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_defs_export_names():
l = inst(make_linklet("(linklet () ((x x15)) (define-values (x) 4))"))
assert not defines(l, "x")
assert defines(l, "x15")
# LinkletVars will be referred by the external name (e.g. (+ x15 x15)
l = make_linklet("(linklet () ((x x15)) (define-values (x) 4) (+ x x))")
result, t = eval_fixnum(l, empty_target())
assert result == 8
assert not defines(t, "x")
assert defines(t, "x15")
def test_vector_set_through_a_closure3():
sl = make_linklet(
"(linklet () (x g) (define-values (x) (make-vector 20 1)) (define-values (g) (lambda (i y) (vector-set! x i y))))"
)
t = empty_target()
inst(sl, target=t)
t2 = empty_target()
inst(sl, target=t2)
l = make_linklet("(linklet () (x g) (g 5 42) (vector-ref x 5))")
result1, _ = eval_fixnum(l, t)
assert result1 == 42
def test_instantiate_defs_export_names():
l = inst(make_linklet("(linklet () ((x x15)) (define-values (x) 4))"))
assert not defines(l, "x")
assert defines(l, "x15")
# LinkletVars will be referred by the external name (e.g. (+ x15 x15)
l = make_linklet("(linklet () ((x x15)) (define-values (x) 4) (+ x x))")
result, t = eval_fixnum(l, empty_target())
assert result == 8
assert not defines(t, "x")
assert defines(t, "x15")
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_small_list():
# boxed immutable hash table (small-list.rkt)
l1 = make_instance("(linklet () (h) (define-values (h) (box (hasheq))))")
l2 = make_linklet(
"(linklet ((h)) () (set-box! h (hash-set (unbox h) \"a\" 5)) (hash-ref (unbox h) \"a\" #f))"
)
result, t = eval_fixnum(l2, empty_target(), [l1])
assert result == 5
result, _ = eval_fixnum(
make_linklet("(linklet ((h)) () (hash-ref (unbox h) \"a\" #f))"), t,
[l1])
assert result == 5
def test_compilation_context_normalize_term():
# Context.normalize_term might be faulty
l = make_linklet(
"(linklet () () (let-values (((x) 5)) (+ x (let-values (((x) 10)) x))))"
)
result, _ = eval_fixnum(l, empty_target())
assert result == 15
l = make_linklet(
"(linklet () () (let-values (((x) 5)) (+ x (let-values (((x) 10)) (+ x (let-values (((x) 20) ((y) 21)) (+ x y)))))))"
)
result, _ = eval_fixnum(l, empty_target())
assert result == 56
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_vector_set_through_a_closure_reinstantiate():
sl = make_linklet("(linklet () (x g) (define-values (x) (make-vector 20 1)) (define-values (g) (lambda (i y) (vector-set! x i y))))")
t1 = empty_target()
inst(sl, target=t1)
t2 = empty_target()
inst(sl, target=t2)
l1 = make_linklet("(linklet () (x g) (g 5 42) (vector-ref x 5))")
result1, _ = eval_fixnum(l1, t1)
assert result1 == 42
l2 = make_linklet("(linklet () (x g) (g 10 1000) (+ (vector-ref x 5) (vector-ref x 10)))")
result2, _ = eval_fixnum(l2, t2)
assert result2 == 1001
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_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_wcm_make_env2():
l = """
(linklet
()
()
(define-values (p) (lambda (x y) (+ x y)))
(define-values
(last)
(lambda (l)
((letrec-values (((loop)
(lambda (l x) (if (pair? x) (loop x (cdr x)) (car l)))))
loop)
l
(cdr l))))
(define-values
(h)
(lambda (a b)
(with-continuation-mark
(quote xxx)
(last (list a b))
(apply p (list a b)))))
(h 1 2))
"""
r2, t2 = eval_fixnum(make_linklet(l), empty_target())
print r2
assert r2 == 3
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_make_prefab_predicate():
l = """
(linklet
()
()
(define-values
(struct:a make-a a? a-b a-c)
(let-values (((struct: make- ? -ref -set!)
(make-struct-type
(quote a)
#f
2
0
#f
null
(quote prefab)
#f
(quote (0 1))
#f
(quote a))))
(values
struct:
make-
?
(make-struct-field-accessor -ref 0 (quote b))
(make-struct-field-accessor -ref 1 (quote c)))))
(define-values (v0) (make-prefab-struct (quote a) 1 2))
(a? v0))
"""
r, t = eval_bool(make_linklet(l), empty_target())
assert r
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_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_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_letrec_rhs_cells():
l1 = make_linklet("(linklet () () (define-values (k) (lambda (stx_32) (letrec-values (((e) 1)((x) (+ stx_32 e))) x))) (k 5))")
result1, _ = eval_fixnum(l1, empty_target())
assert result1 == 6
l2 = make_linklet("(linklet () () (define-values (k) (lambda (stx_32) (letrec-values (((e) 1)((x) (+ stx_32 e))((p) ((lambda (x) x) x))) p))) (k 5))")
result2, _ = eval_fixnum(l2, empty_target())
assert result2 == 6
l3 = make_linklet("(linklet () () (define-values (k) (lambda (stx_32) (letrec-values (((e) 1)((x) (+ stx_32 e))((p) ((lambda (x) (letrec-values (((u) e)) u)) x))) p))) (k 5))")
result3, _ = eval_fixnum(l3, empty_target())
assert result3 == 1
l4 = make_linklet("(linklet () () (let-values () (letrec-values (((f) (lambda (p) (g (- p 1)))) ((g) (lambda (k) (if (zero? k) 1 (f k))))) (g 100))))")
result4, _ = eval_fixnum(l4, empty_target())
assert result4 == 1
def test_wcm_make_env2():
l = """
(linklet
()
()
(define-values (p) (lambda (x y) (+ x y)))
(define-values
(last)
(lambda (l)
((letrec-values (((loop)
(lambda (l x) (if (pair? x) (loop x (cdr x)) (car l)))))
loop)
l
(cdr l))))
(define-values
(h)
(lambda (a b)
(with-continuation-mark
(quote xxx)
(last (list a b))
(apply p (list a b)))))
(h 1 2))
"""
r2, t2 = eval_fixnum(make_linklet(l), empty_target())
print r2
assert r2 == 3
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_make_prefab_predicate():
l = """
(linklet
()
()
(define-values
(struct:a make-a a? a-b a-c)
(let-values (((struct: make- ? -ref -set!)
(make-struct-type
(quote a)
#f
2
0
#f
null
(quote prefab)
#f
(quote (0 1))
#f
(quote a))))
(values
struct:
make-
?
(make-struct-field-accessor -ref 0 (quote b))
(make-struct-field-accessor -ref 1 (quote c)))))
(define-values (v0) (make-prefab-struct (quote a) 1 2))
(a? v0))
"""
r, t = eval_bool(make_linklet(l), empty_target())
assert r
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_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_reinstantiation1():
l1 = make_linklet("(linklet () (y) (define-values (x) (+ 10 y)) x)")
t1 = make_instance({'y': 30})
t2 = make_instance({'y': 40})
result1, _ = eval_fixnum(l1, t1)
result2, _ = eval_fixnum(l1, t2)
assert result1 == 40
assert result2 == 50
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_reinstantiation2():
l1 = make_linklet("(linklet () (y) (define-values (x) (+ 10 y)) (set! x y) x)")
t1 = make_instance({'y':30})
t2 = make_instance({'y':40})
result1, _ = eval_fixnum(l1, t1)
result2, _ = eval_fixnum(l1, t2)
assert result1 == 30
assert result2 == 40
def test_vector_set_through_a_closure_reinstantiate():
sl = make_linklet(
"(linklet () (x g) (define-values (x) (make-vector 20 1)) (define-values (g) (lambda (i y) (vector-set! x i y))))"
)
t1 = empty_target()
inst(sl, target=t1)
t2 = empty_target()
inst(sl, target=t2)
l1 = make_linklet("(linklet () (x g) (g 5 42) (vector-ref x 5))")
result1, _ = eval_fixnum(l1, t1)
assert result1 == 42
l2 = make_linklet(
"(linklet () (x g) (g 10 1000) (+ (vector-ref x 5) (vector-ref x 10)))"
)
result2, _ = eval_fixnum(l2, t2)
assert result2 == 1001
def test_instantiate_lets_and_scopes():
l = make_linklet("(linklet () () (letrec-values (((fact) (lambda (n) (if (<= n 1) 1 (* n (fact (- n 1))))))) (fact 5)))")
result, _ = eval_fixnum(l, empty_target())
assert result == 120
l1 = inst(make_linklet("(linklet () (add2) (define-values (add) (lambda (x) (lambda (y) (+ x y)))) (define-values (add2) (add 2)))"))
l2 = make_linklet("(linklet ((add2)) () (add2 6))")
result, _ = eval_fixnum(l2, empty_target(), [l1])
assert result == 8
l = make_linklet("(linklet () () ((((lambda (x) (lambda (x) (lambda (y) (+ x y)))) 1) 2) 3))")
result, _ = eval_fixnum(l, empty_target())
assert result == 5
l = make_linklet("(linklet () () (let-values (((x) (let-values (((x) 2)) (+ x x)))) (+ x x)))")
result, _ = eval_fixnum(l, empty_target())
assert result == 8
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_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_closures_and_variables():
l1 = make_instance("(linklet () (x) (define-values (x) 4))")
l2 = make_linklet("(linklet ((x)) (g) (define-values (g) (lambda (y) x)))")
_, t = eval_fixnum(l2, empty_target(), [l1])
assert defines(t, "g") and not defines(t, "x")
# use the modified target
l3 = make_linklet("(linklet () (g) (g 5))")
result, t = eval_fixnum(l3, t)
assert result == 4
# import the closure
l1 = make_instance("(linklet () (x) (define-values (x) 4))")
l2 = make_instance(
"(linklet ((x)) (g) (define-values (g) (lambda (y) x)))", [l1])
l4 = make_linklet("(linklet ((g)) () (g 3))")
result, _ = eval_fixnum(l4, empty_target(), [l2])
assert result == 4
def test_reinstantiating_with_different_imports():
imp1 = make_instance({'x':10})
imp2 = make_instance({'x':20})
l = make_linklet("(linklet ((x)) (y) (define-values (y) x) y)")
t1 = empty_target()
t2 = empty_target()
result1, t1 = eval_fixnum(l, t1, [imp1])
result2, t2 = eval_fixnum(l, t2, [imp2])
assert result1 == 10
assert result2 == 20
