examples/32-effect-in-handler/src/Example.shed


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

effect A {
    fun a() -> Unit;
}

effect B {
    fun b() -> Unit;
}

pub fun main() ! Io -> Unit {
    try {
        A.a!();

        try {
            A.a!();

            try {
                B.b!();
            } handle B {
                fun b() {
                    print!("b start\n");
                    A.a!();
                    print!("b end\n");
                    resume;
                }
            }

            A.a!();
        } handle A {
            fun a() {
                print!("a inner start\n");
                A.a!();
                print!("a inner end\n");
                resume;
            }
        }

        A.a!();
    } handle A {
        fun a() {
            print!("a outer\n");
            resume;
        }
    }
}