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

[Fix] Typos in code comments #1874

Merged
merged 1 commit into from
Mar 28, 2024
Merged

[Fix] Typos in code comments #1874

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions core/src/typecheck/mod.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2147,8 +2147,8 @@ fn check<V: TypecheckVisitor>(
// case, once we have inferred an actual type for this field, we need to unify
// what's inside the environment with the actual type to ensure that they agree.
//
// `need_unif_step` store the list of fields corresponding to the case 2, which
// requires this additional unification step. Note that performing the additional
// `need_unif_step` stores the list of fields corresponding to the case 2, which
// require this additional unification step. Note that performing the additional
// unification in case 1. should be harmless, but it's wasteful, and is also not
// entirely trivial because of polymorphism (we need to make sure to instantiate
// polymorphic type annotations). So it's simpler to just skip it in this case.
Expand Down
Loading