Fix ocaml5 merge conflicts in ctype and includemod (#188)

* ctype.ml * includemod conflicts * review feedback * update ci script
ocaml-flambda · Oct 22, 2023 · be2dc2d · be2dc2d
1 parent cdbf98b
commit be2dc2d
Show file tree

Hide file tree

Showing 5 changed files with 49 additions and 1,089 deletions.
diff --git a/jane/build-resolved-files-for-ci b/jane/build-resolved-files-for-ci
@@ -48,8 +48,10 @@ echo "Testing mls"
 echo "==========="
 
 typing_mls=(
+  ctype
   datarepr
   includecore
+  includemod
   mtype
   oprint
   parmatch