Module Main_errors

module Formatter : sig ... end
module Types : sig ... end
include module type of struct include Types end
module Location = Simple_utils.Location
type tezos_alpha_error = [
| `Tezos_alpha_error of Tezos_error_monad.Error_monad.error
]
type all = [
| `Build_error_tracer of BuildSystem.Errors.t
| `Main_invalid_generator_name of string
| `Main_invalid_syntax_name of string
| `Main_invalid_dialect_name of string
| `Main_invalid_extension of string
| `Main_invalid_protocol_version of string list * string
| `Main_invalid_typer_switch of string
| `Main_unparse_tracer of tezos_alpha_error list
| `Main_typecheck_contract_tracer of int Tezos_utils.Michelson.michelson * tezos_alpha_error list
| `Main_could_not_serialize of tezos_alpha_error list
| `Check_typed_arguments_tracer of Simple_utils.Runned_result.check_type * all
| `Main_unknown
| `Main_execution_failed of ( int, string ) Tezos_micheline.Micheline.node
| `Main_cannot_open_global_constants of string
| `Main_cannot_parse_global_constants of string * string
| `Unparsing_michelson_tracer of tezos_alpha_error list
| `Parsing_payload_tracer of tezos_alpha_error list
| `Packing_payload_tracer of tezos_alpha_error list
| `Parsing_input_tracer of tezos_alpha_error list
| `Parsing_code_tracer of tezos_alpha_error list
| `Error_of_execution_tracer of tezos_alpha_error list
| `Preproc_tracer of Preprocessing.Errors.t
| `Parser_tracer of Parsing.Errors.t
| `Pretty_tracer of Parsing.Errors.t
| `Cit_pascaligo_tracer of Tree_abstraction.Pascaligo.Errors.abs_error list
| `Cit_cameligo_tracer of Tree_abstraction.Cameligo.Errors.abs_error list
| `Cit_reasonligo_tracer of Tree_abstraction.Reasonligo.Errors.abs_error list
| `Cit_jsligo_tracer of Tree_abstraction.Jsligo.Errors.abs_error list
| `Self_ast_imperative_tracer of Self_ast_imperative.Errors.self_ast_imperative_error
| `Purification_tracer of Purification.Errors.purification_error list
| `Depurification_tracer of Purification.Errors.purification_error
| `Desugaring_tracer of Desugaring.Errors.desugaring_error
| `Sugaring_tracer of Desugaring.Errors.desugaring_error
| `Checking_tracer of Checking.Errors.typer_error
| `Self_ast_typed_tracer of Self_ast_typed.Errors.self_ast_typed_error
| `Aggregation_tracer of Aggregation.Errors.aggregation_error
| `Self_ast_aggregated_tracer of Self_ast_aggregated.Errors.self_ast_aggregated_error
| `Spilling_tracer of Spilling.Errors.spilling_error
| `Self_mini_c_tracer of Self_mini_c.Errors.self_mini_c_error
| `Scoping_tracer of Scoping.Errors.scoping_error
| `Stacking_tracer of Stacking.Errors.stacking_error
| `Ligo_init_unrecognized_template of string list
| `Main_interpret_test_entry_not_found of string
| `Main_interpret_target_lang_error of Location.t * Location.t list * Tezos_error_monad__TzCore.error list
| `Main_interpret_target_lang_failwith of Location.t * ( int, string ) Tezos_micheline.Micheline.node
| `Main_interpret_boostrap_not_enough of Location.t
| `Main_interpret_meta_lang_eval of Location.t * Location.t list * Ligo_interpreter.Types.value
| `Main_interpret_meta_lang_failwith of Location.t * Location.t list * Ligo_interpreter.Types.value
| `Main_interpret_generic of Location.t * string
| `Main_interpret_literal of Location.t * Ast_typed.literal
| `Main_interpret_modules_not_supported of Location.t
| `Main_interpret_not_enough_initial_accounts of Location.t * Memory_proto_alpha.Protocol.Alpha_context.Tez.tez
| `Main_decompile_michelson of Stacking.Errors.stacking_error
| `Main_decompile_mini_c of Spilling.Errors.spilling_error
| `Main_decompile_aggregated of Aggregation.Errors.aggregation_error
| `Main_decompile_typed of Checking.Errors.typer_error
| `Main_entrypoint_not_a_function
| `Main_entrypoint_not_found
| `Main_view_not_a_function of Ast_typed.expression_variable
| `Main_view_rule_violated of Location.t
| `Main_invalid_balance of string
| `Main_invalid_amount of string
| `Main_invalid_sender of string
| `Main_invalid_source of string
| `Main_invalid_timestamp of string
| `Test_err_tracer of string * all
| `Test_run_tracer of string * all
| `Test_expect_tracer of Ast_core.expression * Ast_core.expression
| `Test_expect_n_tracer of int * all
| `Test_expect_exp_tracer of Ast_core.expression * all
| `Test_expect_eq_n_tracer of int * all
| `Test_internal of string
| `Test_internal_msg of string * string
| `Test_md_file of string * string * string * string * all
| `Test_expected_to_fail
| `Test_not_expected_to_fail
| `Test_repl of string list * string list
| `Repl_unexpected
]
val build_error_tracer : 'a -> [> `Build_error_tracer of 'a ]
val main_invalid_generator_name : 'a -> [> `Main_invalid_generator_name of 'a ]
val main_invalid_syntax_name : 'a -> [> `Main_invalid_syntax_name of 'a ]
val main_invalid_dialect_name : 'a -> [> `Main_invalid_dialect_name of 'a ]
val main_invalid_extension : 'a -> [> `Main_invalid_extension of 'a ]
val main_invalid_protocol_version : 'a -> 'b -> [> `Main_invalid_protocol_version of 'a * 'b ]
val main_invalid_typer_switch : 'a -> [> `Main_invalid_typer_switch of 'a ]
val main_unparse_tracer : 'a -> [> `Main_unparse_tracer of 'a ]
val main_typecheck_contract_tracer : 'a -> 'b -> [> `Main_typecheck_contract_tracer of 'a * 'b ]
val main_could_not_serialize : 'a -> [> `Main_could_not_serialize of 'a ]
val check_typed_arguments_tracer : 'a -> 'b -> [> `Check_typed_arguments_tracer of 'a * 'b ]
val main_unknown : [> `Main_unknown ]
val main_execution_failed : 'a -> [> `Main_execution_failed of 'a ]
val main_cannot_open_global_constants : 'a -> [> `Main_cannot_open_global_constants of 'a ]
val main_cannot_parse_global_constants : 'a -> 'b -> [> `Main_cannot_parse_global_constants of 'a * 'b ]
val unparsing_michelson_tracer : 'a -> [> `Unparsing_michelson_tracer of 'a ]
val parsing_payload_tracer : 'a -> [> `Parsing_payload_tracer of 'a ]
val packing_payload_tracer : 'a -> [> `Packing_payload_tracer of 'a ]
val parsing_input_tracer : 'a -> [> `Parsing_input_tracer of 'a ]
val parsing_code_tracer : 'a -> [> `Parsing_code_tracer of 'a ]
val error_of_execution_tracer : 'a -> [> `Error_of_execution_tracer of 'a ]
val preproc_tracer : 'a -> [> `Preproc_tracer of 'a ]
val parser_tracer : 'a -> [> `Parser_tracer of 'a ]
val pretty_tracer : 'a -> [> `Pretty_tracer of 'a ]
val cit_pascaligo_tracer : 'a -> [> `Cit_pascaligo_tracer of 'a ]
val cit_cameligo_tracer : 'a -> [> `Cit_cameligo_tracer of 'a ]
val cit_reasonligo_tracer : 'a -> [> `Cit_reasonligo_tracer of 'a ]
val cit_jsligo_tracer : 'a -> [> `Cit_jsligo_tracer of 'a ]
val self_ast_imperative_tracer : 'a -> [> `Self_ast_imperative_tracer of 'a ]
val purification_tracer : 'a -> [> `Purification_tracer of 'a ]
val depurification_tracer : 'a -> [> `Depurification_tracer of 'a ]
val desugaring_tracer : 'a -> [> `Desugaring_tracer of 'a ]
val sugaring_tracer : 'a -> [> `Sugaring_tracer of 'a ]
val checking_tracer : 'a -> [> `Checking_tracer of 'a ]
val self_ast_typed_tracer : 'a -> [> `Self_ast_typed_tracer of 'a ]
val aggregation_tracer : 'a -> [> `Aggregation_tracer of 'a ]
val self_ast_aggregated_tracer : 'a -> [> `Self_ast_aggregated_tracer of 'a ]
val spilling_tracer : 'a -> [> `Spilling_tracer of 'a ]
val self_mini_c_tracer : 'a -> [> `Self_mini_c_tracer of 'a ]
val scoping_tracer : 'a -> [> `Scoping_tracer of 'a ]
val stacking_tracer : 'a -> [> `Stacking_tracer of 'a ]
val ligo_init_unrecognized_template : 'a -> [> `Ligo_init_unrecognized_template of 'a ]
val main_interpret_test_entry_not_found : 'a -> [> `Main_interpret_test_entry_not_found of 'a ]
val main_interpret_target_lang_error : 'a -> 'b -> 'c -> [> `Main_interpret_target_lang_error of 'a * 'b * 'c ]
val main_interpret_target_lang_failwith : 'a -> 'b -> [> `Main_interpret_target_lang_failwith of 'a * 'b ]
val main_interpret_boostrap_not_enough : 'a -> [> `Main_interpret_boostrap_not_enough of 'a ]
val main_interpret_meta_lang_eval : 'a -> 'b -> 'c -> [> `Main_interpret_meta_lang_eval of 'a * 'b * 'c ]
val main_interpret_meta_lang_failwith : 'a -> 'b -> 'c -> [> `Main_interpret_meta_lang_failwith of 'a * 'b * 'c ]
val main_interpret_generic : 'a -> 'b -> [> `Main_interpret_generic of 'a * 'b ]
val main_interpret_literal : 'a -> 'b -> [> `Main_interpret_literal of 'a * 'b ]
val main_interpret_modules_not_supported : 'a -> [> `Main_interpret_modules_not_supported of 'a ]
val main_interpret_not_enough_initial_accounts : 'a -> 'b -> [> `Main_interpret_not_enough_initial_accounts of 'a * 'b ]
val main_decompile_michelson : 'a -> [> `Main_decompile_michelson of 'a ]
val main_decompile_mini_c : 'a -> [> `Main_decompile_mini_c of 'a ]
val main_decompile_aggregated : 'a -> [> `Main_decompile_aggregated of 'a ]
val main_decompile_typed : 'a -> [> `Main_decompile_typed of 'a ]
val main_entrypoint_not_a_function : [> `Main_entrypoint_not_a_function ]
val main_entrypoint_not_found : [> `Main_entrypoint_not_found ]
val main_view_not_a_function : 'a -> [> `Main_view_not_a_function of 'a ]
val main_view_rule_violated : 'a -> [> `Main_view_rule_violated of 'a ]
val main_invalid_balance : 'a -> [> `Main_invalid_balance of 'a ]
val main_invalid_amount : 'a -> [> `Main_invalid_amount of 'a ]
val main_invalid_sender : 'a -> [> `Main_invalid_sender of 'a ]
val main_invalid_source : 'a -> [> `Main_invalid_source of 'a ]
val main_invalid_timestamp : 'a -> [> `Main_invalid_timestamp of 'a ]
val test_err_tracer : 'a -> 'b -> [> `Test_err_tracer of 'a * 'b ]
val test_run_tracer : 'a -> 'b -> [> `Test_run_tracer of 'a * 'b ]
val test_expect_tracer : 'a -> 'b -> [> `Test_expect_tracer of 'a * 'b ]
val test_expect_n_tracer : 'a -> 'b -> [> `Test_expect_n_tracer of 'a * 'b ]
val test_expect_exp_tracer : 'a -> 'b -> [> `Test_expect_exp_tracer of 'a * 'b ]
val test_expect_eq_n_tracer : 'a -> 'b -> [> `Test_expect_eq_n_tracer of 'a * 'b ]
val test_internal : 'a -> [> `Test_internal of 'a ]
val test_internal_msg : 'a -> 'b -> [> `Test_internal_msg of 'a * 'b ]
val test_md_file : 'a -> 'b -> 'c -> 'd -> 'e -> [> `Test_md_file of 'a * 'b * 'c * 'd * 'e ]
val test_expected_to_fail : [> `Test_expected_to_fail ]
val test_not_expected_to_fail : [> `Test_not_expected_to_fail ]
val test_repl : 'a -> 'b -> [> `Test_repl of 'a * 'b ]
val repl_unexpected : [> `Repl_unexpected ]
val typecheck_contract_tracer : ( 'a, string ) Tezos_micheline.Micheline.node -> tezos_alpha_error list -> all