| 1 | type t = |
| 2 | | Invalid_syntax of Tiger_position.t |
| 3 | | Unknown_id of {id : Tiger_symbol.t; pos : Tiger_position.t} |
| 4 | | Unknown_type of {ty_id : Tiger_symbol.t; pos : Tiger_position.t} |
| 5 | | Id_not_a_function of {id : Tiger_symbol.t; pos : Tiger_position.t} |
| 6 | | Wrong_type_of_expression_in_var_dec of |
| 7 | { var_id : Tiger_symbol.t |
| 8 | ; expected : Tiger_env_type.t |
| 9 | ; given : Tiger_env_type.t |
| 10 | ; pos : Tiger_position.t |
| 11 | } |
| 12 | | Wrong_type_used_as_record of |
| 13 | { ty_id : Tiger_symbol.t |
| 14 | ; ty : Tiger_env_type.t |
| 15 | ; pos : Tiger_position.t |
| 16 | } |
| 17 | | Wrong_type_of_field_value of |
| 18 | { field_id : Tiger_symbol.t |
| 19 | ; expected : Tiger_env_type.t |
| 20 | ; given : Tiger_env_type.t |
| 21 | ; pos : Tiger_position.t |
| 22 | } |
| 23 | | Wrong_type_of_arg of |
| 24 | { func : Tiger_symbol.t |
| 25 | ; expected : Tiger_env_type.t |
| 26 | ; given : Tiger_env_type.t |
| 27 | ; pos : Tiger_position.t |
| 28 | } |
| 29 | | Wrong_number_of_args of |
| 30 | { func : Tiger_symbol.t |
| 31 | ; expected : int |
| 32 | ; given : int |
| 33 | ; pos : Tiger_position.t |
| 34 | } |
| 35 | | Invalid_operand_type of |
| 36 | { oper : Tiger_absyn.oper |
| 37 | ; valid : string list |
| 38 | ; given : Tiger_env_type.t |
| 39 | ; pos : Tiger_position.t |
| 40 | } |
| 41 | | Different_operand_types of |
| 42 | { oper : Tiger_absyn.oper |
| 43 | ; left : Tiger_env_type.t |
| 44 | ; right : Tiger_env_type.t |
| 45 | ; pos : Tiger_position.t |
| 46 | } |
| 47 | |
| 48 | exception T of t |
| 49 | |
| 50 | val raise : t -> 'a |
| 51 | |
| 52 | val to_string : t -> string |