From ec3637ab27df1fc9faeaac9977ee9e184cf4942e Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 25 Sep 2024 12:00:42 +0200 Subject: Add integration test for normal form --- rust/tests/interpret_test.rs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/rust/tests/interpret_test.rs b/rust/tests/interpret_test.rs index 09c74fe..3fa357d 100644 --- a/rust/tests/interpret_test.rs +++ b/rust/tests/interpret_test.rs @@ -1,7 +1,8 @@ -use lambda::run; +use lambda::eval_file; #[test] fn interpreter_can_read_and_interpret_file() { - assert_eq!("12", run("sample/test.txt")); - assert_eq!("true", run("sample/test_full.txt")); + assert_eq!("12 foo true (x x)", eval_file("sample/test.txt")); + assert_eq!("true", eval_file("sample/test_full.txt")); + assert_eq!("1", eval_file("sample/test_normal.txt")); } -- cgit v1.2.3