genspio
  1. Overview
  2. Docs
type internal_error_details = {
  1. variable : Common.string;
  2. content : Common.string;
  3. code : Common.string;
}
val pp_internal_error_details : big_string:(Format.formatter -> Common.string -> unit) -> Format.formatter -> internal_error_details -> unit
type death_message =
  1. | User of Common.string
  2. | C_string_failure of internal_error_details
  3. | String_to_int_failure of internal_error_details
val pp_death_message : ?style:[< `Lispy | `User Lispy ] -> big_string:(Format.formatter -> Common.string -> unit) -> Format.formatter -> death_message -> unit
type death_function = comment_stack:Common.string Common.list -> death_message -> Common.string
type output_parameters = {
  1. statement_separator : Common.string;
  2. die_command : death_function Common.option;
  3. max_argument_length : Common.int Common.option;
}
type internal_representation =
  1. | Unit of Common.string
  2. | Octostring of Common.string
  3. | Int of Common.string
  4. | Bool of Common.string
  5. | List of Common.string
  6. | Death of Common.string
val ir_octostring : Common.string -> internal_representation
type compilation_error = {
  1. error : [ `No_fail_configured of death_message | `Max_argument_length of Common.string | `Not_a_c_string of Common.string ];
  2. code : Common.string Common.option;
  3. comment_backtrace : Common.string Common.list;
}
exception Compilation of compilation_error
val error : ?code:Common.string -> comment_backtrace:Common.string Common.list -> [ `Max_argument_length of Common.string | `No_fail_configured of death_message | `Not_a_c_string of Common.string ] -> 'a
val pp_error : Format.formatter -> compilation_error -> unit
val with_die_function : print_failure:(comment_stack:'a -> 'b -> string) -> statement_separator:Genspio.Common.String.t -> signal_name:string -> ?trap:[< `Exit_with of int | `None Exit_with ] -> (die:(comment_stack:'c -> 'd -> string) -> Genspio.Common.String.t) -> Genspio.Common.String.t