Merge pull request #1554 from raulsntos/char-metadata

Correct type for `char16` and `char32` meta
pull/1558/head
David Snopek 2024-08-22 19:17:59 -05:00 committed by GitHub
commit 19c83a8837
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions

View File

@ -2770,6 +2770,8 @@ def correct_type(type_name, meta=None, use_alias=True):
if meta is not None:
if "int" in meta:
return f"{meta}_t"
elif "char" in meta:
return f"{meta}_t"
else:
return meta
if type_name in type_conversion: