Ignore optional fields when forcing

tweag · Sep 12, 2022 · 8286782 · 8286782
1 parent 25e7ccb
commit 8286782
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/eval/operation.rs b/src/eval/operation.rs
@@ -1143,6 +1143,8 @@ fn process_unary_operation(
 
                         let map = map
                             .into_iter()
+                            // We ignore empty optional fields
+                            .filter(|(_, t)| !is_empty_optional(t, &env))
                             .map(|(id, t)| {
                                 let stack_elem = Some(callstack::StackElem::Field {
                                     id: id.clone(),