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

Update stdlib for ADTs #1822

Merged
merged 1 commit into from
Feb 19, 2024
Merged

Update stdlib for ADTs #1822

merged 1 commit into from
Feb 19, 2024

Conversation

yannham
Copy link
Member

@yannham yannham commented Feb 16, 2024

Depends on #1821.

Update std.enum and various places of the stdlib to take into account that now std.typeof foo == 'Enum might mean an enum tag or an enum variant. Adds std.enum.is_enum_tag and std.enum.is_enum_variant to the stdlib to let users (and other function of stdlib) discriminate between the two possibilities.

@yannham yannham requested review from vkleen and jneem February 16, 2024 16:51
@github-actions github-actions bot temporarily deployed to pull request February 16, 2024 16:55 Inactive
@github-actions github-actions bot temporarily deployed to pull request February 16, 2024 21:23 Inactive
@github-actions github-actions bot temporarily deployed to pull request February 19, 2024 11:29 Inactive
Base automatically changed from fix/adt-contract to master February 19, 2024 17:31
Copy link

dpulls bot commented Feb 19, 2024

🎉 All dependencies have been resolved !

Update `std.enum` and various places of the stdlib to take into account
that now `std.typeof foo == 'Enum` might mean an enum tag or an enum
variant. Adds `std.enum.is_enum_tag` and `std.enum.is_enum_variant` to
the stdlib as well.
@github-actions github-actions bot temporarily deployed to pull request February 19, 2024 17:44 Inactive
@yannham yannham added this pull request to the merge queue Feb 19, 2024
Merged via the queue into master with commit 4bc05f5 Feb 19, 2024
5 checks passed
@yannham yannham deleted the fix/enum-stdlib branch February 19, 2024 18:06
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.

None yet

2 participants