On Tue, 20 Jan 2026 20:56:54 GMT, Joe Darcy <[email protected]> wrote:

>> A refinement of some earlier ideas on the numerics modeling interfaces to 
>> inform further discussions.
>> 
>> This is a "lumpy" rather than "splitty" design in terms of favoring a 
>> smaller number of interfaces with more functionality rather than a larger 
>> number of interfaces making smaller distinctions.
>> 
>> Various design comments and to-do's noted in the code.
>
> Joe Darcy has updated the pull request incrementally with one additional 
> commit since the last revision:
> 
>   Add apiNote on closure under different operations, etc.

>From experience working on https://github.com/openjdk/valhalla/pull/1937, 
>pushed another changeset to this PR discussion closure properties of different 
>operations and how they are expected to be documented. In other words, if 
>value is not returned for a particular combination of operands, the 
>expectation is that an ArithmeticException will be thrown and the conditions 
>under which that exception would be thrown should be documented in the 
>numerical type.

-------------

PR Comment: https://git.openjdk.org/valhalla/pull/1917#issuecomment-3774913598

Reply via email to