Remove global state for typechecking patterns

ocaml-flambda · Apr 4, 2023 · e7d3b64 · e7d3b64
1 parent 52f3dee
commit e7d3b64
Show file tree

Hide file tree

Showing 3 changed files with 177 additions and 132 deletions.
diff --git a/ocaml/typing/typeclass.ml b/ocaml/typing/typeclass.ml
@@ -1190,7 +1190,7 @@ and class_expr_aux cl_num val_env met_env virt self_scope scl =
       in
       let partial =
         let dummy = type_exp val_env (Ast_helper.Exp.unreachable ()) in
-        Typecore.check_partial Modules_rejected val_env pat.pat_type pat.pat_loc
+        Typecore.check_partial val_env pat.pat_type pat.pat_loc
           [{c_lhs = pat; c_guard = None; c_rhs = dummy}]
       in
       let val_env' = Env.add_lock Alloc_mode.global val_env' in