github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-05-13 03:00:26 -04:00
Code Issues Packages Projects Releases Wiki Activity

reset namespace before processing each file

Browse Source
This commit is contained in:
Leandro Pacheco
2024-01-22 09:28:28 -03:00
parent c4b4f35771
commit 7864c94310
1 changed files with 10 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
pil_analyzer/src/pil_analyzer.rs
View File

@@ -111,14 +111,18 @@ impl<T: FieldElement> PILAnalyzer<T> {
}
pub fn process(&mut self, files: Vec<PILFile<T>>) {
self.current_namespace = Default::default();
for statement in files.iter().flat_map(|f| f.0.iter()) {
self.collect_names(statement);
for PILFile(file) in &files {
self.current_namespace = Default::default();
for statement in file {
self.collect_names(statement);
}
}
self.current_namespace = Default::default();
for statement in files.into_iter().flat_map(|f| f.0.into_iter()) {
self.handle_statement(statement);
for PILFile(file) in files {
self.current_namespace = Default::default();
for statement in file {
self.handle_statement(statement);
}
}
}