Skip to content

Int subtyping#139

Draft
Champii wants to merge 1 commit intodevelopfrom
int_subtyping
Draft

Int subtyping#139
Champii wants to merge 1 commit intodevelopfrom
int_subtyping

Conversation

@Champii
Copy link
Copy Markdown
Owner

@Champii Champii commented Jun 24, 2022

No description provided.

@Champii Champii added the enhancement New feature or request label Jun 24, 2022
@Champii Champii self-assigned this Jun 24, 2022
@Champii Champii linked an issue Jun 24, 2022 that may be closed by this pull request
@Champii
Copy link
Copy Markdown
Owner Author

Champii commented Jun 24, 2022

This will probably need #54 and an overall rework of the type and inference systems

@Champii
Copy link
Copy Markdown
Owner Author

Champii commented Jun 25, 2022

Need #138

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Handle inference of multiple size for Int literals

1 participant