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: #357

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-04-17 13:37:27 +09:00
parent 607ecc92b5
commit fd21c1c633
2 changed files with 15 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

5
crates/erg_compiler/lib/std/_erg_array.py
View file

@ -1,3 +1,5 @@
from _erg_control import then__
class Array(list):
def dedup(self, same_bucket=None):
if same_bucket is None:
@ -19,3 +21,6 @@ class Array(list):
return Array(list(filter(f, self))), Array(
list(filter(lambda x: not f(x), self))
)
def __mul__(self, n):
return then__(list.__mul__(self, n), Array)