diff --git a/stdlib/helpers.lm b/stdlib/helpers.lm index fb60c0d54..ad7a42989 100644 --- a/stdlib/helpers.lm +++ b/stdlib/helpers.lm @@ -248,7 +248,7 @@ \t mov $__cons_counter, %r8 \n # %r8 now points to cons counter \t mov 0(%r8), %r10 \n # %r10 now hold value of cons counter \t add %r10, %rsi \n # %rsi now points to top cons - \t add $128, %r10 \n # increment cons counter + \t add $32, %r10 \n # increment cons counter \t mov %r10, 0(%r8) \n # overwrite new cons counter \t mov %r12, 0(%rsi) \n # set top.atom \t mov %r13, 8(%rsi) \n # set top.head diff --git a/tests/c_e.rs b/tests/c_e.rs index e45c64cef..0fa8e22fd 100644 --- a/tests/c_e.rs +++ b/tests/c_e.rs @@ -13,7 +13,7 @@ fn test_eval() { #[test] fn test_ctx_eval() { - assert_eq!( ctx_eval_soft(&kv(&[(variable("a"),literal("b"))]),&parse_expression("b")).to_string(), "(variable . b)" ); - assert_eq!( ctx_eval_soft(&kv(&[(variable("a"),literal("b"))]),&parse_expression("a")).to_string(), "(literal . b)" ); - assert_eq!( ctx_eval_soft(&kv(&[(variable("a"),literal("b"))]),&parse_expression("(λx.a) z")).to_string(), "(literal . b)" ); + assert_eq!( ctx_eval_soft(&kv(&[(s_atom("a"),literal("b"))]),&parse_expression("b")).to_string(), "(variable . b)" ); + assert_eq!( ctx_eval_soft(&kv(&[(s_atom("a"),literal("b"))]),&parse_expression("a")).to_string(), "(literal . b)" ); + assert_eq!( ctx_eval_soft(&kv(&[(s_atom("a"),literal("b"))]),&parse_expression("(λx.a) z")).to_string(), "(literal . b)" ); }