diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-11-19 16:04:46 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-11-19 16:04:46 +0000 |
| commit | 4b3123256a41147529527189b0ba4d68063fb3d0 (patch) | |
| tree | 445f3262699665e3041b1a2b59288a852ce33aff /src/main/java | |
| parent | 914a849c95904cbf075a8fcf62841840dde7f085 (diff) | |
Parse try expression as branching expression
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/ast/untyped/UntypedTryNode.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/ast/untyped/UntypedTryNode.java b/src/main/java/org/shedlang/compiler/ast/untyped/UntypedTryNode.java index 95e85a61..70a7e2bb 100644 --- a/src/main/java/org/shedlang/compiler/ast/untyped/UntypedTryNode.java +++ b/src/main/java/org/shedlang/compiler/ast/untyped/UntypedTryNode.java @@ -12,7 +12,12 @@ public record UntypedTryNode( UntypedTypeLevelExpressionNode handledEffect, List<UntypedTryHandlerMethodNode> handlerMethods, Source source -) implements UntypedExpressionNode { +) implements UntypedBranchingExpressionNode, UntypedExpressionNode { + @Override + public Iterable<UntypedBlockNode> exhaustiveBranchBodies() { + return List.of(body); + } + public static Builder builder() { return new Builder( P.vector(), |
