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

Close #800 - add type tags info on JSON schema, and fix special character name bug. #808

Merged
merged 1 commit into from
Sep 10, 2023

Conversation

samchon
Copy link
Owner

@samchon samchon commented Sep 10, 2023

When generating JSON schema, type tags info are newly added to proper type by user request.

Also, there had been a bug that generating wrong named JSON schema $id when special character being used in target type name, or generic type being used like IPointer<T>. JSON shcmea does not allow special character type name.

…cter name bug of JSON schema.

When generating JSON schema, type tags info are newly added to proper type by user request.

Also, there had been a bug that generating wrong named JSON schema `$id` when special character being used in target type name, or generic type being used like `IPointer<T>`. JSON shcmea does not allow special character type name.
@samchon samchon added bug Something isn't working enhancement New feature or request labels Sep 10, 2023
@samchon samchon self-assigned this Sep 10, 2023
@samchon samchon merged commit f6c93a6 into master Sep 10, 2023
2 checks passed
@samchon samchon deleted the features/benchmark branch September 15, 2023 07:38
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
None yet
Development

Successfully merging this pull request may close these issues.

1 participant