module Typ = Tiger_env_type
type t =
+ | Cycle_in_type_decs of
+ { from_id : Sym.t
+ ; from_pos : Pos.t
+ ; to_id : Sym.t
+ ; to_pos : Pos.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_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
; ty : Typ.t
; pos : Pos.t
}
+ | Wrong_type_used_as_array of
+ { ty_id : Sym.t
+ ; ty : Typ.t
+ ; pos : Pos.t
+ }
| Wrong_type_of_field_value of
{ field_id : Sym.t
; expected : Typ.t
function
| Invalid_syntax pos ->
s "Invalid syntax in %s" (Pos.to_string pos)
+ | Cycle_in_type_decs {from_id; from_pos; to_id; to_pos} ->
+ s ( "Circular type declaration between %S and %S."
+ ^^"Locations: %S (in %s), %S (in %s).")
+ (Sym.to_string from_id)
+ (Sym.to_string to_id)
+ (Sym.to_string from_id)
+ (Pos.to_string from_pos)
+ (Sym.to_string to_id)
+ (Pos.to_string to_pos)
| Unknown_id {id; pos} ->
s "Unknown identifier %S in %s" (Sym.to_string id) (Pos.to_string pos)
| Unknown_type {ty_id; pos} ->
s "No field %S in record %S in %s"
(Sym.to_string field) (Typ.to_string record) (Pos.to_string pos)
| Exp_not_a_record {ty; pos} ->
- s ( "This expression has type %S, it is not a record, it cannot be"
+ s ( "The expression of type %S is not a record, it cannot be"
+ ^^"accessed in %s")
+ (Typ.to_string ty) (Pos.to_string pos)
+ | Exp_not_an_array {ty; pos} ->
+ s ( "The expression of type %S is not an array, it cannot be"
^^"accessed in %s")
(Typ.to_string ty) (Pos.to_string pos)
| Wrong_type {expected; given; pos} ->
(Typ.to_string expected)
(Typ.to_string given)
(Pos.to_string pos)
+ | Wrong_type_used_as_array {ty_id; ty; pos} ->
+ s ( "Identifier %S is bound to type %S, not an array. "
+ ^^"It cannot be used in %s")
+ (Sym.to_string ty_id) (Typ.to_string ty) (Pos.to_string pos)
| Wrong_type_used_as_record {ty_id; ty; pos} ->
s ( "Identifier %S is bound to type %S, not a record. "
^^"It cannot be used in %s")
match t with
| Unknown_id _ ->
true
+ | Cycle_in_type_decs _
+ | Invalid_syntax _
+ | Unknown_type _
+ | Id_is_a_function _
+ | Id_not_a_function _
+ | No_such_field_in_record _
+ | Exp_not_a_record _
+ | Exp_not_an_array _
+ | Wrong_type _
+ | Wrong_type_of_expression_in_var_dec _
+ | Wrong_type_used_as_array _
+ | Wrong_type_used_as_record _
+ | Wrong_type_of_field_value _
+ | Wrong_type_of_arg _
+ | Wrong_number_of_args _
+ | Invalid_operand_type _
+ | Different_operand_types _ ->
+ false
+
+let is_unknown_type t =
+ match t with
+ | Unknown_type _ ->
+ true
+ | Cycle_in_type_decs _
+ | Unknown_id _
+ | Invalid_syntax _
+ | Id_is_a_function _
+ | Id_not_a_function _
+ | No_such_field_in_record _
+ | Exp_not_a_record _
+ | Exp_not_an_array _
+ | Wrong_type _
+ | Wrong_type_of_expression_in_var_dec _
+ | Wrong_type_used_as_array _
+ | Wrong_type_used_as_record _
+ | Wrong_type_of_field_value _
+ | Wrong_type_of_arg _
+ | Wrong_number_of_args _
+ | Invalid_operand_type _
+ | Different_operand_types _ ->
+ false
+
+let is_wrong_type t =
+ match t with
+ | Wrong_type _ ->
+ true
+ | Cycle_in_type_decs _
+ | Unknown_type _
+ | Unknown_id _
| Invalid_syntax _
+ | Id_is_a_function _
+ | Id_not_a_function _
+ | No_such_field_in_record _
+ | Exp_not_a_record _
+ | Exp_not_an_array _
+ | Wrong_type_of_expression_in_var_dec _
+ | Wrong_type_used_as_array _
+ | Wrong_type_used_as_record _
+ | Wrong_type_of_field_value _
+ | Wrong_type_of_arg _
+ | Wrong_number_of_args _
+ | Invalid_operand_type _
+ | Different_operand_types _ ->
+ false
+
+let is_wrong_number_of_args t =
+ match t with
+ | Wrong_number_of_args _ ->
+ true
+ | Cycle_in_type_decs _
+ | Wrong_type _
| Unknown_type _
+ | Unknown_id _
+ | Invalid_syntax _
| Id_is_a_function _
| Id_not_a_function _
| No_such_field_in_record _
| Exp_not_a_record _
+ | Exp_not_an_array _
+ | Wrong_type_of_expression_in_var_dec _
+ | Wrong_type_used_as_array _
+ | Wrong_type_used_as_record _
+ | Wrong_type_of_field_value _
+ | Wrong_type_of_arg _
+ | Invalid_operand_type _
+ | Different_operand_types _ ->
+ false
+
+let is_invalid_syntax t =
+ match t with
+ | Invalid_syntax _ ->
+ true
+ | Cycle_in_type_decs _
| Wrong_type _
+ | Unknown_type _
+ | Unknown_id _
+ | Id_is_a_function _
+ | Id_not_a_function _
+ | No_such_field_in_record _
+ | Exp_not_a_record _
+ | Exp_not_an_array _
+ | Wrong_type_of_expression_in_var_dec _
+ | Wrong_type_used_as_array _
+ | Wrong_type_used_as_record _
+ | Wrong_type_of_field_value _
+ | Wrong_type_of_arg _
+ | Wrong_number_of_args _
+ | Invalid_operand_type _
+ | Different_operand_types _ ->
+ false
+
+let is_not_a_record t =
+ match t with
+ | Exp_not_a_record _ ->
+ true
+ | Cycle_in_type_decs _
+ | Invalid_syntax _
+ | Wrong_type _
+ | Unknown_type _
+ | Unknown_id _
+ | Id_is_a_function _
+ | Id_not_a_function _
+ | No_such_field_in_record _
+ | Exp_not_an_array _
+ | Wrong_type_of_expression_in_var_dec _
+ | Wrong_type_used_as_array _
+ | Wrong_type_used_as_record _
+ | Wrong_type_of_field_value _
+ | Wrong_type_of_arg _
+ | Wrong_number_of_args _
+ | Invalid_operand_type _
+ | Different_operand_types _ ->
+ false
+
+let is_not_an_array t =
+ match t with
+ | Exp_not_an_array _ ->
+ true
+ | Cycle_in_type_decs _
+ | Exp_not_a_record _
+ | Invalid_syntax _
+ | Wrong_type _
+ | Unknown_type _
+ | Unknown_id _
+ | Id_is_a_function _
+ | Id_not_a_function _
+ | No_such_field_in_record _
+ | Wrong_type_of_expression_in_var_dec _
+ | Wrong_type_used_as_array _
+ | Wrong_type_used_as_record _
+ | Wrong_type_of_field_value _
+ | Wrong_type_of_arg _
+ | Wrong_number_of_args _
+ | Invalid_operand_type _
+ | Different_operand_types _ ->
+ false
+
+let is_no_such_field_in_record t =
+ match t with
+ | No_such_field_in_record _ ->
+ true
+ | Cycle_in_type_decs _
+ | Exp_not_an_array _
+ | Exp_not_a_record _
+ | Invalid_syntax _
+ | Wrong_type _
+ | Unknown_type _
+ | Unknown_id _
+ | Id_is_a_function _
+ | Id_not_a_function _
+ | Wrong_type_of_expression_in_var_dec _
+ | Wrong_type_used_as_array _
+ | Wrong_type_used_as_record _
+ | Wrong_type_of_field_value _
+ | Wrong_type_of_arg _
+ | Wrong_number_of_args _
+ | Invalid_operand_type _
+ | Different_operand_types _ ->
+ false
+
+let is_cycle_in_type_dec t =
+ match t with
+ | Cycle_in_type_decs _ ->
+ true
+ | No_such_field_in_record _
+ | Exp_not_an_array _
+ | Exp_not_a_record _
+ | Invalid_syntax _
+ | Wrong_type _
+ | Unknown_type _
+ | Unknown_id _
+ | Id_is_a_function _
+ | Id_not_a_function _
| Wrong_type_of_expression_in_var_dec _
+ | Wrong_type_used_as_array _
| Wrong_type_used_as_record _
| Wrong_type_of_field_value _
| Wrong_type_of_arg _