exec should be checked in update_errors

realworldocaml · Mar 5, 2024 · c12ff69 · c12ff69
1 parent f8f04a5
commit c12ff69
Showing 1 changed file with 9 additions and 7 deletions.
diff --git a/lib/test/mdx_test.ml b/lib/test/mdx_test.ml
@@ -195,10 +195,13 @@ let update_errors ~errors t =
   match t.Block.value with
   | OCaml v -> { t with value = OCaml (update_ocaml_value v) }
   | Include
-      ({ file_kind = Fk_ocaml ({ ocaml_value = Some v; _ } as fk); _ } as i) ->
-      let ocaml_value = Some (update_ocaml_value v) in
-      let file_kind = Block.Fk_ocaml { fk with ocaml_value } in
-      { t with value = Include { i with file_kind } }
+      ({ file_kind = Fk_ocaml ({ ocaml_value = Some v; exec; _ } as fk); _ } as
+       i) ->
+      if exec then
+        let ocaml_value = Some (update_ocaml_value v) in
+        let file_kind = Block.Fk_ocaml { fk with ocaml_value } in
+        { t with value = Include { i with file_kind } }
+      else t
   | _ -> assert false
 
 let update_include ~contents = function
@@ -360,16 +363,15 @@ let run_exn ~non_deterministic ~silent_eval ~record_backtrace ~syntax ~silent
       | Include
           {
             file_included;
-            file_kind = Fk_ocaml { part_included; ocaml_value; exec; _ };
+            file_kind = Fk_ocaml { part_included; ocaml_value; _ };
           } ->
           assert (syntax <> Some Cram);
           let new_block =
             update_file_or_block ?root file file_included t part_included
           in
           let updated_block =
             match ocaml_value with
-            | Some ocaml_value when exec ->
-                run_ocaml_value new_block ocaml_value
+            | Some ocaml_value -> run_ocaml_value new_block ocaml_value
             | _ -> new_block
           in
           Block.pp ?syntax ppf updated_block