Module Genspio.Standard_compilerSource

Sourcetype internal_error_details = {
  1. variable : string;
  2. content : string;
  3. code : string;
}
Sourceval pp_internal_error_details : big_string:(Format.formatter -> string -> unit) -> Format.formatter -> internal_error_details -> unit
Sourcetype death_message =
  1. | User of string
  2. | C_string_failure of internal_error_details
  3. | String_to_int_failure of internal_error_details
Sourceval pp_death_message : ?style:[< `Lispy | `User Lispy ] -> big_string:(Format.formatter -> string -> unit) -> Format.formatter -> death_message -> unit
Sourcetype death_function = comment_stack:string list -> death_message -> string
Sourcetype output_parameters = {
  1. statement_separator : string;
  2. die_command : death_function option;
  3. max_argument_length : int option;
}
Sourcetype internal_representation =
  1. | Unit of string
  2. | Octostring of string
  3. | Int of string
  4. | Bool of string
  5. | List of string
  6. | Death of string
Sourceval ir_unit : string -> internal_representation
Sourceval ir_octostring : string -> internal_representation
Sourceval ir_int : string -> internal_representation
Sourceval ir_bool : string -> internal_representation
Sourceval ir_death : string -> internal_representation
Sourceval ir_list : string -> internal_representation
Sourceval ir_to_shell : internal_representation -> string
Sourcetype compilation_error = {
  1. error : [ `No_fail_configured of death_message | `Max_argument_length of string | `Not_a_c_string of string ];
  2. code : string option;
  3. comment_backtrace : string list;
}
Sourceexception Compilation of compilation_error
Sourceval error : ?code:string -> comment_backtrace:string list -> [ `Max_argument_length of string | `No_fail_configured of death_message | `Not_a_c_string of string ] -> 'a
Sourceval pp_error : Format.formatter -> compilation_error -> unit
Sourceval to_ir : 'a. string list -> output_parameters -> 'a Language.t -> internal_representation
Sourceval to_shell : output_parameters -> 'a Language.t -> string
Sourceval with_die_function : print_failure:(comment_stack:'a -> 'b -> string) -> statement_separator:string -> signal_name:string -> ?trap:[< `Exit_with of int | `None Exit_with ] -> (die:(comment_stack:'a -> 'b -> string) -> string) -> string