Closed ev-br closed 2 months ago
array-api-strict just follows the standard. The standard says this behavior is implementation defined, so strict errors on it. See https://data-apis.org/array-api/latest/API_specification/generated/array_api.array.__truediv__.html#array_api.array.__truediv__. If you want to change that you should open an issue against the standard, not array-api-strict.
Thanks. Mind pointing to a channel to discuss the standard and see past discussions (I suspect this was discussed at length).
While it looks deliberate, still feels a bit too strict: