CH-7: [intseq.general]/2 index_sequence instead of integer_sequence

[sdutoit]

N3733 CH-7 says:

The example uses the names “index_sequence” and “make_index_sequence” whereas the following sections define “integer_sequence” and “make_integer_sequence”.

It goes on to propose:

Change the names in the example accordingly.

[jwakely]

This issue is entirely incorrect, index_sequence and make_index_sequence are alias templates defined in the synopsis in 20.2 [utility] paragraph 2. Changing the names in the example would be wrong, because integer_sequence doesn't take the same template parameters as index_sequence.

[sdutoit]

Thanks Jonathan!

Please don't close it yet as I want to sync at next week's meeting on proper procedure for these first.

On Thu, Sep 19, 2013 at 11:41 AM, Jonathan Wakely
notifications@github.com wrote:

This issue is entirely incorrect, index_sequence and make_index_sequence are alias templates defined in the synopsis in [utility] paragraph 2. Changing the names in the example would be wrong, because integer_sequence doesn't take the same template parameters as index_sequence.

Reply to this email directly or view it on GitHub:
#183 (comment)

[sdutoit]

I agree with Jonathan's analysis.

[PeterSommerlad]

Our fault (CH), we (I believe it was me only) missed the using aliases of index_sequence when stomping over that section....

Sorry for the confusion
Peter.
On 23.09.2013, at 21:29, Stefanus Du Toit notifications@github.com wrote:

I agree with Jonathan's analysis.

—
Reply to this email directly or view it on GitHub.

[sdutoit]

No problem; it is easy to miss so I'm adding a non-normative note making it
clearer.

On Tue, Sep 24, 2013 at 9:43 AM, Peter Sommerlad
notifications@github.jpy.wangwrote:

Our fault (CH), we (I believe it was me only) missed the using aliases of
index_sequence when stomping over that section....