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

Function argument matching doesn't do the subset matching #34

Closed
jmeaster30 opened this issue Mar 6, 2023 · 1 comment
Closed

Function argument matching doesn't do the subset matching #34

jmeaster30 opened this issue Mar 6, 2023 · 1 comment
Labels
Hydro Concerns with the Hydro language TypeChecker change with the type checker UHOH this is a bug

Comments

@jmeaster30
Copy link
Owner

We set up subset matching so i8's match to i32 and i32's don't match to i8 and etc.

This is how I want to do type inference in Hydro but the function tracking does exact matches instead.

Possibly need a custom matching function to use for the hash map
@jmeaster30 jmeaster30 added UHOH this is a bug TypeChecker change with the type checker Hydro Concerns with the Hydro language labels Mar 6, 2023
@jmeaster30
Copy link
Owner Author

Started over on Hydro. Much simpler now

This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Hydro Concerns with the Hydro language TypeChecker change with the type checker UHOH this is a bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jmeaster30