language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-29 20:34:44 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add DictTypeSpec

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-10-20 09:17:55 +09:00
parent 7defa71c86
commit 45e34c6773
4 changed files with 66 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

17
compiler/erg_compiler/lib/std/_erg_std_prelude.py
View file

@ -31,8 +31,11 @@ def in_operator(x, y):
type_check = in_operator(x[0], y[0])
len_check = len(x) == len(y)
return type_check and len_check
elif type(y) == dict and type(y[0]) == type:
NotImplemented
elif type(y) == dict and type(next(iter(y.keys()))) == type:
# TODO:
type_check = True # in_operator(x[next(iter(x.keys()))], next(iter(y.keys())))
len_check = len(x) >= len(y)
return type_check and len_check
else:
return x in y
@ -63,7 +66,15 @@ class Bool(Nat):
return self.__str__()
class Str(str):
pass
def __instancecheck__(cls, obj):
print(cls, obj)
return obj == Str or obj == str
def try_new(s: str): # -> Result[Nat]
if isinstance(s, str):
return Str(s)
else:
return Error("Str can't be other than str")
class Range:
def __init__(self, start, end):