erg/examples/use_exception.er
2024-01-04 21:41:24 +09:00

11 lines
219 B
Python

exc = import "exception"
s = exc.try! do! str("helo")
# s: Str or NoneType
assert s == "helo"
assert s.isascii()
i = exc.try! do! int(1 / 0), (exception) =>
print! exception # division by zero
0
assert i == 0