language-servers/SpacemanDMM
1
0
Fork 0
mirror of https://github.com/SpaceManiac/SpacemanDMM.git synced 2025-12-23 05:36:47 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Handle type::foo in dreamchecker

Browse source
This commit is contained in:
Tad Hardesty 2023-10-19 23:25:20 -07:00
parent 311e43472a
commit 587361db60
1 changed files with 15 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

20
crates/dreamchecker/src/lib.rs
View file

@ -1683,11 +1683,21 @@ impl<'o, 's> AnalyzeProc<'o, 's> {
Term::Ident(unscoped_name) => {
if let Some(var) = local_vars.get(unscoped_name) {
return var.analysis.clone()
var.analysis.clone()
.with_fix_hint(var.location, "add additional type info here")
}
if let Some(decl) = self.ty.get_var_declaration(unscoped_name) {
//println!("found type var");
} else if unscoped_name == "type" {
// Strictly speaking "type" might be any subset of our current type, but let's return something useful
// so that `nameof(type::foo)` is sensible.
let ty = self.ty;
let pop = dm::constants::Pop::from(ty.path.split('/').skip(1).map(ToOwned::to_owned).collect::<Vec<_>>().into_boxed_slice());
Analysis {
static_ty: StaticType::None,
aset: assumption_set![Assumption::IsPath(true, ty)],
value: Some(Constant::Prefab(Box::new(pop))),
fix_hint: None,
is_impure: None,
}
} else if let Some(decl) = self.ty.get_var_declaration(unscoped_name) {
let mut ana = self.static_type(location, &decl.var_type.type_path)
.with_fix_hint(decl.location, "add additional type info here");
ana.is_impure = Some(true);
@ -2047,7 +2057,7 @@ impl<'o, 's> AnalyzeProc<'o, 's> {
.register(self.context);
return Analysis::empty()
};
if !&typepop.vars.is_empty() {
if !typepop.vars.is_empty() {
error(location, format!("static access requires a static typepath, {} found instead", typepop))
.register(self.context);
return Analysis::empty()