Opened 6 years ago

Closed 5 years ago

#345 closed defect (fixed)

Should 0.0 and -0.0 be distinct in the sense of EQV?

Reported by: cowan Owned by: cowan
Priority: major Milestone:
Component: WG1 - Core Keywords:


Currently, the draft report implies that 0.0 and -0.0 must be the same in the sense of eqv?. Options: status quo, change to "must be different", change to "may be different".

Change History (4)

comment:1 Changed 6 years ago by cowan

Of course, "must be different" would only apply when the implementation actually provides negative zero.

comment:2 Changed 5 years ago by cowan

  • Status changed from new to decided

The WG voted to make `(eqv? 0.0 -0.0) explicitly unspecified.

comment:3 Changed 5 years ago by cowan

  • Owner changed from alexshinn to cowan
  • Status changed from decided to writing

comment:4 Changed 5 years ago by cowan

  • Resolution set to fixed
  • Status changed from writing to closed

This was overridden by later decisions: 0.0 and -0.0 are now distinct in the sense of eqv? provided the implementation uses IEEE 754.

Note: See TracTickets for help on using tickets.