Make proofreading-based fixes.

This commit is contained in:
Danila Fedorin 2020-06-20 23:50:26 -07:00
parent 59231fd00d
commit 6198738acc

View File

@ -302,7 +302,7 @@ void ast_let::translate(global_scope& scope) {
mangled_env->bind(def.first, env->lookup(def.first), visibility::global); mangled_env->bind(def.first, env->lookup(def.first), visibility::global);
mangled_env->set_mangled_name(def.first, global_definition.name); mangled_env->set_mangled_name(def.first, global_definition.name);
ast_ptr global_app(new ast_lid(global_definition.name)); ast_ptr global_app(new ast_lid(original_name));
global_app->env = mangled_env; global_app->env = mangled_env;
for(auto& param : global_definition.params) { for(auto& param : global_definition.params) {
if(!(captured--)) break; if(!(captured--)) break;