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

feat(els): support module renaming

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-02-14 16:23:45 +09:00
parent 38f34edbf0
commit f3fd5e3eeb
13 changed files with 222 additions and 39 deletions
Download patch file Download diff file Expand all files Collapse all files

14
crates/erg_compiler/lib/std/_erg_result.py
View file

@ -6,13 +6,13 @@ class Error:
# T = TypeVar("T")
# @_SpecialForm
def Result(self, parameters):
"""Result type.
Result[T] is equivalent to Union[T, Error].
"""
# arg = _type_check(parameters, f"{self} requires a single type.")
return [arg, Error]
# def Result(self, parameters):
# """Result type.
#
# Result[T] is equivalent to Union[T, Error].
# """
# arg = _type_check(parameters, f"{self} requires a single type.")
# return [arg, Error]
def is_ok(obj) -> bool:
return not isinstance(obj, Error)

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

@ -1,5 +1,5 @@
from _erg_range import Range, LeftOpenRange, RightOpenRange, OpenRange, ClosedRange, RangeIterator
from _erg_result import Result, Error, is_ok
from _erg_result import Error, is_ok
from _erg_float import Float, FloatMut
from _erg_int import Int, IntMut
from _erg_nat import Nat, NatMut