erg_compiler 0.6.53

Centimetre: the Erg compiler
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

unsound = import "unsound"

unsound.pyexec("""
def try_(p, exc=lambda _: None, els=lambda: None, fin=lambda: None):
    __result = None
    try:
        __result = p()
    except Exception as e:
        __result = exc(e)
    else:
        els()
    finally:
        fin()
        return __result
""")
.try! = unsound.pyeval("try_")
assert .try! in |T, U|(
    p!: () => T,
    exc!: (exception: BaseException) => U := (exception: BaseException) => NoneType,
    else! := () => NoneType,
    finally! := () => NoneType,
) => T or U