+ | "test18.tig"
+ | "test19.tig"
+ | "test20.tig" ->
+ Some Error.is_unknown_id
+ (* TODO: Be more specific - the unknown id is "i" *)
+ | "test22.tig" ->
+ Some Error.is_no_such_field_in_record
+ (* TODO: Be more specific - which field? *)
+ | "test24.tig" ->
+ Some Error.is_not_an_array
+ (* TODO: Be more specific *)
+ | "test25.tig" ->
+ Some Error.is_not_a_record
+ (* TODO: Be more specific *)
+ | "test35.tig"
+ | "test36.tig" ->
+ Some Error.is_wrong_number_of_args
+ (* TODO: Be more specific - how many expected, how many given? *)