diff options
| author | Michael Williamson <mike@zwobble.org> | 2025-02-02 19:10:44 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2025-02-02 19:53:22 +0000 |
| commit | 6ead9f417fabd55cc26a93c6d54bdde1110fccd4 (patch) | |
| tree | ec43bf0f0f97d329e63229da812ae82b7df132aa /examples/29-effect-handler-nested/src | |
| parent | cab0787d8c259b21baa376ba1ec2d95740964bd9 (diff) | |
Add runtime support for relational int operations
Diffstat (limited to 'examples/29-effect-handler-nested/src')
| -rw-r--r-- | examples/29-effect-handler-nested/src/Example.shed | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/examples/29-effect-handler-nested/src/Example.shed b/examples/29-effect-handler-nested/src/Example.shed deleted file mode 100644 index 2a8e4781..00000000 --- a/examples/29-effect-handler-nested/src/Example.shed +++ /dev/null @@ -1,42 +0,0 @@ -effect A { - fun a() -> Unit; -} - -effect B { - fun b() -> Unit; -} - -pub fun main() ! Io -> Unit { - try { - A.a!(); - - try { - A.a!(); - - try { - A.a!(); - B.b!(); - A.a!(); - } handle B { - fun b() { - print!("b\n"); - resume; - } - } - - A.a!(); - } handle A { - fun a() { - print!("a inner\n"); - resume; - } - } - - A.a!(); - } handle A { - fun a() { - print!("a outer\n"); - resume; - } - } -} |
