Movatterモバイル変換

This page is a snapshot from the LWG issues list, see theLibrary Active Issues List for more information and the meaning ofNAD Concepts status.

1017. Floating-point types should not satisfyRegular

Section: 99 [concept.regular]Status:NAD ConceptsSubmitter: Alisdair MeredithOpened: 2009-03-11Last modified: 2016-01-28

Priority:Not Prioritized

View all issues withNAD Concepts status.

Discussion:

Addresses US 66

Application of theRegular concept to floating-point types appears to becontroversial (see long discussion on std-lib reflector).

Original proposed resolution:

State that theRegular concept does not apply to floating-point types.

[Summit:]

Recommend that we handle the same as JP 33 /1016⁽ⁱ⁾.

[Post Summit, Alisdair adds:]

Recommend Open, and review after resolution of902⁽ⁱ⁾ and revised axiomfeature.

Proposed resolution: