Add lambda mls to build script and ci

ocaml-flambda · Oct 23, 2023 · dd06084 · dd06084
1 parent 501716b
commit dd06084
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/jane/build-resolved-files-for-ci b/jane/build-resolved-files-for-ci
@@ -87,16 +87,17 @@ typing_mls=(
 mls=$(
   { echo driver/{compenv,compmisc,main_args}.ml
     echo parsing/parser.ml
-    echo {utils,parsing}/*.ml
-    echo lambda/{lambda,tmc,simplif}.ml
+    echo {utils,parsing,lambda}/*.ml
     for f in "${typing_mls[@]}"; do
         echo "typing/${f}.ml"
     done
   } |
     tr ' ' '\n' |
     grep -v "utils/config.common.ml" |
     grep -v "utils/config.fixed.ml" |
-    grep -v "utils/config.generated.ml"
+    grep -v "utils/config.generated.ml" |
+    grep -v "lambda/matching.ml" | # need Obj.forcing_tag in stdlib
+    cat;
 )
 echo "$mls"
 dune_targets=$(

diff --git a/lambda/transl_array_comprehension.ml b/lambda/transl_array_comprehension.ml
@@ -209,7 +209,7 @@ end = struct
     let slot =
       transl_extension_path
         loc
-        (Lazy.force Env.initial_safe_string)
+        (Lazy.force Env.initial)
         Predef.path_invalid_argument
     in
     (* CR-someday aspectorzabusky: We might want to raise an event here for