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

fix: test failures

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-02-09 21:10:41 +09:00
parent e5c8f177ba
commit 134cb1254c
3 changed files with 13 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/erg_compiler/lib/core/_erg_std_prelude.py
View file

@ -1,3 +1,5 @@
# HACK: import MutType to suppress segfault in CPython 3.10 (cause unknown)
from _erg_type import MutType as _MutType
from _erg_range import (
Range,
LeftOpenRange,

2
crates/erg_compiler/tests/infer.er
View file

@ -29,4 +29,4 @@ f! t =
c_new x, y = C.new x, y
C = Class Int
C.
new x, y = Self::__new__ x + y
new x, y = Self x + y

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

@ -340,11 +340,14 @@ impl LimitedDisplay for SubrType {
if i > 0 || !self.non_default_params.is_empty() || self.var_params.is_some() {
write!(f, ", ")?;
}
write!(f, "{}: ", pt.name().unwrap_or(&Str::ever("_")))?;
pt.typ().limited_fmt(f, limit - 1)?;
if let Some(default) = pt.default_typ() {
write!(f, "{}: ", pt.name().unwrap_or(&Str::ever("_")))?;
pt.typ().limited_fmt(f, limit - 1)?;
write!(f, " := ")?;
default.limited_fmt(f, limit - 1)?;
} else {
write!(f, "{} := ", pt.name().unwrap_or(&Str::ever("_")))?;
pt.typ().limited_fmt(f, limit - 1)?;
}
}
if let Some(kw_var_params) = &self.kw_var_params {
@ -355,11 +358,14 @@ impl LimitedDisplay for SubrType {
write!(f, ", ")?;
}
write!(f, "**")?;
write!(f, "{}: ", kw_var_params.name().unwrap_or(&Str::ever("_")))?;
kw_var_params.typ().limited_fmt(f, limit - 1)?;
if let Some(default) = kw_var_params.default_typ() {
write!(f, "{}: ", kw_var_params.name().unwrap_or(&Str::ever("_")))?;
kw_var_params.typ().limited_fmt(f, limit - 1)?;
write!(f, " := ")?;
default.limited_fmt(f, limit - 1)?;
} else {
write!(f, "{} := ", kw_var_params.name().unwrap_or(&Str::ever("_")))?;
kw_var_params.typ().limited_fmt(f, limit - 1)?;
}
}
write!(f, ") {} ", self.kind.arrow())?;