From 137591f7aedf92ad7389a3ac627b2646b4a78b64 Mon Sep 17 00:00:00 2001 From: Nicolas Abril Date: Thu, 30 May 2024 23:37:26 +0200 Subject: [PATCH] Fix dictionary and rename readback test --- src/fun/mod.rs | 2 +- src/fun/term_to_net.rs | 2 +- src/lib.rs | 2 +- tests/golden_tests.rs | 2 +- .../{readback_lnet => readback_hvm}/addition.bend | 0 .../{readback_lnet => readback_hvm}/bad_net.bend | 0 .../{readback_lnet => readback_hvm}/bad_net1.bend | 0 .../{readback_lnet => readback_hvm}/bad_net3.bend | 0 .../{readback_lnet => readback_hvm}/complicated_dup.bend | 0 .../{readback_lnet => readback_hvm}/fst_snd.bend | 0 tests/golden_tests/{readback_lnet => readback_hvm}/id.bend | 0 .../{readback_lnet => readback_hvm}/invalid_op2_op2.bend | 0 .../{readback_lnet => readback_hvm}/match.bend | 0 .../{readback_lnet => readback_hvm}/nested_let.bend | 0 .../{readback_lnet => readback_hvm}/nested_tup.bend | 0 .../{readback_lnet => readback_hvm}/number.bend | 0 .../{readback_lnet => readback_hvm}/simple_tup.bend | 0 .../{readback_lnet => readback_hvm}/tup_add.bend | 0 tests/snapshots/compile_file__net_size_too_large.bend.snap | 7 ------- tests/snapshots/examples__all_tree.bend.snap | 5 ----- tests/snapshots/examples__alloc_small_tree.bend.snap | 5 ----- tests/snapshots/examples__example.bend.snap | 5 ----- tests/snapshots/examples__neg_fusion.bend.snap | 5 ----- ..._tup_add.bend.snap => readback_hvm__addition.bend.snap} | 2 +- ...__bad_net.bend.snap => readback_hvm__bad_net.bend.snap} | 2 +- tests/snapshots/readback_hvm__bad_net1.bend.snap | 5 +++++ tests/snapshots/readback_hvm__bad_net3.bend.snap | 5 +++++ ...p.bend.snap => readback_hvm__complicated_dup.bend.snap} | 2 +- ...__fst_snd.bend.snap => readback_hvm__fst_snd.bend.snap} | 2 +- tests/snapshots/readback_hvm__id.bend.snap | 5 +++++ ...2.bend.snap => readback_hvm__invalid_op2_op2.bend.snap} | 2 +- ...lnet__match.bend.snap => readback_hvm__match.bend.snap} | 2 +- tests/snapshots/readback_hvm__nested_let.bend.snap | 5 +++++ tests/snapshots/readback_hvm__nested_tup.bend.snap | 5 +++++ tests/snapshots/readback_hvm__number.bend.snap | 5 +++++ tests/snapshots/readback_hvm__simple_tup.bend.snap | 5 +++++ ..._addition.bend.snap => readback_hvm__tup_add.bend.snap} | 2 +- tests/snapshots/readback_lnet__bad_net1.bend.snap | 5 ----- tests/snapshots/readback_lnet__bad_net3.bend.snap | 5 ----- tests/snapshots/readback_lnet__id.bend.snap | 5 ----- tests/snapshots/readback_lnet__nested_let.bend.snap | 5 ----- tests/snapshots/readback_lnet__nested_tup.bend.snap | 5 ----- tests/snapshots/readback_lnet__number.bend.snap | 5 ----- tests/snapshots/readback_lnet__simple_tup.bend.snap | 5 ----- tests/snapshots/run_file__field_vectorization.bend.snap | 5 ----- tests/snapshots/run_file__imp_empty_list.bend.snap | 5 ----- 46 files changed, 46 insertions(+), 83 deletions(-) rename tests/golden_tests/{readback_lnet => readback_hvm}/addition.bend (100%) rename tests/golden_tests/{readback_lnet => readback_hvm}/bad_net.bend (100%) rename tests/golden_tests/{readback_lnet => readback_hvm}/bad_net1.bend (100%) rename tests/golden_tests/{readback_lnet => readback_hvm}/bad_net3.bend (100%) rename tests/golden_tests/{readback_lnet => readback_hvm}/complicated_dup.bend (100%) rename tests/golden_tests/{readback_lnet => readback_hvm}/fst_snd.bend (100%) rename tests/golden_tests/{readback_lnet => readback_hvm}/id.bend (100%) rename tests/golden_tests/{readback_lnet => readback_hvm}/invalid_op2_op2.bend (100%) rename tests/golden_tests/{readback_lnet => readback_hvm}/match.bend (100%) rename tests/golden_tests/{readback_lnet => readback_hvm}/nested_let.bend (100%) rename tests/golden_tests/{readback_lnet => readback_hvm}/nested_tup.bend (100%) rename tests/golden_tests/{readback_lnet => readback_hvm}/number.bend (100%) rename tests/golden_tests/{readback_lnet => readback_hvm}/simple_tup.bend (100%) rename tests/golden_tests/{readback_lnet => readback_hvm}/tup_add.bend (100%) delete mode 100644 tests/snapshots/compile_file__net_size_too_large.bend.snap delete mode 100644 tests/snapshots/examples__all_tree.bend.snap delete mode 100644 tests/snapshots/examples__alloc_small_tree.bend.snap delete mode 100644 tests/snapshots/examples__example.bend.snap delete mode 100644 tests/snapshots/examples__neg_fusion.bend.snap rename tests/snapshots/{readback_lnet__tup_add.bend.snap => readback_hvm__addition.bend.snap} (71%) rename tests/snapshots/{readback_lnet__bad_net.bend.snap => readback_hvm__bad_net.bend.snap} (75%) create mode 100644 tests/snapshots/readback_hvm__bad_net1.bend.snap create mode 100644 tests/snapshots/readback_hvm__bad_net3.bend.snap rename tests/snapshots/{readback_lnet__complicated_dup.bend.snap => readback_hvm__complicated_dup.bend.snap} (54%) rename tests/snapshots/{readback_lnet__fst_snd.bend.snap => readback_hvm__fst_snd.bend.snap} (52%) create mode 100644 tests/snapshots/readback_hvm__id.bend.snap rename tests/snapshots/{readback_lnet__invalid_op2_op2.bend.snap => readback_hvm__invalid_op2_op2.bend.snap} (69%) rename tests/snapshots/{readback_lnet__match.bend.snap => readback_hvm__match.bend.snap} (56%) create mode 100644 tests/snapshots/readback_hvm__nested_let.bend.snap create mode 100644 tests/snapshots/readback_hvm__nested_tup.bend.snap create mode 100644 tests/snapshots/readback_hvm__number.bend.snap create mode 100644 tests/snapshots/readback_hvm__simple_tup.bend.snap rename tests/snapshots/{readback_lnet__addition.bend.snap => readback_hvm__tup_add.bend.snap} (71%) delete mode 100644 tests/snapshots/readback_lnet__bad_net1.bend.snap delete mode 100644 tests/snapshots/readback_lnet__bad_net3.bend.snap delete mode 100644 tests/snapshots/readback_lnet__id.bend.snap delete mode 100644 tests/snapshots/readback_lnet__nested_let.bend.snap delete mode 100644 tests/snapshots/readback_lnet__nested_tup.bend.snap delete mode 100644 tests/snapshots/readback_lnet__number.bend.snap delete mode 100644 tests/snapshots/readback_lnet__simple_tup.bend.snap delete mode 100644 tests/snapshots/run_file__field_vectorization.bend.snap delete mode 100644 tests/snapshots/run_file__imp_empty_list.bend.snap diff --git a/src/fun/mod.rs b/src/fun/mod.rs index 93259597..60ccaf46 100644 --- a/src/fun/mod.rs +++ b/src/fun/mod.rs @@ -1024,7 +1024,7 @@ impl AsRef for Name { } impl Book { - pub fn hvmc_entrypoint(&self) -> &str { + pub fn hvm_entrypoint(&self) -> &str { match self.entrypoint.as_ref().map(|e| e.as_ref()) { Some("main" | "Main") | None => ENTRY_POINT, Some(nam) => nam, diff --git a/src/fun/term_to_net.rs b/src/fun/term_to_net.rs index 6bbea650..171c3a77 100644 --- a/src/fun/term_to_net.rs +++ b/src/fun/term_to_net.rs @@ -27,7 +27,7 @@ pub fn book_to_hvm(book: &Book, diags: &mut Diagnostics) -> Result<(hvm::ast::Bo for rule in def.rules.iter() { let net = term_to_hvm(&rule.body, &mut labels); - let name = if def.name == *main { book.hvmc_entrypoint().to_string() } else { def.name.0.to_string() }; + let name = if def.name == *main { book.hvm_entrypoint().to_string() } else { def.name.0.to_string() }; match net { Ok(net) => { diff --git a/src/lib.rs b/src/lib.rs index 42c15705..d2fbf23b 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -65,7 +65,7 @@ pub fn compile_book( } if opts.prune { - let prune_entrypoints = vec![book.hvmc_entrypoint().to_string()]; + let prune_entrypoints = vec![book.hvm_entrypoint().to_string()]; prune_hvm_book(&mut hvm_book, &prune_entrypoints); } diff --git a/tests/golden_tests.rs b/tests/golden_tests.rs index ef313780..101caac3 100644 --- a/tests/golden_tests.rs +++ b/tests/golden_tests.rs @@ -205,7 +205,7 @@ fn run_lazy() { } #[test] -fn readback_lnet() { +fn readback_hvm() { run_golden_test_dir(function_name!(), &|code, _| { let mut p = hvm::ast::CoreParser::new(code); let net = p.parse_net()?; diff --git a/tests/golden_tests/readback_lnet/addition.bend b/tests/golden_tests/readback_hvm/addition.bend similarity index 100% rename from tests/golden_tests/readback_lnet/addition.bend rename to tests/golden_tests/readback_hvm/addition.bend diff --git a/tests/golden_tests/readback_lnet/bad_net.bend b/tests/golden_tests/readback_hvm/bad_net.bend similarity index 100% rename from tests/golden_tests/readback_lnet/bad_net.bend rename to tests/golden_tests/readback_hvm/bad_net.bend diff --git a/tests/golden_tests/readback_lnet/bad_net1.bend b/tests/golden_tests/readback_hvm/bad_net1.bend similarity index 100% rename from tests/golden_tests/readback_lnet/bad_net1.bend rename to tests/golden_tests/readback_hvm/bad_net1.bend diff --git a/tests/golden_tests/readback_lnet/bad_net3.bend b/tests/golden_tests/readback_hvm/bad_net3.bend similarity index 100% rename from tests/golden_tests/readback_lnet/bad_net3.bend rename to tests/golden_tests/readback_hvm/bad_net3.bend diff --git a/tests/golden_tests/readback_lnet/complicated_dup.bend b/tests/golden_tests/readback_hvm/complicated_dup.bend similarity index 100% rename from tests/golden_tests/readback_lnet/complicated_dup.bend rename to tests/golden_tests/readback_hvm/complicated_dup.bend diff --git a/tests/golden_tests/readback_lnet/fst_snd.bend b/tests/golden_tests/readback_hvm/fst_snd.bend similarity index 100% rename from tests/golden_tests/readback_lnet/fst_snd.bend rename to tests/golden_tests/readback_hvm/fst_snd.bend diff --git a/tests/golden_tests/readback_lnet/id.bend b/tests/golden_tests/readback_hvm/id.bend similarity index 100% rename from tests/golden_tests/readback_lnet/id.bend rename to tests/golden_tests/readback_hvm/id.bend diff --git a/tests/golden_tests/readback_lnet/invalid_op2_op2.bend b/tests/golden_tests/readback_hvm/invalid_op2_op2.bend similarity index 100% rename from tests/golden_tests/readback_lnet/invalid_op2_op2.bend rename to tests/golden_tests/readback_hvm/invalid_op2_op2.bend diff --git a/tests/golden_tests/readback_lnet/match.bend b/tests/golden_tests/readback_hvm/match.bend similarity index 100% rename from tests/golden_tests/readback_lnet/match.bend rename to tests/golden_tests/readback_hvm/match.bend diff --git a/tests/golden_tests/readback_lnet/nested_let.bend b/tests/golden_tests/readback_hvm/nested_let.bend similarity index 100% rename from tests/golden_tests/readback_lnet/nested_let.bend rename to tests/golden_tests/readback_hvm/nested_let.bend diff --git a/tests/golden_tests/readback_lnet/nested_tup.bend b/tests/golden_tests/readback_hvm/nested_tup.bend similarity index 100% rename from tests/golden_tests/readback_lnet/nested_tup.bend rename to tests/golden_tests/readback_hvm/nested_tup.bend diff --git a/tests/golden_tests/readback_lnet/number.bend b/tests/golden_tests/readback_hvm/number.bend similarity index 100% rename from tests/golden_tests/readback_lnet/number.bend rename to tests/golden_tests/readback_hvm/number.bend diff --git a/tests/golden_tests/readback_lnet/simple_tup.bend b/tests/golden_tests/readback_hvm/simple_tup.bend similarity index 100% rename from tests/golden_tests/readback_lnet/simple_tup.bend rename to tests/golden_tests/readback_hvm/simple_tup.bend diff --git a/tests/golden_tests/readback_lnet/tup_add.bend b/tests/golden_tests/readback_hvm/tup_add.bend similarity index 100% rename from tests/golden_tests/readback_lnet/tup_add.bend rename to tests/golden_tests/readback_hvm/tup_add.bend diff --git a/tests/snapshots/compile_file__net_size_too_large.bend.snap b/tests/snapshots/compile_file__net_size_too_large.bend.snap deleted file mode 100644 index 966f0607..00000000 --- a/tests/snapshots/compile_file__net_size_too_large.bend.snap +++ /dev/null @@ -1,7 +0,0 @@ ---- -source: tests/golden_tests.rs -input_file: tests/golden_tests/compile_file/net_size_too_large.bend ---- -Errors: -In definition 'Radix': - Definition is too large for hvm (size=120, max size=64). Please break it into smaller pieces. diff --git a/tests/snapshots/examples__all_tree.bend.snap b/tests/snapshots/examples__all_tree.bend.snap deleted file mode 100644 index a73934e5..00000000 --- a/tests/snapshots/examples__all_tree.bend.snap +++ /dev/null @@ -1,5 +0,0 @@ ---- -source: tests/golden_tests.rs -input_file: examples/all_tree.bend ---- -Bool/True diff --git a/tests/snapshots/examples__alloc_small_tree.bend.snap b/tests/snapshots/examples__alloc_small_tree.bend.snap deleted file mode 100644 index 7312015a..00000000 --- a/tests/snapshots/examples__alloc_small_tree.bend.snap +++ /dev/null @@ -1,5 +0,0 @@ ---- -source: tests/golden_tests.rs -input_file: examples/alloc_small_tree.bend ---- -T diff --git a/tests/snapshots/examples__example.bend.snap b/tests/snapshots/examples__example.bend.snap deleted file mode 100644 index d83093f0..00000000 --- a/tests/snapshots/examples__example.bend.snap +++ /dev/null @@ -1,5 +0,0 @@ ---- -source: tests/golden_tests.rs -input_file: examples/example.bend ---- -8 diff --git a/tests/snapshots/examples__neg_fusion.bend.snap b/tests/snapshots/examples__neg_fusion.bend.snap deleted file mode 100644 index 8e8a0f10..00000000 --- a/tests/snapshots/examples__neg_fusion.bend.snap +++ /dev/null @@ -1,5 +0,0 @@ ---- -source: tests/golden_tests.rs -input_file: examples/neg_fusion.bend ---- -λa λ* a diff --git a/tests/snapshots/readback_lnet__tup_add.bend.snap b/tests/snapshots/readback_hvm__addition.bend.snap similarity index 71% rename from tests/snapshots/readback_lnet__tup_add.bend.snap rename to tests/snapshots/readback_hvm__addition.bend.snap index 288f4418..2aec60d2 100644 --- a/tests/snapshots/readback_lnet__tup_add.bend.snap +++ b/tests/snapshots/readback_hvm__addition.bend.snap @@ -1,6 +1,6 @@ --- source: tests/golden_tests.rs -input_file: tests/golden_tests/readback_lnet/tup_add.bend +input_file: tests/golden_tests/readback_hvm/addition.bend --- Warnings: During readback: diff --git a/tests/snapshots/readback_lnet__bad_net.bend.snap b/tests/snapshots/readback_hvm__bad_net.bend.snap similarity index 75% rename from tests/snapshots/readback_lnet__bad_net.bend.snap rename to tests/snapshots/readback_hvm__bad_net.bend.snap index 95ba9a67..af03cc7c 100644 --- a/tests/snapshots/readback_lnet__bad_net.bend.snap +++ b/tests/snapshots/readback_hvm__bad_net.bend.snap @@ -1,6 +1,6 @@ --- source: tests/golden_tests.rs -input_file: tests/golden_tests/readback_lnet/bad_net.bend +input_file: tests/golden_tests/readback_hvm/bad_net.bend --- Warnings: During readback: diff --git a/tests/snapshots/readback_hvm__bad_net1.bend.snap b/tests/snapshots/readback_hvm__bad_net1.bend.snap new file mode 100644 index 00000000..769ecc56 --- /dev/null +++ b/tests/snapshots/readback_hvm__bad_net1.bend.snap @@ -0,0 +1,5 @@ +--- +source: tests/golden_tests.rs +input_file: tests/golden_tests/readback_hvm/bad_net1.bend +--- +λa λb a diff --git a/tests/snapshots/readback_hvm__bad_net3.bend.snap b/tests/snapshots/readback_hvm__bad_net3.bend.snap new file mode 100644 index 00000000..4ef49b96 --- /dev/null +++ b/tests/snapshots/readback_hvm__bad_net3.bend.snap @@ -0,0 +1,5 @@ +--- +source: tests/golden_tests.rs +input_file: tests/golden_tests/readback_hvm/bad_net3.bend +--- +λa λb a diff --git a/tests/snapshots/readback_lnet__complicated_dup.bend.snap b/tests/snapshots/readback_hvm__complicated_dup.bend.snap similarity index 54% rename from tests/snapshots/readback_lnet__complicated_dup.bend.snap rename to tests/snapshots/readback_hvm__complicated_dup.bend.snap index 43255495..9986dac8 100644 --- a/tests/snapshots/readback_lnet__complicated_dup.bend.snap +++ b/tests/snapshots/readback_hvm__complicated_dup.bend.snap @@ -1,5 +1,5 @@ --- source: tests/golden_tests.rs -input_file: tests/golden_tests/readback_lnet/complicated_dup.bend +input_file: tests/golden_tests/readback_hvm/complicated_dup.bend --- λa (λ$b (a ($b $c)) λ$c (a ($b $c))) diff --git a/tests/snapshots/readback_lnet__fst_snd.bend.snap b/tests/snapshots/readback_hvm__fst_snd.bend.snap similarity index 52% rename from tests/snapshots/readback_lnet__fst_snd.bend.snap rename to tests/snapshots/readback_hvm__fst_snd.bend.snap index 46803960..b917ee1a 100644 --- a/tests/snapshots/readback_lnet__fst_snd.bend.snap +++ b/tests/snapshots/readback_hvm__fst_snd.bend.snap @@ -1,5 +1,5 @@ --- source: tests/golden_tests.rs -input_file: tests/golden_tests/readback_lnet/fst_snd.bend +input_file: tests/golden_tests/readback_hvm/fst_snd.bend --- (λa a (λb b {{1 3} 2})) diff --git a/tests/snapshots/readback_hvm__id.bend.snap b/tests/snapshots/readback_hvm__id.bend.snap new file mode 100644 index 00000000..097a7669 --- /dev/null +++ b/tests/snapshots/readback_hvm__id.bend.snap @@ -0,0 +1,5 @@ +--- +source: tests/golden_tests.rs +input_file: tests/golden_tests/readback_hvm/id.bend +--- +λa a diff --git a/tests/snapshots/readback_lnet__invalid_op2_op2.bend.snap b/tests/snapshots/readback_hvm__invalid_op2_op2.bend.snap similarity index 69% rename from tests/snapshots/readback_lnet__invalid_op2_op2.bend.snap rename to tests/snapshots/readback_hvm__invalid_op2_op2.bend.snap index 4043649a..0c9be285 100644 --- a/tests/snapshots/readback_lnet__invalid_op2_op2.bend.snap +++ b/tests/snapshots/readback_hvm__invalid_op2_op2.bend.snap @@ -1,6 +1,6 @@ --- source: tests/golden_tests.rs -input_file: tests/golden_tests/readback_lnet/invalid_op2_op2.bend +input_file: tests/golden_tests/readback_hvm/invalid_op2_op2.bend --- Warnings: During readback: diff --git a/tests/snapshots/readback_lnet__match.bend.snap b/tests/snapshots/readback_hvm__match.bend.snap similarity index 56% rename from tests/snapshots/readback_lnet__match.bend.snap rename to tests/snapshots/readback_hvm__match.bend.snap index d2d868b0..4b0f7c95 100644 --- a/tests/snapshots/readback_lnet__match.bend.snap +++ b/tests/snapshots/readback_hvm__match.bend.snap @@ -1,5 +1,5 @@ --- source: tests/golden_tests.rs -input_file: tests/golden_tests/readback_lnet/match.bend +input_file: tests/golden_tests/readback_hvm/match.bend --- switch a = 1 { 0: λb b; _: a-1; } diff --git a/tests/snapshots/readback_hvm__nested_let.bend.snap b/tests/snapshots/readback_hvm__nested_let.bend.snap new file mode 100644 index 00000000..4d503f96 --- /dev/null +++ b/tests/snapshots/readback_hvm__nested_let.bend.snap @@ -0,0 +1,5 @@ +--- +source: tests/golden_tests.rs +input_file: tests/golden_tests/readback_hvm/nested_let.bend +--- +3 diff --git a/tests/snapshots/readback_hvm__nested_tup.bend.snap b/tests/snapshots/readback_hvm__nested_tup.bend.snap new file mode 100644 index 00000000..652ca38b --- /dev/null +++ b/tests/snapshots/readback_hvm__nested_tup.bend.snap @@ -0,0 +1,5 @@ +--- +source: tests/golden_tests.rs +input_file: tests/golden_tests/readback_hvm/nested_tup.bend +--- +{{1 2} {4 {3 5}}} diff --git a/tests/snapshots/readback_hvm__number.bend.snap b/tests/snapshots/readback_hvm__number.bend.snap new file mode 100644 index 00000000..92629a6d --- /dev/null +++ b/tests/snapshots/readback_hvm__number.bend.snap @@ -0,0 +1,5 @@ +--- +source: tests/golden_tests.rs +input_file: tests/golden_tests/readback_hvm/number.bend +--- +10 diff --git a/tests/snapshots/readback_hvm__simple_tup.bend.snap b/tests/snapshots/readback_hvm__simple_tup.bend.snap new file mode 100644 index 00000000..88a89932 --- /dev/null +++ b/tests/snapshots/readback_hvm__simple_tup.bend.snap @@ -0,0 +1,5 @@ +--- +source: tests/golden_tests.rs +input_file: tests/golden_tests/readback_hvm/simple_tup.bend +--- +{0 42} diff --git a/tests/snapshots/readback_lnet__addition.bend.snap b/tests/snapshots/readback_hvm__tup_add.bend.snap similarity index 71% rename from tests/snapshots/readback_lnet__addition.bend.snap rename to tests/snapshots/readback_hvm__tup_add.bend.snap index 17d77f62..5269e2d8 100644 --- a/tests/snapshots/readback_lnet__addition.bend.snap +++ b/tests/snapshots/readback_hvm__tup_add.bend.snap @@ -1,6 +1,6 @@ --- source: tests/golden_tests.rs -input_file: tests/golden_tests/readback_lnet/addition.bend +input_file: tests/golden_tests/readback_hvm/tup_add.bend --- Warnings: During readback: diff --git a/tests/snapshots/readback_lnet__bad_net1.bend.snap b/tests/snapshots/readback_lnet__bad_net1.bend.snap deleted file mode 100644 index fc6c5014..00000000 --- a/tests/snapshots/readback_lnet__bad_net1.bend.snap +++ /dev/null @@ -1,5 +0,0 @@ ---- -source: tests/golden_tests.rs -input_file: tests/golden_tests/readback_lnet/bad_net1.bend ---- -λa λb a diff --git a/tests/snapshots/readback_lnet__bad_net3.bend.snap b/tests/snapshots/readback_lnet__bad_net3.bend.snap deleted file mode 100644 index ddf1b851..00000000 --- a/tests/snapshots/readback_lnet__bad_net3.bend.snap +++ /dev/null @@ -1,5 +0,0 @@ ---- -source: tests/golden_tests.rs -input_file: tests/golden_tests/readback_lnet/bad_net3.bend ---- -λa λb a diff --git a/tests/snapshots/readback_lnet__id.bend.snap b/tests/snapshots/readback_lnet__id.bend.snap deleted file mode 100644 index dcc76dd2..00000000 --- a/tests/snapshots/readback_lnet__id.bend.snap +++ /dev/null @@ -1,5 +0,0 @@ ---- -source: tests/golden_tests.rs -input_file: tests/golden_tests/readback_lnet/id.bend ---- -λa a diff --git a/tests/snapshots/readback_lnet__nested_let.bend.snap b/tests/snapshots/readback_lnet__nested_let.bend.snap deleted file mode 100644 index f57dca0c..00000000 --- a/tests/snapshots/readback_lnet__nested_let.bend.snap +++ /dev/null @@ -1,5 +0,0 @@ ---- -source: tests/golden_tests.rs -input_file: tests/golden_tests/readback_lnet/nested_let.bend ---- -3 diff --git a/tests/snapshots/readback_lnet__nested_tup.bend.snap b/tests/snapshots/readback_lnet__nested_tup.bend.snap deleted file mode 100644 index c70300a8..00000000 --- a/tests/snapshots/readback_lnet__nested_tup.bend.snap +++ /dev/null @@ -1,5 +0,0 @@ ---- -source: tests/golden_tests.rs -input_file: tests/golden_tests/readback_lnet/nested_tup.bend ---- -{{1 2} {4 {3 5}}} diff --git a/tests/snapshots/readback_lnet__number.bend.snap b/tests/snapshots/readback_lnet__number.bend.snap deleted file mode 100644 index 77f1ab9b..00000000 --- a/tests/snapshots/readback_lnet__number.bend.snap +++ /dev/null @@ -1,5 +0,0 @@ ---- -source: tests/golden_tests.rs -input_file: tests/golden_tests/readback_lnet/number.bend ---- -10 diff --git a/tests/snapshots/readback_lnet__simple_tup.bend.snap b/tests/snapshots/readback_lnet__simple_tup.bend.snap deleted file mode 100644 index b123d69b..00000000 --- a/tests/snapshots/readback_lnet__simple_tup.bend.snap +++ /dev/null @@ -1,5 +0,0 @@ ---- -source: tests/golden_tests.rs -input_file: tests/golden_tests/readback_lnet/simple_tup.bend ---- -{0 42} diff --git a/tests/snapshots/run_file__field_vectorization.bend.snap b/tests/snapshots/run_file__field_vectorization.bend.snap deleted file mode 100644 index d5220495..00000000 --- a/tests/snapshots/run_file__field_vectorization.bend.snap +++ /dev/null @@ -1,5 +0,0 @@ ---- -source: tests/golden_tests.rs -input_file: tests/golden_tests/run_file/field_vectorization.bend ---- -Bool/T diff --git a/tests/snapshots/run_file__imp_empty_list.bend.snap b/tests/snapshots/run_file__imp_empty_list.bend.snap deleted file mode 100644 index 8639ee34..00000000 --- a/tests/snapshots/run_file__imp_empty_list.bend.snap +++ /dev/null @@ -1,5 +0,0 @@ ---- -source: tests/golden_tests.rs -input_file: tests/golden_tests/run_file/imp_empty_list.bend ---- -λ* λa a