+ | No_such_field_in_record {field; record; 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"
+ ^^"accessed in %s")
+ (Typ.to_string ty) (Pos.to_string pos)
+ | Wrong_type {expected; given; pos} ->
+ s "Type error: expected: %S, but given: %S, in %s"
+ (Typ.to_string expected)
+ (Typ.to_string given)
+ (Pos.to_string pos)