package owi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Utility functions to compile a module until a given step.

val until_check : unsafe:bool -> Text.modul -> Text.modul Result.t

val until_simplify : unsafe:bool -> Text.modul -> Simplified.modul Result.t

val until_typecheck : unsafe:bool -> Text.modul -> Simplified.modul Result.t

val until_optimize : 
  unsafe:bool ->
  optimize:bool ->
  Text.modul ->
  Simplified.modul Result.t

val until_link : 
  unsafe:bool ->
  'f Link.state ->
  optimize:bool ->
  name:string option ->
  Text.modul ->
  ('f Link.module_to_run * 'f Link.state) Result.t

compile 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.t

compile 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.t

same as until_interpret but directly from a simplified modul