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

fix: type instantiation bug

Browse source
This commit is contained in:
Shunsuke Shibayama 2025-02-21 18:02:22 +09:00
parent 7c75ba0044
commit dfb2e43345
2 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -792,7 +792,9 @@ impl Context {
let obj = match res_obj { let obj = match res_obj {
Ok(obj) => obj, Ok(obj) => obj,
Err((obj, es)) => { Err((obj, es)) => {
if is_method {
errs.extend(es); errs.extend(es);
}
obj obj
} }
}; };

5
tests/should_ok/advanced_type_spec.er
View file

@ -16,3 +16,8 @@ _, _ = f2, g2
Packages = [{ .name = Str; .version = Str }; _] Packages = [{ .name = Str; .version = Str }; _]
_: Packages = [{ .name = "a"; .version = "1.0.0" }] _: Packages = [{ .name = "a"; .version = "1.0.0" }]
_: Packages = [{ .name = "a"; .version = "1.0.0" }, { .name = "b"; .version = "1.0.0" }] _: Packages = [{ .name = "a"; .version = "1.0.0" }, { .name = "b"; .version = "1.0.0" }]
C = Class {
.foo = global::List(Int)
}
_ = C.new { .foo = [] }