From 4b3123256a41147529527189b0ba4d68063fb3d0 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 19 Nov 2023 16:04:46 +0000 Subject: Parse try expression as branching expression --- .../java/org/shedlang/compiler/ast/untyped/UntypedTryNode.java | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'src/main/java') 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 handlerMethods, Source source -) implements UntypedExpressionNode { +) implements UntypedBranchingExpressionNode, UntypedExpressionNode { + @Override + public Iterable exhaustiveBranchBodies() { + return List.of(body); + } + public static Builder builder() { return new Builder( P.vector(), -- cgit v1.2.3