Nick Coghlan wrote: > Because this assertion is an assertion about the behaviour of > comparisons that violates IEEE754, while the assertions I list are all > assertions about the behaviour of containers that can be made true > *regardless* of IEEE754 by checking identity explicitly. Aren't you making something of a circular argument here? You're saying that non-reflexive comparisons are okay because they don't interfere with certain critical invariants. But you're defining those invariants as the ones that don't happen to conflict with non-reflexive comparisons! -- Greg
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4