Add typed try node

3 files changed, 23 insertions, 1 deletions

diff --git a/src/main/java/org/shedlang/compiler/ast/typed/TypedExpressionNode.java b/src/main/java/org/shedlang/compiler/ast/typed/TypedExpressionNode.java
index 60ae4721..4c8b2cfd 100644
--- a/src/main/java/org/shedlang/compiler/ast/typed/TypedExpressionNode.java
+++ b/src/main/java/org/shedlang/compiler/ast/typed/TypedExpressionNode.java
@@ -4,6 +4,6 @@ import org.shedlang.compiler.types.Type;
 
 public sealed interface TypedExpressionNode
     extends TypedNode
-    permits TypedBinaryOperationNode, TypedBoolLiteralNode, TypedCallNode, TypedFieldAccessNode, TypedFunctionExpressionNode, TypedIfNode, TypedIntLiteralNode, TypedReferenceNode, TypedStringLiteralNode, TypedTupleNode, TypedUnitLiteralNode, TypedWhenNode {
+    permits TypedBinaryOperationNode, TypedBoolLiteralNode, TypedCallNode, TypedFieldAccessNode, TypedFunctionExpressionNode, TypedIfNode, TypedIntLiteralNode, TypedReferenceNode, TypedStringLiteralNode, TypedTryNode, TypedTupleNode, TypedUnitLiteralNode, TypedWhenNode {
     Type type();
 }
diff --git a/src/main/java/org/shedlang/compiler/ast/typed/TypedTryNode.java b/src/main/java/org/shedlang/compiler/ast/typed/TypedTryNode.java
new file mode 100644
index 00000000..2c8034be
--- /dev/null
+++ b/src/main/java/org/shedlang/compiler/ast/typed/TypedTryNode.java
@@ -0,0 +1,19 @@
+package org.shedlang.compiler.ast.typed;
+
+import org.shedlang.compiler.sources.Source;
+import org.shedlang.compiler.types.Effect;
+import org.shedlang.compiler.types.Type;
+
+import java.util.List;
+
+public record TypedTryNode(
+    TypedBlockNode body,
+    TypedTypeLevelExpressionNode<Effect> handledEffect,
+    List<TypedFunctionDefinitionNode> handlers,
+    Source source
+) implements TypedExpressionNode {
+    @Override
+    public Type type() {
+        return body.type();
+    }
+}
diff --git a/src/main/java/org/shedlang/compiler/stackir/StackCompiler.java b/src/main/java/org/shedlang/compiler/stackir/StackCompiler.java
index 7080cde2..8564a66d 100644
--- a/src/main/java/org/shedlang/compiler/stackir/StackCompiler.java
+++ b/src/main/java/org/shedlang/compiler/stackir/StackCompiler.java
@@ -143,6 +143,9 @@ public class StackCompiler {
             case TypedStringLiteralNode typedStringLiteralNode ->
                 compileStringLiteral(typedStringLiteralNode, context);
 
+            case TypedTryNode typedTryNode ->
+                throw new UnsupportedOperationException("TODO");
+
             case TypedTupleNode typedTupleNode ->
                 compileTuple(typedTupleNode, context);