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

Update funcs.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-01-26 22:37:57 +09:00
parent dde998480b
commit 748cd2c99d
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/erg_compiler/context/initialize/funcs.rs
View file

@ -113,7 +113,7 @@ impl Context {
None,
Bool,
);
let I = mono_q(KW_I, subtypeof(poly(KW_ITERABLE, vec![ty_tp(T.clone())])));
let I = mono_q(TY_I, subtypeof(poly(ITERABLE, vec![ty_tp(T.clone())])));
let t_iter = nd_func(vec![kw(KW_OBJECT, I.clone())], None, proj(I, ITERATOR)).quantify();
let t_len = nd_func(
vec![kw(KW_S, poly(SEQ, vec![TyParam::erased(Type)]))],