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
59 let s = Printf.sprintf in
61 | Invalid_syntax pos ->
62 s "Invalid syntax in %s" (Pos.to_string pos)
63 | Unknown_id {id; pos} ->
64 s "Unknown identifier %S in %s" (Sym.to_string id) (Pos.to_string pos)
65 | Unknown_type {ty_id; pos} ->
66 s "Unknown type %S in %s" (Sym.to_string ty_id) (Pos.to_string pos)
67 | Id_not_a_function {id; pos} ->
68 s "Identifier %S is not a function, it cannot be called in %s"
69 (Sym.to_string id) (Pos.to_string pos)
70 | Wrong_type_of_expression_in_var_dec {var_id; expected; given; pos} ->
71 s ( "Wrong type of expression in declaration of %S. "
72 ^^"Expected: %S, given: %S. In %s")
73 (Sym.to_string var_id)
74 (Typ.to_string expected)
77 | Wrong_type_used_as_record {ty_id; ty; pos} ->
78 s ( "Identifier %S is bound to type %S, not a record. "
79 ^^"It cannot be used in %s")
80 (Sym.to_string ty_id) (Typ.to_string ty) (Pos.to_string pos)
81 | Wrong_type_of_field_value {field_id; expected; given; pos} ->
82 s ( "Field %S is declared to be of type %S, but is bound to expression "
84 (Sym.to_string field_id)
85 (Typ.to_string expected)
88 | Wrong_type_of_arg {func; expected; given; pos} ->
89 s ( "Incorrect type of argument to function %S, expected: %S, given: %S,"
92 (Typ.to_string expected)
95 | Wrong_number_of_args {func; expected; given; pos} ->
96 s ( "Incorrect number of arguments to function %S, "
97 ^^"expected: %d, given: %d,"
99 (Sym.to_string func) expected given (Pos.to_string pos)
100 | Invalid_operand_type {oper; valid; given; pos} ->
101 s ( "Invalid operand type %S for operator %S, which expects only: %s"
103 (Typ.to_string given)
105 (String.concat ", " valid)
107 | Different_operand_types {oper; left; right; pos} ->
108 s "Operands of different types (%S %S %S) given in %s"
111 (Typ.to_string right)
114 let is_unknown_id t =
120 | Id_not_a_function _
121 | Wrong_type_of_expression_in_var_dec _
122 | Wrong_type_used_as_record _
123 | Wrong_type_of_field_value _
124 | Wrong_type_of_arg _
125 | Wrong_number_of_args _
126 | Invalid_operand_type _
127 | Different_operand_types _ ->