fix hvmc compile

HigherOrderCO · Mar 14, 2024 · c157e49 · c157e49
1 parent 33a7baa
commit c157e49
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/main.rs b/src/main.rs
@@ -451,9 +451,10 @@ fn compile_executable(target: &str, host: &host::Host) -> Result<(), io::Error>
     stdlib
     trace
     transform {
-      pre_reduce
-      encode_adts
       coalesce_ctrs
+      encode_adts
+      eta_reduce
+      pre_reduce
     }
     util {
       apply_tree