This PR proposes to change the implementation of the Ttypes.is_ts_tuple function so that it doesnt confuse unit for a tuple of length 0.
This has the immediate benefit of concentrating the logic in the function rather than having to check that a type symbol is not ts_unit before calling is_ts_tuple (hence the simplifcation of the condition in Typing.process_val_spec.
This PR proposes to change the implementation of the
Ttypes.is_ts_tuplefunction so that it doesnt confuseunitfor a tuple of length 0.This has the immediate benefit of concentrating the logic in the function rather than having to check that a type symbol is not
ts_unitbefore callingis_ts_tuple(hence the simplifcation of the condition inTyping.process_val_spec.This also improves the state of ortac#207