Update core/src/typecheck/mod.rs

tweag · Jul 25, 2023 · 4607564 · 4607564
1 parent 0e7a4f2
commit 4607564
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/src/typecheck/mod.rs b/core/src/typecheck/mod.rs
@@ -2267,7 +2267,7 @@ fn infer<L: Linearizer>(
             // specification), we will have a more advanced and specific rule to guess the
             // instantiation of the potentially polymorphic type of the head of the application.
             // Currently, we limit ourselves to predicative instantiation, and we can get away
-            // by eagerly instantiating heading `foralls` with fresh unification variables.
+            // with eagerly instantiating heading `foralls` with fresh unification variables.
             let head_poly = infer(state, ctxt.clone(), lin, linearizer.scope(), e)?;
             let head = instantiate_foralls(state, &mut ctxt, head_poly, ForallInst::UnifVar);