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

fix: minor bugs

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-03-03 14:26:11 +09:00
parent 1c8da7f049
commit cb00efca54
2 changed files with 4 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

3
crates/erg_compiler/context/compare.rs
View file

@ -347,9 +347,6 @@ impl Context {
match (lhs, rhs) {
// Proc :> Func if params are compatible
(Subr(ls), Subr(rs)) if ls.kind == rs.kind || ls.kind.is_proc() => {
if ls.kind != rs.kind {
return false;
}
let kw_check = || {
for lpt in ls.default_params.iter() {
if let Some(rpt) = rs

8
crates/erg_compiler/context/initialize/mod.rs
View file

@ -886,16 +886,16 @@ impl Context {
vis,
Some(COPYRIGHT),
);
self.register_builtin_py_impl(TRUE, Bool, Const, Private, Some(TRUE));
self.register_builtin_py_impl(FALSE, Bool, Const, Private, Some(FALSE));
self.register_builtin_py_impl(NONE, NoneType, Const, Private, Some(NONE));
self.register_builtin_py_impl(
NOT_IMPLEMENTED,
NotImplementedType,
Const,
Private,
vis,
Some(NOT_IMPLEMENTED),
);
self.register_builtin_py_impl(TRUE, Bool, Const, Private, Some(TRUE));
self.register_builtin_py_impl(FALSE, Bool, Const, Private, Some(FALSE));
self.register_builtin_py_impl(NONE, NoneType, Const, Private, Some(NONE));
self.register_builtin_py_impl(ELLIPSIS, Ellipsis, Const, Private, Some(ELLIPSIS));
}