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_is_a_function of {id : Sym.t; pos : Pos.t}
11 | Id_not_a_function of {id : Sym.t; pos : Pos.t}
12 | No_such_field_in_record of {field : Sym.t; record : Typ.t; pos : Pos.t}
13 | Exp_not_a_record of {ty : Typ.t; pos : Pos.t}
14 | Exp_not_an_array of {ty : Typ.t; pos : Pos.t}
20 | Wrong_type_of_expression_in_var_dec of
26 | Wrong_type_used_as_record of
31 | Wrong_type_used_as_array of
36 | Wrong_type_of_field_value of
42 | Wrong_type_of_arg of
48 | Wrong_number_of_args of
54 | Invalid_operand_type of
60 | Different_operand_types of
71 val to_string : t -> string
73 val is_unknown_id : t -> bool