Fix unsafe, enable when showing doc. Fixes: #3614

savonet · Jan 5, 2024 · 5f7d556 · 5f7d556
1 parent a64945b
commit 5f7d556
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/core/builtins/builtins_sqlite.ml b/src/core/builtins/builtins_sqlite.ml
@@ -43,7 +43,7 @@ let insert_value_constr =
       (fun ~subtype:_ ~satisfies b ->
         let rec check typ =
           match (deref typ).descr with
-            | Var _ -> satisfies b
+            | Var _ -> satisfies typ
             | Nullable typ -> check typ
             | Custom { typ = Ground.Float.Type }
             | Custom { typ = Ground.Int.Type }

diff --git a/src/runtime/main.ml b/src/runtime/main.ml
@@ -161,6 +161,7 @@ let load_libs () =
 
 let lang_doc name =
   run_streams := false;
+  Typing.do_occur_check := false;
   load_libs ();
   try Lang_string.kprint_string ~pager:true (Doc.Value.print name)
   with Not_found -> Printf.printf "Plugin not found!\n%!"