Force enum payloads

core/src/eval/operation.rs

@@ -1121,6 +1121,13 @@ impl<R: ImportResolver, C: Cache> VirtualMachine<R, C> {
                     // For an enum variant, `force x` is simply equivalent to `deep_seq x x`, as
                     // there's no lazy pending contract to apply.
                     Term::EnumVariant { tag, arg, attrs } => {
+                        let arg = mk_term::op1(
+                            UnaryOp::Force {
+                                ignore_not_exported,
+                            },
+                            arg,
+                        )
+                        .closurize(&mut self.cache, env.clone());
                         let cont = RichTerm::new(
                             Term::EnumVariant {
                                 tag,

core/tests/integration/inputs/adts/deep_seq_enum2.ncl

@@ -0,0 +1,7 @@
+# test.type = 'error'
+#
+# [test.metadata]
+# error = 'EvalError::NAryPrimopTypeError'
+
+# Check that deep_seq correctly deeply evaluates the content of an enum variant
+%deep_seq% ('Foo { bar = 5 + "a" }) null

core/tests/integration/inputs/adts/force_enum2.ncl

@@ -0,0 +1,7 @@
+# test.type = 'error'
+#
+# [test.metadata]
+# error = 'EvalError::NAryPrimopTypeError'
+
+# Check that force correctly deeply evaluates the content of an enum variant
+%force% ('Foo { bar = 5 + "a" })