M-Labs/nac3
M-Labs
/
nac3
8
0
Fork 10
Code Issues 97 Pull Requests 19 Releases Wiki Activity

Removed unnecessary comments

This commit is contained in:
aadityavardhan 2022-08-21 09:24:41 +05:30
parent de9fce67ac
commit c3401cb17d
1 changed files with 0 additions and 42 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1347,44 +1347,6 @@ impl TopLevelComposer {
// However, type checking and expression folding needs to be performed in order to correctly // However, type checking and expression folding needs to be performed in order to correctly
// Infer the type of target // Infer the type of target
ast::StmtKind::Assign { targets, value, .. } => { ast::StmtKind::Assign { targets, value, .. } => {
// let ctx = Arc::new(self.make_top_level_context());
// let mut identifiers = {
// let mut result: HashSet<_> = HashSet::new();
// if self_type.is_some() {
// result.insert("self".into());
// }
// result.extend(inst_args.iter().map(|x| x.name));
// result
// };
// let mut calls: HashMap<CodeLocation, CallId> = HashMap::new();
// let mut inferencer = Inferencer {
// top_level: ctx.as_ref(),
// defined_identifiers: identifiers.clone(),
// function_data: &mut FunctionData {
// resolver: class_resolver.as_ref().unwrap().clone(),
// return_type: if unifier.unioned(inst_ret, primitives_ty.none) {
// None
// } else {
// Some(inst_ret)
// },
// // NOTE: allowed type vars
// bound_variables: no_range_vars.clone(),
// },
// unifier,
// variable_mapping: {
// let mut result: HashMap<StrRef, Type> = HashMap::new();
// if let Some(self_ty) = self_type {
// result.insert("self".into(), self_ty);
// }
// result.extend(inst_args.iter().map(|x| (x.name, x.ty)));
// result
// },
// primitives: primitives_ty,
// virtual_checks: &mut Vec::new(),
// calls: &mut calls,
// in_handler: false,
// };
for target in targets { for target in targets {
if let ast::ExprKind::Name { id: attr, .. } = &target.node { if let ast::ExprKind::Name { id: attr, .. } = &target.node {
@ -1394,10 +1356,6 @@ impl TopLevelComposer {
class_static_fields_def.push((*attr, dummy_field_type, true)); class_static_fields_def.push((*attr, dummy_field_type, true));
class_fields_def.push((*attr, dummy_field_type, true)); class_fields_def.push((*attr, dummy_field_type, true));
// let value = inferencer.fold_expr(*value)?;
// let value_ty = value.custom.unwrap();
} else { } else {
return Err(format!( return Err(format!(
"same class fields `{}` defined twice (at {})", "same class fields `{}` defined twice (at {})",