Mavryk_raw_protocol_alpha.Script_tc_errorstype unparsed_stack_ty = Alpha_context.Script.expr listtype type_map =
(Alpha_context.Script.location * (unparsed_stack_ty * unparsed_stack_ty))
listtype Mavryk_protocol_environment_alpha.Error_monad.error += | Invalid_arity of Alpha_context.Script.location
* Alpha_context.Script.prim
* int
* inttype Mavryk_protocol_environment_alpha.Error_monad.error += | Invalid_seq_arity of Alpha_context.Script.location * int * inttype Mavryk_protocol_environment_alpha.Error_monad.error += | Invalid_primitive of Alpha_context.Script.location
* Alpha_context.Script.prim list
* Alpha_context.Script.primtype Mavryk_protocol_environment_alpha.Error_monad.error += | Invalid_kind of Alpha_context.Script.location * kind list * kindtype Mavryk_protocol_environment_alpha.Error_monad.error += | Invalid_never_expr of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Missing_field of Alpha_context.Script.primtype Mavryk_protocol_environment_alpha.Error_monad.error += | Duplicate_field of Alpha_context.Script.location * Alpha_context.Script.primtype Mavryk_protocol_environment_alpha.Error_monad.error += | Unexpected_lazy_storage of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Unexpected_operation of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Unexpected_contract of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | No_such_entrypoint of Alpha_context.Entrypoint.ttype Mavryk_protocol_environment_alpha.Error_monad.error += | Duplicate_entrypoint of Alpha_context.Entrypoint.ttype Mavryk_protocol_environment_alpha.Error_monad.error += | Unreachable_entrypoint of Alpha_context.Script.prim listtype Mavryk_protocol_environment_alpha.Error_monad.error += | Tx_rollup_bad_deposit_parameter of Alpha_context.Script.location
* Alpha_context.Script.exprtype Mavryk_protocol_environment_alpha.Error_monad.error += | Tx_rollup_invalid_ticket_amount of Mavryk_protocol_environment_alpha.Z.ttype Mavryk_protocol_environment_alpha.Error_monad.error += | Sc_rollup_disabled of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Zk_rollup_disabled of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Zk_rollup_bad_deposit_parameter of Alpha_context.Script.location
* Alpha_context.Script.exprtype Mavryk_protocol_environment_alpha.Error_monad.error += | Fail_not_in_tail_position of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Unmatched_branches : Alpha_context.Script.location
* unparsed_stack_ty
* unparsed_stack_ty -> Mavryk_protocol_environment_alpha.Error_monad.errortype Mavryk_protocol_environment_alpha.Error_monad.error += | Bad_view_name of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Ill_typed_view of {loc : Alpha_context.Script.location;actual : unparsed_stack_ty;expected : unparsed_stack_ty;}type Mavryk_protocol_environment_alpha.Error_monad.error += | Duplicated_view_name of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Forbidden_instr_in_context of Alpha_context.Script.location
* context_desc
* Alpha_context.Script.primtype Mavryk_protocol_environment_alpha.Error_monad.error += | Unexpected_annotation of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Ungrouped_annotations of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Invalid_map_body : Alpha_context.Script.location
* unparsed_stack_ty -> Mavryk_protocol_environment_alpha.Error_monad.errortype Mavryk_protocol_environment_alpha.Error_monad.error += | Invalid_map_block_fail of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Type_too_large : Alpha_context.Script.location
* int -> Mavryk_protocol_environment_alpha.Error_monad.errortype Mavryk_protocol_environment_alpha.Error_monad.error += | Pair_bad_argument of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Unpair_bad_argument of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Dup_n_bad_argument of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Dup_n_bad_stack of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Invalid_syntactic_constant : Alpha_context.Script.location
* Alpha_context.Script.expr
* string -> Mavryk_protocol_environment_alpha.Error_monad.errortype Mavryk_protocol_environment_alpha.Error_monad.error += | Invalid_contract of Alpha_context.Script.location * Alpha_context.Contract.ttype Mavryk_protocol_environment_alpha.Error_monad.error += | Invalid_big_map of Alpha_context.Script.location * Alpha_context.Big_map.Id.ttype Mavryk_protocol_environment_alpha.Error_monad.error += | Comparable_type_expected : Alpha_context.Script.location
* Alpha_context.Script.expr -> Mavryk_protocol_environment_alpha.Error_monad.errortype Mavryk_protocol_environment_alpha.Error_monad.error += | Inconsistent_type_sizes : int
* int -> Mavryk_protocol_environment_alpha.Error_monad.errortype Mavryk_protocol_environment_alpha.Error_monad.error += | Unexpected_implicit_account_parameters_type : Alpha_context.Script.location
* Alpha_context.Script.expr -> Mavryk_protocol_environment_alpha.Error_monad.errortype Mavryk_protocol_environment_alpha.Error_monad.error += | Inconsistent_memo_sizes : Alpha_context.Sapling.Memo_size.t
* Alpha_context.Sapling.Memo_size.t -> Mavryk_protocol_environment_alpha.Error_monad.errortype Mavryk_protocol_environment_alpha.Error_monad.error += | Unordered_map_keys of Alpha_context.Script.location * Alpha_context.Script.exprtype Mavryk_protocol_environment_alpha.Error_monad.error += | Unordered_set_values of Alpha_context.Script.location
* Alpha_context.Script.exprtype Mavryk_protocol_environment_alpha.Error_monad.error += | Duplicate_map_keys of Alpha_context.Script.location * Alpha_context.Script.exprtype Mavryk_protocol_environment_alpha.Error_monad.error += | Duplicate_set_values of Alpha_context.Script.location
* Alpha_context.Script.exprtype Mavryk_protocol_environment_alpha.Error_monad.error += | Ill_typed_data : string option
* Alpha_context.Script.expr
* Alpha_context.Script.expr -> Mavryk_protocol_environment_alpha.Error_monad.errortype Mavryk_protocol_environment_alpha.Error_monad.error += | Ill_formed_type of string option
* Alpha_context.Script.expr
* Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Ill_typed_contract : Alpha_context.Script.expr
* type_map -> Mavryk_protocol_environment_alpha.Error_monad.errortype Mavryk_protocol_environment_alpha.Error_monad.error += | Deprecated_instruction of Alpha_context.Script.primtype Mavryk_protocol_environment_alpha.Error_monad.error += | Unexpected_ticket of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Unexpected_forged_value of Alpha_context.Script.locationtype Mavryk_protocol_environment_alpha.Error_monad.error += | Non_dupable_type of Alpha_context.Script.location * Alpha_context.Script.exprtype Mavryk_protocol_environment_alpha.Error_monad.error += | Unexpected_ticket_owner of Alpha_context.Destination.ttype inconsistent_types_fast_error = | Inconsistent_types_fastThis value is only used when the details of the error don't matter because the error will be ignored later. For example, when types are compared during the interpretation of the CONTRACT instruction any error will lead to returning None but the content of the error will be ignored.
type (_, _) error_details = | Informative : 'error_context -> ('error_context,
Mavryk_protocol_environment_alpha.Error_monad.error
Mavryk_protocol_environment_alpha.Error_monad.trace)
error_details| Fast : (_, inconsistent_types_fast_error) error_details