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

Fix #247

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-11-27 20:24:11 +09:00
parent 1a9ae3349d
commit 111a9f5615
23 changed files with 213 additions and 97 deletions
Download patch file Download diff file Expand all files Collapse all files

8
compiler/erg_compiler/lib/std/_erg_nat.py
View file

@ -1,7 +1,7 @@
from _erg_result import Error
class Nat(int):
def try_new(i: int): # -> Result[Nat]
def try_new(i): # -> Result[Nat]
if i >= 0:
return Nat(i)
else:
@ -10,3 +10,9 @@ class Nat(int):
def times(self, f):
for _ in range(self):
f()
def saturating_sub(self, other):
if self > other:
return self - other
else:
return 0