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

fix: type display omittion

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-07-07 00:31:10 +09:00
parent c0209706bb
commit e6c490e22b
3 changed files with 11 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
crates/erg_compiler/ty/mod.rs
View file

@ -1073,9 +1073,12 @@ impl LimitedDisplay for Type {
write!(f, "...")?;
break;
}
write!(f, "; {field} = ")?;
write!(f, "{field} = ")?;
t.limited_fmt(f, limit - 1)?;
}
if attrs.is_empty() {
write!(f, "=")?;
}
write!(f, "}}")
}
Self::Subr(sub) => sub.limited_fmt(f, limit),

3
crates/erg_compiler/ty/typaram.rs
View file

@ -400,6 +400,9 @@ impl LimitedDisplay for TyParam {
write!(f, "{field} = ")?;
v.limited_fmt(f, limit - 1)?;
}
if rec.is_empty() {
write!(f, "=")?;
}
write!(f, "}}")
}
Self::Lambda(lambda) => write!(f, "{lambda}"),

5
crates/erg_compiler/ty/value.rs
View file

@ -586,7 +586,7 @@ impl LimitedDisplay for ValueObj {
match self {
Self::Str(s) => {
if s.len() >= STR_OMIT_THRESHOLD {
write!(f, "...")
write!(f, "\"(...)\"")
} else {
write!(f, "\"{}\"", s.escape())
}
@ -662,6 +662,9 @@ impl LimitedDisplay for ValueObj {
write!(f, "{field} = ")?;
v.limited_fmt(f, limit - 1)?;
}
if rec.is_empty() {
write!(f, "=")?;
}
write!(f, "}}")
}
Self::Type(typ) => typ.limited_fmt(f, limit),