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: remove Tuple.__call__

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

12
crates/erg_compiler/context/initialize/classes.rs
View file

@ -1441,6 +1441,7 @@ impl Context {
/* GenericTuple */
let mut generic_tuple = Self::builtin_mono_class(GENERIC_TUPLE, 1);
generic_tuple.register_superclass(Obj, &obj);
// tuple doesn't have a constructor, use `Array` instead
let mut tuple_eq = Self::builtin_methods(Some(mono(EQ)), 2);
tuple_eq.register_builtin_erg_impl(
OP_EQ,
@ -1449,17 +1450,6 @@ impl Context {
Visibility::BUILTIN_PUBLIC,
);
generic_tuple.register_trait(mono(GENERIC_TUPLE), tuple_eq);
let t_call = func1(
poly(ITERABLE, vec![ty_tp(T.clone())]),
array_t(T.clone(), TyParam::erased(Nat)),
)
.quantify();
generic_tuple.register_builtin_erg_impl(
FUNDAMENTAL_CALL,
t_call,
Immutable,
Visibility::BUILTIN_PUBLIC,
);
let Ts = mono_q_tp(TY_TS, instanceof(array_t(Type, N.clone())));
// Ts <: GenericArray
let _tuple_t = poly(TUPLE, vec![Ts.clone()]);