language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-02 13:41:10 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update lower.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-12-27 15:30:43 +09:00
parent a249de98b3
commit dbfc48895e
1 changed files with 1 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

17
compiler/erg_compiler/lower.rs
View file

@ -171,7 +171,7 @@ impl ASTLowerer {
None, None,
expect, expect,
found, found,
self.ctx.get_candidates(found), None, // self.ctx.get_candidates(found),
Context::get_simple_type_mismatch_hint(expect, found), Context::get_simple_type_mismatch_hint(expect, found),
) )
}) })
@ -1475,7 +1475,6 @@ impl ASTLowerer {
fn lower_redef(&mut self, redef: ast::ReDef) -> LowerResult<hir::ReDef> { fn lower_redef(&mut self, redef: ast::ReDef) -> LowerResult<hir::ReDef> {
log!(info "entered {}({redef})", fn_name!()); log!(info "entered {}({redef})", fn_name!());
let loc = redef.loc();
let attr = self.lower_acc(redef.attr)?; let attr = self.lower_acc(redef.attr)?;
let expr = self.lower_expr(*redef.expr)?; let expr = self.lower_expr(*redef.expr)?;
if let Err(err) = self.var_result_t_check( if let Err(err) = self.var_result_t_check(
@ -1486,20 +1485,6 @@ impl ASTLowerer {
) { ) {
self.errs.push(err); self.errs.push(err);
} }
if !self.ctx.supertype_of(attr.ref_t(), expr.ref_t()) {
self.errs.push(LowerError::type_mismatch_error(
self.cfg.input.clone(),
line!() as usize,
loc,
self.ctx.caused_by(),
&attr.to_string_notype(),
None,
attr.ref_t(),
expr.ref_t(),
None,
None,
));
}
Ok(hir::ReDef::new(attr, hir::Block::new(vec![expr]))) Ok(hir::ReDef::new(attr, hir::Block::new(vec![expr])))
} }