carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-05 11:51:04 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Allocate de Bruijn levels to symbolic bindings. (#3906)

Browse Source 
Use a level comparison during substitution to determine whether we're
substituting a particular binding. Evaluate symbolic bindings with the
same name and the same level to the same symbolic constant, for example
across redeclarations of a generic function.
This commit is contained in:
Richard Smith
2024-04-23 16:15:47 +00:00
committed by GitHub
parent 76a5cf5f50
commit e0b8728263
106 changed files with 1240 additions and 706 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/check/scope_stack.cpp
+4
View File
@@ -19,6 +19,10 @@ auto ScopeStack::Push(SemIR::InstId scope_inst_id, SemIR::NameScopeId scope_id,
{.index = next_scope_index_,
.scope_inst_id = scope_inst_id,
.scope_id = scope_id,
.next_compile_time_bind_index =
scope_stack_.empty()
? SemIR::CompileTimeBindIndex(0)
: scope_stack_.back().next_compile_time_bind_index,
.lexical_lookup_has_load_error =
LexicalLookupHasLoadError() || lexical_lookup_has_load_error});
if (scope_id.is_valid()) {