This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of NAD status.
988.Reflexivity meaningless?
Section: 99 [concept.comparison] Status: NAD Submitter: Alisdair Meredith Opened: 2009-02-24 Last modified: 2016-01-28
Priority: Not Prioritized
View all other issues in [concept.comparison].
View all issues with NAD status.
Discussion:
99 [concept.comparison] p2:
Due to the subtle meaning of == inside axioms, the Reflexivity axiom does not do anything as written. It merely states that a value is substitutable with itself, rather than asserting a property of the == operator.
Original proposed resolution:
Change the definition of Reflexivity in 99 [concept.comparison]:
axiom Reflexivity(T a) { (a == a) == true; }
[ Post Summit: ]
Alisdair: I was wrong.
Recommend NAD.
Proposed resolution:
NAD.
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