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

chore: VarInfo.impl_of: Option<Type> -> ctx: ContextKind

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-10-15 17:41:22 +09:00
parent 1a056b1b0e
commit 14729c94f4
10 changed files with 101 additions and 84 deletions
Download patch file Download diff file Expand all files Collapse all files

14
crates/erg_compiler/context/mod.rs
View file

@ -323,6 +323,7 @@ pub enum ContextKind {
GluePatch(TraitImpl), // TODO: deprecate (integrate into Patch)
Module,
Instant,
Record,
Dummy,
}
@ -365,6 +366,7 @@ impl fmt::Display for ContextKind {
Self::GluePatch(type_) => write!(f, "GluePatch({type_})"),
Self::Module => write!(f, "Module"),
Self::Instant => write!(f, "Instant"),
Self::Record => write!(f, "Record"),
Self::Dummy => write!(f, "Dummy"),
}
}
@ -648,29 +650,29 @@ impl Context {
for param in params.clone().into_iter() {
let id = DefId(get_hash(&(&name, &param)));
if let Some(name) = param.name {
let kind = VarKind::parameter(id, param.is_var_params, param.default_info);
let var_kind = VarKind::parameter(id, param.is_var_params, param.default_info);
let muty = Mutability::from(&name[..]);
let vi = VarInfo::new(
param.t,
muty,
Visibility::private(&name),
kind,
None,
var_kind,
None,
kind.clone(),
None,
param.loc,
);
params_.push((Some(VarName::new(Token::symbol(&name))), vi));
} else {
let kind = VarKind::parameter(id, param.is_var_params, param.default_info);
let var_kind = VarKind::parameter(id, param.is_var_params, param.default_info);
let muty = Mutability::Immutable;
let vi = VarInfo::new(
param.t,
muty,
Visibility::private(name.clone()),
kind,
None,
var_kind,
None,
kind.clone(),
None,
param.loc,
);