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

chore: improve refinement types display

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-01-28 19:34:03 +09:00
parent 4393649ffc
commit 8350ad0581
4 changed files with 30 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

11
crates/erg_compiler/context/instantiate.rs
View file

@ -257,6 +257,17 @@ impl TyVarCache {
}
}
pub(crate) fn push_refine_var(&mut self, name: &VarName, t: Type, ctx: &Context) {
if name.inspect() == "_" {
return;
}
let vi = VarInfo::type_var(t, ctx.absolutize(name.loc()), ctx.name.clone());
ctx.index().register(name.inspect().clone(), &vi);
self.var_infos.insert(name.clone(), vi);
let tp = TyParam::mono(name.inspect());
self.typaram_instances.insert(name.clone(), tp);
}
pub(crate) fn dummy_push_or_init_typaram(
&mut self,
name: &VarName,