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

Support Python 3.9 as tier-2

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-12-28 20:38:04 +09:00
parent bf48ed0cb2
commit 54dbd1ec22
10 changed files with 26 additions and 187 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -24,7 +24,7 @@ class Nat(Int):
class NatMut(IntMut): # and Nat
value: Nat
def __init__(self, n):
def __init__(self, n: Nat):
self.value = n
def __repr__(self):
return self.value.__repr__()