language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-27 19:59:07 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix builtin types methods

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-02-03 02:17:44 +09:00
parent 8cdc735486
commit d5e9649172
5 changed files with 107 additions and 101 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1,5 +1,6 @@
from _erg_result import Error
from _erg_int import Int, IntMut
from _erg_int import Int
from _erg_int import IntMut # don't unify with the above line
from _erg_control import then__
class Nat(Int):