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

Fix relationship between Kind::Binding and Kind::TypedValue #662

Merged
merged 17 commits into from
Mar 23, 2024

Conversation

CohenArthur
Copy link
Member

@CohenArthur CohenArthur commented Mar 19, 2024

Fixes #661

Can we actually remove ValueRef/TypedValue? I don't think we need it, since we should just be able to keep a RefIdx of a binding.

  • Fix missing typing of bindings
  • Fix missing type-checking of bindings

@CohenArthur CohenArthur force-pushed the fix-binding-typed-value-relationship branch 3 times, most recently from 58c34a4 to a4fe958 Compare March 19, 2024 20:56
@CohenArthur CohenArthur marked this pull request as ready for review March 19, 2024 23:03
fir/src/lib.rs Outdated Show resolved Hide resolved
fir/src/lib.rs Outdated Show resolved Hide resolved
fir/src/lib.rs Outdated Show resolved Hide resolved
fire/src/lib.rs Outdated Show resolved Hide resolved
flatten/src/lib.rs Outdated Show resolved Hide resolved
flatten/src/lib.rs Show resolved Hide resolved
name_resolve/src/scoper.rs Show resolved Hide resolved
recursive_typecheck/src/lib.rs Outdated Show resolved Hide resolved
typecheck/src/typer.rs Show resolved Hide resolved
typecheck/src/typer.rs Outdated Show resolved Hide resolved
@CohenArthur CohenArthur merged commit 6be993b into master Mar 23, 2024
9 checks passed
@CohenArthur CohenArthur deleted the fix-binding-typed-value-relationship branch March 23, 2024 23:38
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.

Specify the exact relationship between Kind::TypedValue and Kind::Binding
1 participant