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_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_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_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_hashes(): l1 = inst( make_linklet( "(linklet () (h) (define-values (h) (hasheq \"a\" 4 \"b\" 5)))")) l2 = make_linklet( "(linklet ((h)) (h2) (define-values (h2) (hash-copy h)) (hash-ref h2 \"b\"))" ) result, t = eval_fixnum(l2, empty_target(), [l1]) assert result == 5 l3 = make_linklet("(linklet ((h2)) () (hash-ref h2 \"a\"))") result, _ = eval_fixnum(l3, empty_target(), [t]) assert result == 4 # hash-set! on target t = inst( make_linklet("(linklet () (h) (define-values (h) (make-hasheq)))")) l1 = make_linklet( "(linklet () (h) (hash-set! h \"k\" 150) (hash-set! h \"y\" 29))") _, t = eval_fixnum(l1, t) l2 = make_linklet( "(linklet () (h) (hash-set! h \"y\" 50) (hash-ref h \"k\"))") result, t = eval_fixnum(l2, t) assert result == 150 l3 = make_linklet( "(linklet () (h) (+ (hash-ref h \"k\") (hash-ref h \"y\")))") result, _ = eval_fixnum(l3, t) assert result == 200 # hash-set! on imported instance l1_use_later = inst( make_linklet("(linklet () (h) (define-values (h) (make-hasheq)))")) l2 = make_linklet( "(linklet ((h)) () (hash-set! h \"a\" 5) (hash-set! h \"b\" 10) (hash-set! h \"c\" 20) (hash-ref h \"a\" #f))" ) result, t = eval_fixnum(l2, empty_target(), [l1_use_later]) assert result == 5 l3 = make_linklet( "(linklet ((h)) () (hash-set! h \"c\" 200) (hash-ref h \"b\" #f))") result, t = eval_fixnum(l3, t, [l1_use_later]) assert result == 10 l4 = make_linklet("(linklet ((h)) () (hash-ref h \"c\" #f))") result, t = eval_fixnum(l4, t, [l1_use_later]) assert result == 200 # slightly more complicated # l1_use_later has a hash-table "h" contains {a:5, b:10, c:200} l10 = make_linklet( "(linklet ((h)) (g) (define-values (g) (hash-copy h)) (hash-ref g \"c\"))" ) result, t = eval_fixnum(l10, empty_target(), [l1_use_later]) assert result == 200 l11 = make_linklet( "(linklet () (g) (hash-set! g \"a\" -1) (hash-ref g \"b\"))") result, t = eval_fixnum(l11, t) assert result == 10 l12 = make_linklet("(linklet () (g) (hash-ref g \"a\"))") result, _ = eval_fixnum(l12, t) assert result == -1
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_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_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_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_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_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_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_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_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_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_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_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_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_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_closures_and_variables(): l1 = inst(make_linklet("(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 = inst(make_linklet("(linklet () (x) (define-values (x) 4))")) l2 = inst(make_linklet("(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_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_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_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_closures_and_variables(): l1 = inst(make_linklet("(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 = inst(make_linklet("(linklet () (x) (define-values (x) 4))")) l2 = inst( make_linklet("(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_instantiate_hashes(): l1 = inst(make_linklet("(linklet () (h) (define-values (h) (hasheq \"a\" 4 \"b\" 5)))")) l2 = make_linklet("(linklet ((h)) (h2) (define-values (h2) (hash-copy h)) (hash-ref h2 \"b\"))") result, t = eval_fixnum(l2, empty_target(), [l1]) assert result == 5 l3 = make_linklet("(linklet ((h2)) () (hash-ref h2 \"a\"))") result, _ = eval_fixnum(l3, empty_target(), [t]) assert result == 4 # hash-set! on target t = inst(make_linklet("(linklet () (h) (define-values (h) (make-hasheq)))")) l1 = make_linklet("(linklet () (h) (hash-set! h \"k\" 150) (hash-set! h \"y\" 29))") _, t = eval_fixnum(l1, t) l2 = make_linklet("(linklet () (h) (hash-set! h \"y\" 50) (hash-ref h \"k\"))") result, t = eval_fixnum(l2, t) assert result == 150 l3 = make_linklet("(linklet () (h) (+ (hash-ref h \"k\") (hash-ref h \"y\")))") result, _ = eval_fixnum(l3, t) assert result == 200 # hash-set! on imported instance l1_use_later = inst(make_linklet("(linklet () (h) (define-values (h) (make-hasheq)))")) l2 = make_linklet("(linklet ((h)) () (hash-set! h \"a\" 5) (hash-set! h \"b\" 10) (hash-set! h \"c\" 20) (hash-ref h \"a\" #f))") result, t = eval_fixnum(l2, empty_target(), [l1_use_later]) assert result == 5 l3 = make_linklet("(linklet ((h)) () (hash-set! h \"c\" 200) (hash-ref h \"b\" #f))") result, t = eval_fixnum(l3, t, [l1_use_later]) assert result == 10 l4 = make_linklet("(linklet ((h)) () (hash-ref h \"c\" #f))") result, t = eval_fixnum(l4, t, [l1_use_later]) assert result == 200 # slightly more complicated # l1_use_later has a hash-table "h" contains {a:5, b:10, c:200} l10 = make_linklet("(linklet ((h)) (g) (define-values (g) (hash-copy h)) (hash-ref g \"c\"))") result, t = eval_fixnum(l10, empty_target(), [l1_use_later]) assert result == 200 l11 = make_linklet("(linklet () (g) (hash-set! g \"a\" -1) (hash-ref g \"b\"))") result, t = eval_fixnum(l11, t) assert result == 10 l12 = make_linklet("(linklet () (g) (hash-ref g \"a\"))") result, _ = eval_fixnum(l12, t) assert result == -1
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_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_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_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_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_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_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_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_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(): l1 = inst(make_linklet("(linklet () (x) (define-values (x) 4))"), []) assert isinstance(l1, W_LinkletInstance) assert check_val(l1, "x", 4)
def test_instantiate_import_rename(): l1 = inst(make_linklet("(linklet () (x) (define-values (x) 4))")) l2 = inst(make_linklet("(linklet () (x) (define-values (x) 10))")) l3 = make_linklet("(linklet (((x x1))((x x2))) () (+ x1 x2))") result, _ = eval_fixnum(l3, empty_target(), [l1,l2]) assert result == 14
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_instantiate_import_rename(): l1 = inst(make_linklet("(linklet () (x) (define-values (x) 4))")) l2 = inst(make_linklet("(linklet () (x) (define-values (x) 10))")) l3 = make_linklet("(linklet (((x x1))((x x2))) () (+ x1 x2))") result, _ = eval_fixnum(l3, empty_target(), [l1, l2]) assert result == 14