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

fix: runtime type checking bug

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-12-29 23:40:09 +09:00
parent 80872fc50e
commit 4e3b3e3d21
5 changed files with 44 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -5,6 +5,7 @@ from _erg_int import IntMut
from _erg_contains_operator import contains_operator
from _erg_result import is_ok
from _erg_result import Error
from _erg_type import UnionType
class Array(list):
@staticmethod
@ -87,6 +88,8 @@ class Array(list):
return True
elif isinstance(t, set):
return self in t
elif isinstance(t, UnionType):
return any([self.type_check(_t) for _t in t.__args__])
elif not hasattr(t, "__args__"):
return isinstance(self, t)
elem_t = t.__args__[0]