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.

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

Change converter of comment tag to type tag. #810

Merged
merged 1 commit into from
Sep 11, 2023
Merged

Conversation

samchon
Copy link
Owner

@samchon samchon commented Sep 11, 2023

When converting comment tag to type name, its representative name was a little bit wrong when Format or Pattern category case. It must be Format<"uuid">, but had converted to Format<uuid>. It had not affected to validation logic and had not caused any bug, but I've fixed it to exact expression.

When converting comment tag to type name, its representative name was a little bit wrong when `Format` or `Pattern` category case. It must be `Format<"uuid">`, but had converted to `Format<uuid>`. It had not affected to validation logic and had not caused any bug, but I've fixed it to exact expression.
@samchon samchon added bug Something isn't working enhancement New feature or request labels Sep 11, 2023
@samchon samchon self-assigned this Sep 11, 2023
@samchon samchon added this to In progress in V5 Update via automation Sep 11, 2023
@samchon samchon merged commit 9e53681 into master Sep 11, 2023
2 of 3 checks passed
V5 Update automation moved this from In progress to Done Sep 11, 2023
@samchon samchon deleted the features/commentTags branch September 11, 2023 18:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working enhancement New feature or request
Projects
No open projects
Development

Successfully merging this pull request may close these issues.

None yet

1 participant