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

Update typaram.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-12-15 17:00:56 +09:00
parent 800b6c43d9
commit f2856c588f
1 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
compiler/erg_compiler/ty/typaram.rs
View file

@ -3,12 +3,12 @@ use std::fmt;
use std::ops::{Add, Div, Mul, Neg, Range, RangeInclusive, Sub};
use std::rc::Rc;
use erg_common::dict;
use erg_common::dict::Dict;
use erg_common::set;
use erg_common::set::Set;
use erg_common::traits::LimitedDisplay;
use erg_common::Str;
use erg_common::{dict, log};
use super::constructors::int_interval;
use super::free::{CanbeFree, Constraint, FreeKind, FreeTyParam, HasLevel, Level, GENERIC_LEVEL};
@ -454,7 +454,10 @@ impl TryFrom<TyParam> for ValueObj {
TyParam::FreeVar(fv) if fv.is_linked() => ValueObj::try_from(fv.crack().clone()),
TyParam::Type(t) => Ok(ValueObj::builtin_t(*t)),
TyParam::Value(v) => Ok(v),
_ => panic!("Expected value, got {:?}", tp),
_ => {
log!(err "Expected value, got {:?}", tp);
Err(())
}
}
}
}