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

[strings] review of library index #858

Closed
wants to merge 1 commit into from
Closed

[strings] review of library index #858

wants to merge 1 commit into from

Conversation

AlisdairM
Copy link
Contributor

@AlisdairM AlisdairM commented Jul 26, 2016 •
edited

This review handles several topic related to the index of library names:

  fix outright errors, indexing the wrong name
  indexed the user-defined literal operators
  index the hash functor specializations by type
  consistent apply \indexlibrarymember for all member functions, including previous omissions
  consistent ordering of indexlibrarymember{identifier}{class-name}

@AlisdairM
[strings] review of library index
22f7f57 
    This review handles several topic related to the index
    of library names:
      fix outright errors, indexing the wrong name
      fix errors of omission: every itemdecl is now indexed
      consistent ordering of indexlibrarymember{identifier}{class-name}
      every index macro has a trailing % to avoid accidental whitespace
@tkoeppe
Copy link
Contributor

tkoeppe commented Jul 26, 2016

See #861

@tkoeppe tkoeppe closed this Jul 26, 2016
@AlisdairM AlisdairM deleted the index_review_clause_21 branch August 8, 2016 14:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@AlisdairM @tkoeppe