Skip to content

Tweak tagged unions#443

Merged
Tinche merged 3 commits intomainfrom
tin/tagged-unions-fix
Nov 14, 2023
Merged

Tweak tagged unions#443
Tinche merged 3 commits intomainfrom
tin/tagged-unions-fix

Conversation

@Tinche
Copy link
Member

@Tinche Tinche commented Nov 14, 2023

No description provided.

@Tinche Tinche linked an issue Nov 14, 2023 that may be closed by this pull request
@Tinche Tinche merged commit 4df0c9e into main Nov 14, 2023
@Tinche Tinche deleted the tin/tagged-unions-fix branch November 14, 2023 22:49
@Tinche Tinche added this to the 23.2 milestone Apr 18, 2024
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.

configure_tagged_union doesn't mix with forbid_extra_keys=True

1 participant