- | Invalid_syntax of Tiger_position.t
- | Unknown_id of {id : Tiger_symbol.t; pos : Tiger_position.t}
- | Unknown_type of {ty_id : Tiger_symbol.t; pos : Tiger_position.t}
- | Id_not_a_function of {id : Tiger_symbol.t; pos : Tiger_position.t}
+ | Invalid_syntax of Pos.t
+ | Unknown_id of {id : Sym.t; pos : Pos.t}
+ | Unknown_type of {ty_id : Sym.t; pos : Pos.t}
+ | Id_is_a_function of {id : Sym.t; pos : Pos.t}
+ | Id_not_a_function of {id : Sym.t; pos : Pos.t}
+ | No_such_field_in_record of {field : Sym.t; record : Typ.t; pos : Pos.t}
+ | Exp_not_a_record of {ty : Typ.t; pos : Pos.t}
+ | Exp_not_an_array of {ty : Typ.t; pos : Pos.t}
+ | Wrong_type of
+ { expected : Typ.t
+ ; given : Typ.t
+ ; pos : Pos.t
+ }