Skip to content

Honour the int64 integer format - #544

Merged
Smaug123 merged 2 commits into
mainfrom
swagger-int64
Jul 10, 2026
Merged

Honour the int64 integer format#544
Smaug123 merged 2 commits into
mainfrom
swagger-int64

Conversation

@Smaug123

@Smaug123 Smaug123 commented Jul 9, 2026

Copy link
Copy Markdown
Owner

Third fix split out of #540; stacked on #543.

All Swagger integer definitions rendered as F# int regardless of format, narrowing 64-bit IDs to Int32: overflow on the way out, rejection of otherwise-valid responses on the way in. "format": "int64" now renders as int64 in both defnToType and renderType; other or absent formats remain int.

In the generated Gitea client, IssueGetComments now takes index : int64, Team.Id is int64 option, etc.

Tests (TestSwaggerTypeRender.fs) were written first and observed failing on the int64 cases; they drive both rendering paths directly over all three format cases.

🤖 Generated with Claude Code

Smaug123 and others added 2 commits July 10, 2026 12:17
All Swagger integer definitions rendered as F# int regardless of
format, narrowing 64-bit IDs to Int32: overflow on the way out,
rejection of valid responses on the way in. "format": "int64" now
renders as int64 in both defnToType and renderType; other or absent
formats remain int. E.g. IssueGetComments now takes index : int64 and
Team.Id is int64 option.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@Smaug123
Smaug123 enabled auto-merge (squash) July 10, 2026 11:22
@Smaug123
Smaug123 merged commit 10f04ee into main Jul 10, 2026
20 checks passed
@Smaug123
Smaug123 deleted the swagger-int64 branch July 10, 2026 11:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant