Title
<concepts> should be freestanding
Status
c++20
Section
[compliance]
Submitter
Casey Carter

Created on 2018-08-09.00:00:00 last changed 38 months ago

Messages

Date: 2018-11-12.04:39:29

Proposed resolution:

This wording is relative to N4762.

  1. In [compliance], add a new row to Table 21:

    Table 21 — C++ headers for freestanding implementations
    SubclauseHeader(s)
    […] […] […]
    [support.runtime] Other runtime support <cstdarg>
    [concepts] Concepts library <concepts>
    [meta] Type traits <type_traits>
    […] […] […]
Date: 2018-11-12.04:39:29

[ 2018-11, Adopted in San Diego ]

Date: 2018-08-22.12:55:05

[ 2018-08 Batavia Monday issue prioritization ]

Priority set to 0, status to 'Tentatively Ready'

Date: 2018-08-09.00:00:00

The design intent of the <concepts> header is that it contains only fundamental concept definitions and implementations of customization points that are used by those concept definitions. There should never be components in the header that require operating system support. Consequently, freestanding implementations can and should provide it. It is an oversight on the part of LWG - and in particular the author of P0898R3 "Standard Libary Concepts" - that the <concepts> header is not required to be provided by freestanding implementations.

History
Date User Action Args
2021-02-25 10:48:01adminsetstatus: wp -> c++20
2018-11-12 04:39:29adminsetmessages: + msg10206
2018-11-12 04:39:29adminsetstatus: voting -> wp
2018-10-08 05:13:59adminsetstatus: ready -> voting
2018-08-22 12:55:05adminsetmessages: + msg10098
2018-08-22 12:55:05adminsetstatus: new -> ready
2018-08-09 15:21:49adminsetmessages: + msg10061
2018-08-09 00:00:00admincreate