> The Math class has support for "exact" forms of int and long add, subtract, > multiply, and divide that throw exceptions instead of wrapping around in a > two's complement sense. This nested class in Integer prototype what adding > type-level support for that functionality would look like.
Joe Darcy has updated the pull request incrementally with one additional commit since the last revision: Add witnesses, etc. ------------- Changes: - all: https://git.openjdk.org/valhalla/pull/1937/files - new: https://git.openjdk.org/valhalla/pull/1937/files/15efdf80..2e511bab Webrevs: - full: https://webrevs.openjdk.org/?repo=valhalla&pr=1937&range=02 - incr: https://webrevs.openjdk.org/?repo=valhalla&pr=1937&range=01-02 Stats: 141 lines in 1 file changed: 140 ins; 0 del; 1 mod Patch: https://git.openjdk.org/valhalla/pull/1937.diff Fetch: git fetch https://git.openjdk.org/valhalla.git pull/1937/head:pull/1937 PR: https://git.openjdk.org/valhalla/pull/1937
