Skip to content

Reject -Inf in the grammar#1794

Merged
woodruffw merged 2 commits intomainfrom
ww/fix-neg-inf
Mar 24, 2026
Merged

Reject -Inf in the grammar#1794
woodruffw merged 2 commits intomainfrom
ww/fix-neg-inf

Conversation

@woodruffw
Copy link
Member

See #1694.

Signed-off-by: William Woodruff <[email protected]>
@woodruffw woodruffw self-assigned this Mar 24, 2026
@woodruffw woodruffw added the bugfix Fixes a known bug label Mar 24, 2026
Signed-off-by: William Woodruff <[email protected]>
@woodruffw woodruffw added this to the 1.24.0 milestone Mar 24, 2026
@woodruffw woodruffw merged commit cc48fa3 into main Mar 24, 2026
12 checks passed
@woodruffw woodruffw deleted the ww/fix-neg-inf branch March 24, 2026 07:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bugfix Fixes a known bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant