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

Feat/enhance tag casts #1325

Open

barendgehrels wants to merge 1 commit into boostorg:develop from barendgehrels:feat/enhance_tag_casts

Collaborator

barendgehrels commented Oct 7, 2024 •

edited

Loading

This PR:

uses tag_cast_t i/o tag_cast
where this happens, also uses tag_t
uses cs_tag_t i/o cs_tag
extracts single_tag_base_of to (renamed) a separate meta-function file primary_single_tag (I think it's more clear)

barendgehrels requested review from awulkiew and vissarion

October 7, 2024 18:38

barendgehrels self-assigned this

barendgehrels force-pushed the feat/enhance_tag_casts branch 3 times, most recently from bb92f3d to ce1c4c6 Compare

October 7, 2024 18:44


          feat: use tag_cast_t more and extract primary_single_tag

18d86e8

barendgehrels force-pushed the feat/enhance_tag_casts branch from ce1c4c6 to 18d86e8 Compare

October 7, 2024 18:53

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet