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

Update exception.er

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-01-06 00:06:12 +09:00
parent 395ca6e595
commit 74f3bad52e
1 changed files with 11 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

15
crates/erg_compiler/lib/std/exception.er
View file

@ -2,14 +2,21 @@ unsound = import "unsound"
# TODO: exception: Exception # TODO: exception: Exception
unsound.pyexec(""" unsound.pyexec("""
def try_(p, exc=lambda _: None): def try_(p, exc=lambda _: None, els=lambda: None, fin=lambda: None):
try: try:
return p() res = p()
except Exception as e: except Exception as e:
return exc(e) res = exc(e)
else:
els()
finally:
fin()
return res
""") """)
.try! = unsound.pyeval("try_") .try! = unsound.pyeval("try_")
assert .try! in |T, U|( assert .try! in |T, U|(
p!: () => T, p!: () => T,
exc!: (exception: Obj) => U := (exception: Obj) => NoneType exc!: (exception: Obj) => U := (exception: Obj) => NoneType,
else! := () => NoneType,
finally! := () => NoneType,
) => T or U ) => T or U