Aadityavardhan
/
nac3_sca
forked from M-Labs/nac3
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

nac3core: top level fix field of funinstance

This commit is contained in:
ychenfo 2021-09-17 22:32:13 +08:00
parent ed5dfd4100
commit 1b0f3d07cc
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
nac3core/src/toplevel/composer.rs
View File

@ -1208,6 +1208,7 @@ impl TopLevelComposer {
result.extend(inst_args.iter().map(|x| x.name.clone())); result.extend(inst_args.iter().map(|x| x.name.clone()));
result result
}; };
let mut calls: HashMap<CodeLocation, CallId> = HashMap::new();
let mut inferencer = Inferencer { let mut inferencer = Inferencer {
top_level: &self.make_top_level_context(), top_level: &self.make_top_level_context(),
defined_identifiers: identifiers.clone(), defined_identifiers: identifiers.clone(),
@ -1237,7 +1238,7 @@ impl TopLevelComposer {
}, },
primitives: &self.primitives_ty, primitives: &self.primitives_ty,
virtual_checks: &mut Vec::new(), virtual_checks: &mut Vec::new(),
calls: &mut HashMap::new(), calls: &mut calls,
}; };
let fun_body = if let ast::StmtKind::FunctionDef { body, .. } = let fun_body = if let ast::StmtKind::FunctionDef { body, .. } =
@ -1281,7 +1282,7 @@ impl TopLevelComposer {
FunInstance { FunInstance {
body: fun_body, body: fun_body,
unifier_id: 0, unifier_id: 0,
calls: HashMap::new(), calls,
subst, subst,
}, },
); );