1 module Abs = Tiger_absyn
2 module Pos = Tiger_position
3 module Sym = Tiger_symbol
4 module Typ = Tiger_env_type
7 | Invalid_syntax of Pos.t
8 | Unknown_id of {id : Sym.t; pos : Pos.t}
9 | Unknown_type of {ty_id : Sym.t; pos : Pos.t}
10 | Id_not_a_function of {id : Sym.t; pos : Pos.t}
11 | Wrong_type_of_expression_in_var_dec of
17 | Wrong_type_used_as_record of
22 | Wrong_type_of_field_value of
28 | Wrong_type_of_arg of
34 | Wrong_number_of_args of
40 | Invalid_operand_type of
46 | Different_operand_types of
57 val to_string : t -> string
59 val is_unknown_id : t -> bool