wip

LPCIC · Dec 10, 2024 · 40b4daf · 40b4daf
1 parent 14619d9
commit 40b4daf
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/src/compiler/determinacy_checker.ml b/src/compiler/determinacy_checker.ml
@@ -789,7 +789,7 @@ let to_check_clause ScopedTerm.{ it; loc } =
   let n = get_namef it in
   not (F.equal n F.mainf)
 (* && Re.Str.string_match (Re.Str.regexp ".*test.*") (Loc.show loc) 0 *)
-(* && Re.Str.string_match (Re.Str.regexp ".*test.*functionality.*") (Loc.show loc) 0 *)
+&& Re.Str.string_match (Re.Str.regexp ".*test.*functionality.*") (Loc.show loc) 0
 
 let check_clause ?uf ~loc ~env t =
   if to_check_clause t then (

diff --git a/src/compiler/test_type_checker.ml b/src/compiler/test_type_checker.ml
@@ -53,7 +53,6 @@ let _ =
   in
 
   let _ =
-    (* Format.eprintf "The env is %a@." (F.Map.pp pp_overloaded') types; *)
     let varX = var "X" in
     let varY = var "Y" in
     let term = app "=" (app "f" varY []) [ varX ] in