Readd oall eta tests

src/lib.rs

@@ -52,6 +52,9 @@ pub fn compile_book(
   if opts.pre_reduce {
     core_book.pre_reduce(&|x| x == book.hvmc_entrypoint(), None, 100_000);
   }
+  if opts.eta {
+    core_book.values_mut().for_each(Net::eta_reduce);
+  }
   if opts.prune {
     prune_defs(&mut core_book, book.hvmc_entrypoint().to_string());
   }

src/term/transform/mod.rs

@@ -5,6 +5,8 @@ pub mod definition_pruning;
 pub mod desugar_match_defs;
 pub mod encode_adts;
 pub mod encode_match_terms;
+pub mod fix_match_defs;
+pub mod fix_match_terms;
 pub mod float_combinators;
 pub mod inline;
 pub mod linearize_matches;

tests/golden_tests/compile_file_o_all/eta_chain.hvm

@@ -0,0 +1,5 @@
+Baz a b c = (+ a (+ b c))
+Bar a b = (Baz a b)
+Foo a = (Bar a)
+
+main = λa (Foo a)

tests/golden_tests/compile_file_o_all/unapplied_eta.hvm

@@ -0,0 +1,2 @@
+Id = λa a
+main = λa (Id a)

tests/snapshots/compile_file_o_all__eta_chain.hvm.snap

@@ -2,4 +2,11 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/compile_file_o_all/eta_chain.hvm
 ---
-@main = (<+ a b> (<+ c a> (c b)))
+@Bar = @Baz
+
+@Baz = (<+ a b> (<+ c a> (c b)))
+
+@Foo = @Bar
+
+@main = a
+  & @Foo ~ a

tests/snapshots/compile_file_o_all__unapplied_eta.hvm.snap

@@ -2,4 +2,5 @@
 source: tests/golden_tests.rs
 input_file: tests/golden_tests/compile_file_o_all/unapplied_eta.hvm
 ---
-@main = (a a)
+@main = a
+  & (c c) ~ a