From 9162b456d23ee8a990fe57556f0a5fc8ddadf2f6 Mon Sep 17 00:00:00 2001 From: Nathan Braswell Date: Sun, 19 Mar 2023 02:03:41 -0400 Subject: [PATCH] Oh some were just changes in formatting. First real issue looks like it's VMAP --- kr/src/test.rs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/kr/src/test.rs b/kr/src/test.rs index 7a5a66c..06fb6b4 100644 --- a/kr/src/test.rs +++ b/kr/src/test.rs @@ -50,7 +50,7 @@ fn partial_eval_test(gram: &grammar::TermParser, code: &str, expected: &str) { fn basic_pe_test() { let g = grammar::TermParser::new(); partial_eval_test(&g, "(+ 2 (car (cons 4 '(1 2))))", "6"); - partial_eval_test(&g, "(vau 0 p (+ 1 2))", "None({})#[None/None/EnvID(0)/0/[]/Some(\"p\")/3]"); + partial_eval_test(&g, "(vau 0 p (+ 1 2))", "NeededIds { heads: {}, tails: {}, body_stopped: {}, if_stopped: {} }#[None/None/EnvID(1)/0/[]/Some(\"p\")/3]"); } #[test] @@ -116,16 +116,16 @@ static LET: Lazy = Lazy::new(|| { fn let_pe_test() { let g = grammar::TermParser::new(); partial_eval_test(&g, &format!("{} (let1 a 2 (+ a (car (cons 4 '(1 2)))))", *LET), "6"); - partial_eval_test(&g, &format!("{} (let1 a 2 (vau 0 p (+ 1 a)))", *LET), "None({})#[None/None/EnvID(0)/0/[]/Some(\"p\")/3]"); + partial_eval_test(&g, &format!("{} (let1 a 2 (vau 0 p (+ 1 a)))", *LET),"NeededIds { heads: {}, tails: {}, body_stopped: {}, if_stopped: {} }#[None/None/EnvID(1)/0/[]/Some(\"p\")/3]"); partial_eval_test(&g, &format!("{} !(let1 a 2) (vau 0 p (+ 1 a)) - ", *LET), "None({})#[None/None/EnvID(0)/0/[]/Some(\"p\")/3]"); + ", *LET), "NeededIds { heads: {}, tails: {}, body_stopped: {}, if_stopped: {} }#[None/None/EnvID(1)/0/[]/Some(\"p\")/3]"); partial_eval_test(&g, &format!("{} !(let1 a 2) !(let1 b 5) (vau 0 p (+ b a)) - ", *LET), "None({})#[None/None/EnvID(0)/0/[]/Some(\"p\")/7]"); + ", *LET), "NeededIds { heads: {}, tails: {}, body_stopped: {}, if_stopped: {} }#[None/None/EnvID(1)/0/[]/Some(\"p\")/7]"); /* partial_eval_test(&g, &format!("{} (vau 0 p