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

Update value.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-12-26 23:29:50 +09:00
parent f0ecf59af1
commit 9daad37fb6
1 changed files with 15 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

22
compiler/erg_compiler/ty/value.rs
View file

@ -902,10 +902,18 @@ impl ValueObj {
TyParam::value(arr.len()).mutate(),
],
),
Self::Dict(_dict) => todo!(),
Self::Code(_) => Type::Code,
Self::None => Type::NoneType,
other => panic!("{other} object cannot be mutated"),
Self::Dict(dict) => poly(
"Dict!",
vec![TyParam::Dict(
dict.iter()
.map(|(k, v)| (TyParam::value(k.clone()), TyParam::value(v.clone())))
.collect(),
)],
),
other => {
log!(err "{other} object cannot be mutated");
other.class()
}
},
Self::Illegal => Type::Failure,
}
@ -913,9 +921,9 @@ impl ValueObj {
pub fn try_cmp(&self, other: &Self) -> Option<Ordering> {
match (self, other) {
(l, r) if l.is_num() && r.is_num() => f64::try_from(l)
.unwrap()
.partial_cmp(&f64::try_from(r).unwrap()),
(l, r) if l.is_num() && r.is_num() => {
f64::try_from(l).ok()?.partial_cmp(&f64::try_from(r).ok()?)
}
(Self::Inf, n) | (n, Self::NegInf) if n.is_num() => Some(Ordering::Greater),
(n, Self::Inf) | (Self::NegInf, n) if n.is_num() => Some(Ordering::Less),
(Self::NegInf, Self::Inf) => Some(Ordering::Less),