unsafe also disables check

src/compile.ml

@@ -4,25 +4,25 @@
 
 let ( let* ) o f = match o with Error msg -> Error msg | Ok v -> f v
 
-let until_check m = Check.modul m
+let until_check ?(unsafe = false) m = if unsafe then Ok m else Check.modul m
 
-let until_group m =
-  let* m = until_check m in
+let until_group ?unsafe m =
+  let* m = until_check ?unsafe m in
   let* m = Grouped.of_symbolic m in
   Ok m
 
-let until_assign m =
-  let* m = until_group m in
+let until_assign ?unsafe m =
+  let* m = until_group ?unsafe m in
   let* m = Assigned.of_grouped m in
   Ok m
 
-let until_simplify m =
-  let* m = until_assign m in
+let until_simplify ?unsafe m =
+  let* m = until_assign ?unsafe m in
   let* m = Rewrite.modul m in
   Ok m
 
 let until_typecheck ?(unsafe = false) m =
-  let* m = until_simplify m in
+  let* m = until_simplify ~unsafe m in
   if unsafe then Ok m
   else
     let* () = Typecheck.modul m in

src/compile.mli

@@ -1,8 +1,8 @@
 (** Utility functions to compile a module until a given step. *)
 
-val until_check : Symbolic.modul -> Symbolic.modul Result.t
+val until_check : ?unsafe:bool -> Symbolic.modul -> Symbolic.modul Result.t
 
-val until_simplify : Symbolic.modul -> Simplified.modul Result.t
+val until_simplify : ?unsafe:bool -> Symbolic.modul -> Simplified.modul Result.t
 
 (** compile a module with a given link state and produce a new link state and a
     runnable module *)