language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 02:39:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: smallest type selection

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-04-01 08:58:30 +09:00
parent b0959b13e7
commit 7c9970f140
7 changed files with 141 additions and 94 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/erg_compiler/lib/std/_erg_int.py
View file

@ -66,6 +66,8 @@ class IntMut: # inherits Int
def __init__(self, i):
self.value = Int(i)
def __int__(self):
return self.value.__int__()
def __repr__(self):
return self.value.__repr__()

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

@ -40,6 +40,9 @@ class NatMut(IntMut): # and Nat
def __init__(self, n: Nat):
self.value = n
def __int__(self):
return self.value.__int__()
def __repr__(self):
return self.value.__repr__()