Utility functions to compile a module until a given step.
val until_check : unsafe:bool -> Text.modul -> Text.modul Result.tval until_simplify : unsafe:bool -> Text.modul -> Simplified.modul Result.tval until_typecheck : unsafe:bool -> Text.modul -> Simplified.modul Result.tval until_optimize :
unsafe:bool ->
optimize:bool ->
Text.modul ->
Simplified.modul Result.tval until_link :
unsafe:bool ->
'f Link.state ->
optimize:bool ->
name:string option ->
Text.modul ->
('f Link.module_to_run * 'f Link.state) Result.tcompile a module with a given link state and produce a new link state and a runnable module
val until_interpret :
Concrete_value.Func.extern_func Link.state ->
unsafe:bool ->
optimize:bool ->
name:string option ->
Text.modul ->
Concrete_value.Func.extern_func Link.state Result.tcompile and interpret a module with a given link state and produce a new link state
val simplified_interpret :
Concrete_value.Func.extern_func Link.state ->
unsafe:bool ->
optimize:bool ->
name:string option ->
Simplified.modul ->
Concrete_value.Func.extern_func Link.state Result.tsame as until_interpret but directly from a simplified modul