Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Inconsistent use of \defexposconcept v. \exposconcept v. \placeholder for \expos concepts #3680

Closed
burblebee opened this issue Feb 14, 2020 · 3 comments
Closed

Inconsistent use of \defexposconcept v. \exposconcept v. \placeholder for \expos concepts #3680

burblebee opened this issue Feb 14, 2020 · 3 comments

Comments

@burblebee
Copy link
Contributor

Inconsistent use of \defexposconcept v. \exposconcept v. \placeholder for exposition concepts. Here's some examples from a grep:

utilities.tex:    concept @\exposconcept{no-throw-input-iterator}@ = @\seebelow@;    // \expos
support.tex:  concept @\defexposconcept{partially-ordered-with}@ =      // \expos
iterators.tex:  template<class T> concept @\defexposconcept{can-reference}@       // \expos
iterators.tex:    {   *i } -> @\placeholder{can-reference}@;
@jensmaurer
Copy link
Member

\defexposconcept is only applied once per concept, where the actual definition applies. A "see below" mention doesn't count as a definition.
\placeholder uses for \exposconcept are just "not yet changed" situations.

@jensmaurer
Copy link
Member

Let's wait until #3496 has landed before cleaning up any stragglers.

@jensmaurer
Copy link
Member

At least the /can-reference/ example is now fixed. Please create a new issue (with specifics) for any remaining issues in this area.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@burblebee @jensmaurer