From 1ed30cb57b8ae48ac60576aee807d5dfc86d8646 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sat, 4 Nov 2023 21:42:25 +0000
Subject: Add typed try node

---
 .../compiler/ast/typed/TypedExpressionNode.java       |  2 +-
 .../org/shedlang/compiler/ast/typed/TypedTryNode.java | 19 +++++++++++++++++++
 .../org/shedlang/compiler/stackir/StackCompiler.java  |  3 +++
 3 files changed, 23 insertions(+), 1 deletion(-)
 create mode 100644 src/main/java/org/shedlang/compiler/ast/typed/TypedTryNode.java

(limited to 'src/main/java')

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);
 
-- 
cgit v1.2.3