summaryrefslogtreecommitdiff
path: root/rust/tests
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud.bailly@iohk.io>2025-01-25 10:45:41 +0100
committerArnaud Bailly <arnaud.bailly@iohk.io>2025-01-25 10:45:41 +0100
commit7752d73216578d5961751b5d0535088d384b4aa6 (patch)
tree786e46fe1276e93ade0a48398cd4c9ac13081707 /rust/tests
parentd6f68e919db51d366c8ca3c1509bea12aa81d692 (diff)
downloadlambda-nantes-7752d73216578d5961751b5d0535088d384b4aa6.tar.gz
Move λ-calcul workshop code to subdirectory
Diffstat (limited to 'rust/tests')
-rw-r--r--rust/tests/interpret_test.rs25
1 files changed, 0 insertions, 25 deletions
diff --git a/rust/tests/interpret_test.rs b/rust/tests/interpret_test.rs
deleted file mode 100644
index 16e7fb7..0000000
--- a/rust/tests/interpret_test.rs
+++ /dev/null
@@ -1,25 +0,0 @@
-use lambda::io::{batch_eval, eval_file, repl};
-
-#[test]
-fn interpreter_can_read_and_interpret_file() {
- 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"));
- assert_eq!("13", eval_file("sample/test_let.txt"));
-}
-
-#[test]
-fn repl_can_read_and_interpret_input() {
- let input = "(def id (lam x x))\n(id 12)";
- let mut output = Vec::new();
- repl(&mut input.as_bytes(), &mut output);
- assert_eq!("> true\n> 12\n> ", String::from_utf8(output).unwrap());
-}
-
-#[test]
-fn repl_can_read_and_interpret_input_in_batch_mode() {
- let input = "(def id (lam x x))\n(id 12)";
- let mut output = Vec::new();
- batch_eval(&mut input.as_bytes(), &mut output);
- assert_eq!("true\n12\n", String::from_utf8(output).unwrap());
-}