summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud.bailly@iohk.io>2024-09-25 12:00:42 +0200
committerArnaud Bailly <arnaud.bailly@iohk.io>2024-09-25 12:00:42 +0200
commitec3637ab27df1fc9faeaac9977ee9e184cf4942e (patch)
tree86cad43e44c624d9563f477acf14658c7379f013
parentd98451ea1e703dfbab4cdc8cc451fd55fed89c06 (diff)
downloadlambda-nantes-ec3637ab27df1fc9faeaac9977ee9e184cf4942e.tar.gz
Add integration test for normal form
-rw-r--r--rust/tests/interpret_test.rs7
1 files 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"));
}