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.

Sign up for GitHub

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

Jump to bottom

Support variants in the type checker #1777

Closed
konnov opened this issue May 18, 2022 · 1 comment
Closed

Support variants in the type checker #1777

konnov opened this issue May 18, 2022 · 1 comment
Assignees
@konnov
Labels
feature A new feature or functionality
Milestone
X2: Variants and ...

Comments

@konnov
Copy link
Collaborator

konnov commented May 18, 2022

As outlined in #401, we want to support variants.
@konnov konnov added the feature A new feature or functionality label May 18, 2022
@konnov konnov added this to the Variants and precise records milestone May 18, 2022
@konnov konnov self-assigned this May 18, 2022
@konnov
Copy link
Collaborator Author

konnov commented Jun 9, 2022

Closed via #1847

@konnov konnov closed this as completed Jun 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@konnov konnov

Labels
feature A new feature or functionality
Projects
None yet
Milestone
X2: Variants and precise records
Development

No branches or pull requests
1 participant
@konnov