[macros] Introduce 'term.*' labels #5210

jensmaurer · 2022-01-15T20:32:36Z

No description provided.

jensmaurer · 2022-01-18T20:59:41Z

@tkoeppe, this introduces \termref to refer to a defined term. Furthermore, all \defn terms automatically get a term.* label assigned. As an added bonus, you get a PDF hyperref for \termref, which takes you directly to the right page in the PDF (not to the start of the section, it seems):

tkoeppe · 2022-01-18T21:06:26Z

Is it the future already?!

tkoeppe · 2022-01-18T21:07:43Z

source/basic.tex

@@ -5061,7 +5062,7 @@
 on the access to these entities\iref{class.access};

 \item
-\defnx{unions}{\idxcode{union}}, which are classes capable of containing objects of
+\textit{unions}, which are classes capable of containing objects of


Why a bare \textit in the main document?

Because everything else in this itemized list is italicized, and other bullets claim to contain definitions, but this one (and likely the other bullets, too) are not actually definitions. I wanted to keep the local italics consistency. If you think otherwise, I'll just remove the italics here.

Maybe use \emph then?

jensmaurer · 2022-01-18T21:14:15Z

@Eelis , this might also interest your HTML conversion if/when it lands.

jensmaurer · 2022-01-21T22:36:25Z

Editorial meeting 2022-01-21: Generally in favor. To be applied after the clause reorganization #5124. Also globally replace \defn with \termdef (also related macros). The latter makes the change global and conflict-prone, so needs close coordination with @tkoeppe.

opensdh · 2022-02-22T15:43:55Z

source/basic.tex

-\defnx{unions}{\idxcode{union}}, which are classes capable of containing objects of
+\emph{unions}, which are classes capable of containing objects of


This loses the index entry. Is that deliberate (since it's not really a definition)?

Yes. Most of the stuff here is not really a definition and should be cleaned up eventually. The current stage just removes the one conflict that was flagged by LaTeX.

opensdh · 2022-02-22T15:46:56Z

source/templates.tex

 For two partial specializations,
-the first is \defn{more specialized} than the second if, given the following
+the first is \defnx{more specialized}{more specialized!class template} than the second if, given the following


While we're moving this: variable templates can be more specialized too.

So, moving that under "class template" is not good; we should keep it generic, right?

And function templates.

Function templates can't be partially specialized.

The index entry already said !class template because the whole partial-specialization section used to assume it was a class template. I'm just pointing out that a line you're touching is (and already was) outdated.

Function templates can be more specialized, but they're not relevant here.

The sentence starts with "For two partial specialization,.."

…ries

The phrase 'more specialized' also applies to variable templates, not just to class templates.

jensmaurer mentioned this pull request Jan 15, 2022

Introduce term.* labels for [basic.types.general] terms #5104

Merged

jensmaurer force-pushed the c21 branch 10 times, most recently from 50447ba to b51f132 Compare January 18, 2022 20:56

tkoeppe reviewed Jan 18, 2022

View reviewed changes

jensmaurer added the decision-required A decision of the editorial group (or the Project Editor) is required. label Jan 19, 2022

jensmaurer force-pushed the c21 branch from b51f132 to d7713d1 Compare January 21, 2022 22:34

jensmaurer removed the decision-required A decision of the editorial group (or the Project Editor) is required. label Jan 21, 2022

languagelawyer mentioned this pull request Feb 6, 2022

[expr.prim.lambda.capture] Fix 'potentially references' for members #5254

Draft

wg21bot added the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Feb 21, 2022

jensmaurer force-pushed the c21 branch from d7713d1 to e6bf77e Compare February 21, 2022 18:12

jensmaurer removed the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Feb 21, 2022

opensdh reviewed Feb 22, 2022

View reviewed changes

wg21bot added the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Feb 22, 2022

jensmaurer force-pushed the c21 branch 2 times, most recently from 8b550db to 72a9fc9 Compare February 22, 2022 16:37

jensmaurer removed the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Feb 22, 2022

wg21bot added the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Mar 2, 2022

[macros] Introduce 'term.*' labels

e32a313

jensmaurer added 5 commits March 2, 2022 23:58

[check] Fail on multiply defined labels

e3051c0

[std] Fix multiply-defined term.* labels by creating unique index ent…

74fd531

…ries

[macros] Add \termref

95af9f6

[std] Use \termref throughout

8448d68

[temp.spec.partial.order] Fix index entry: 'more specialized'

88b4ccd

The phrase 'more specialized' also applies to variable templates, not just to class templates.

jensmaurer force-pushed the c21 branch from 72a9fc9 to 88b4ccd Compare March 2, 2022 22:58

jensmaurer removed the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Mar 2, 2022

wg21bot added the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Aug 19, 2022

tkoeppe force-pushed the main branch from 92c785d to 2a60082 Compare August 26, 2022 14:18

tkoeppe force-pushed the main branch from 47c1aef to 06dcf05 Compare September 4, 2022 12:26

tkoeppe force-pushed the main branch from 89a9fb3 to 79eb180 Compare April 19, 2024 13:54

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[macros] Introduce 'term.*' labels #5210

[macros] Introduce 'term.*' labels #5210

jensmaurer commented Jan 15, 2022

jensmaurer commented Jan 18, 2022 •

edited

tkoeppe commented Jan 18, 2022

tkoeppe Jan 18, 2022

jensmaurer Jan 18, 2022 •

edited

tkoeppe Jan 21, 2022

jensmaurer Jan 21, 2022

jensmaurer commented Jan 18, 2022

jensmaurer commented Jan 21, 2022 •

edited

opensdh Feb 22, 2022

jensmaurer Feb 22, 2022

opensdh Feb 22, 2022

jensmaurer Feb 22, 2022

JohelEGP Feb 22, 2022

jensmaurer Feb 22, 2022

opensdh Feb 22, 2022

jensmaurer Feb 22, 2022

jensmaurer Feb 22, 2022

		\defnx{unions}{\idxcode{union}}, which are classes capable of containing objects of
		\emph{unions}, which are classes capable of containing objects of

[macros] Introduce 'term.*' labels #5210

Are you sure you want to change the base?

[macros] Introduce 'term.*' labels #5210

Conversation

jensmaurer commented Jan 15, 2022

jensmaurer commented Jan 18, 2022 • edited

tkoeppe commented Jan 18, 2022

Choose a reason for hiding this comment

jensmaurer Jan 18, 2022 • edited

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

jensmaurer commented Jan 18, 2022

jensmaurer commented Jan 21, 2022 • edited

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

jensmaurer commented Jan 18, 2022 •

edited

jensmaurer Jan 18, 2022 •

edited

jensmaurer commented Jan 21, 2022 •

edited