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

Uses Hindley-Milner base for type inference. #271

Merged
merged 35 commits into from
Sep 16, 2023
Merged

Uses Hindley-Milner base for type inference. #271

merged 35 commits into from
Sep 16, 2023

Conversation

ktanaka101
Copy link
Owner

No description provided.

@ktanaka101 ktanaka101 linked an issue Sep 16, 2023 that may be closed by this pull request
Impl Type inference and Type checker #263
Open
6 tasks
@ktanaka101 ktanaka101 self-assigned this Sep 16, 2023
ktanaka101
ktanaka101 commented Sep 16, 2023
View reviewed changes
crates/hir_ty/src/inference/environment.rs Outdated Show resolved Hide resolved
crates/hir_ty/src/inference/environment.rs Outdated Show resolved Hide resolved
crates/hir_ty/src/inference/environment.rs Outdated Show resolved Hide resolved
crates/hir_ty/src/inference/error.rs Show resolved Hide resolved
crates/hir_ty/src/inference/type_scheme.rs Show resolved Hide resolved
crates/hir_ty/src/inference/type_unifier.rs Show resolved Hide resolved
crates/hir_ty/src/inference/types.rs Show resolved Hide resolved
crates/mir/src/body.rs Outdated Show resolved Hide resolved
crates/hir_ty/src/inference/environment.rs Outdated Show resolved Hide resolved
crates/hir_ty/src/inference/type_scheme.rs Outdated Show resolved Hide resolved
ktanaka101
ktanaka101 commented Sep 16, 2023
View reviewed changes
crates/hir_ty/src/lib.rs Show resolved Hide resolved
crates/hir_ty/src/lib.rs Outdated Show resolved Hide resolved
@ktanaka101 ktanaka101 merged commit 34cd100 into main Sep 16, 2023
1 check passed
@ktanaka101 ktanaka101 deleted the inference-Hindley-Milner branch September 16, 2023 16:12
@ktanaka101 ktanaka101 mentioned this pull request Oct 12, 2023
Open
6 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@ktanaka101 ktanaka101

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Impl Type inference and Type checker
1 participant
@ktanaka101