New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[temp] Replace \term with \defn or \placeholder #1370
Conversation
source/templates.tex
Outdated
@@ -3556,11 +3561,11 @@ | |||
\rSec2[temp.dep]{Dependent names} | |||
|
|||
\pnum | |||
\indextext{name!dependent}% | |||
\indextext{dependent name|see{name!dependent}}% |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Should this be see{name, dependent}
?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes, good catch.
Updated and rebased. |
source/templates.tex
Outdated
@@ -3704,7 +3708,8 @@ | |||
|
|||
\pnum | |||
A name refers to the | |||
\term{current instantiation} | |||
\indextext{current instantiation|see{instantiation, current}} | |||
\defnx{current instantiation}{instantiation!current} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't think grouping this under "instantiation" is appropriate; the "current instantiation" is a notion separate from instantiation itself (in fact, it's most relevant when checking a template definition prior to performing any instantiation).
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
You're right.
Fixed as requested. |
source/templates.tex
Outdated
A name is a | ||
\term{member of the current instantiation} | ||
\defnx{member of the current instantiation}{instantiation!member of the current} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This should be {current instantiation!member of}
or similar.
source/templates.tex
Outdated
\indextext{instantiation!dependent member of the current}% | ||
A name is a \term{dependent member of the current instantiation} if it is a | ||
\indextext{dependent member of the current instantiation|see{instantiation, dependent member of the current}}% | ||
A name is a \defnx{dependent member of the current instantiation}{instantiation!dependent member of the current} if it is a |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Likewise.
Thereby also improving the index.
Fixed the two "member of the current instantiation" issues. The index looks sane now (in this regard). |
Thereby also improving the index.
Partially addresses #329.