erg 0.6.53

The Erg programming language
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

unsound = import "unsound"

x = !0

C = Class()
C|<: ContextManager|.
    __enter__ self =
        unsound.perform do!:
            print! "C: enter"
            x.inc!()
        self
    __exit__ self, _, _, _ =
        unsound.perform do!:
            print! "C: exit"
            x.dec!()
        False

with! C.new(), c =>
    assert x == 1
    print! c
assert x == 0