From e0802d2deab819ec534fa2c59206135fd7be39af Mon Sep 17 00:00:00 2001 From: SADIK KUZU Date: Tue, 17 Oct 2023 03:58:10 +0300 Subject: [PATCH] fix: typos in specialize.cpp (#2702) --- stage0/src/library/compiler/specialize.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/stage0/src/library/compiler/specialize.cpp b/stage0/src/library/compiler/specialize.cpp index 6298383dcd..567cd221d2 100644 --- a/stage0/src/library/compiler/specialize.cpp +++ b/stage0/src/library/compiler/specialize.cpp @@ -175,7 +175,7 @@ environment update_spec_info(environment const & env, comp_decls const & ds) { name_set S; spec_info_buffer d_infos; name_generator ngen; - /* Initialzie d_infos and S */ + /* Initialize d_infos and S */ for (comp_decl const & d : ds) { S.insert(d.fst()); d_infos.push_back(pair>()); @@ -546,7 +546,7 @@ class specialize_fn { /* Recall that `m_ctx.m_vars` contains all variables (lambda and let) the specialization depends on, and `m_ctx.m_params` contains the ones that should be lambda abstracted. */ m_ctx.m_vars.push_back(x); - /* Thus, a variable occuring outside of a binder is only lambda abstracted if it is not + /* Thus, a variable occurring outside of a binder is only lambda abstracted if it is not a let-variable. */ if (!v) m_ctx.m_params.push_back(x); } @@ -959,7 +959,7 @@ class specialize_fn { types, and it will fail to infer the type of `n`-applications if we do not have an entry in the environment. - Remark: we mark the axiom as `meta` to make sure it does not polute the environment + Remark: we mark the axiom as `meta` to make sure it does not pollute the environment regular definitions. We also considered the following cleaner solution: modify `csimp` to use a custom