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

fix: NotImplementedType

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-03-16 12:03:47 +09:00
parent 9b6d19a8f4
commit 5838eea7ec
3 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/erg_compiler/context/instantiate_spec.rs
View file

@ -483,7 +483,7 @@ impl Context {
"Bool" => Ok(Type::Bool),
"NoneType" => Ok(Type::NoneType),
"Ellipsis" => Ok(Type::Ellipsis),
"NotImplemented" => Ok(Type::NotImplementedType),
"NotImplementedType" => Ok(Type::NotImplementedType),
"Inf" => Ok(Type::Inf),
"NegInf" => Ok(Type::NegInf),
"Never" => Ok(Type::Never),