Generate stack IR for resume statements

2 files changed, 28 insertions, 0 deletions

diff --git a/src/test/java/org/shedlang/compiler/ast/typed/Typed.java b/src/test/java/org/shedlang/compiler/ast/typed/Typed.java
index 31586620..acb407c8 100644
--- a/src/test/java/org/shedlang/compiler/ast/typed/Typed.java
+++ b/src/test/java/org/shedlang/compiler/ast/typed/Typed.java
@@ -189,6 +189,10 @@ public class Typed {
         return new TypedReferenceNode(name, type, Sources.NULL);
     }
 
+    public static TypedResumeNode resume(TypedExpressionNode expression) {
+        return new TypedResumeNode(expression, Sources.NULL);
+    }
+
     public static TypedBinaryOperationNode stringAdd(
         TypedExpressionNode left,
         TypedExpressionNode right
diff --git a/src/test/java/org/shedlang/compiler/stackir/StackCompilerFunctionResumeTests.java b/src/test/java/org/shedlang/compiler/stackir/StackCompilerFunctionResumeTests.java
new file mode 100644
index 00000000..1aa61a57
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/stackir/StackCompilerFunctionResumeTests.java
@@ -0,0 +1,24 @@
+package org.shedlang.compiler.stackir;
+
+import org.junit.jupiter.api.Test;
+import org.shedlang.compiler.ast.typed.Typed;
+
+import static org.shedlang.compiler.stackir.instructions.InstructionMatchers.isPushStringInstruction;
+import static org.shedlang.compiler.stackir.instructions.InstructionMatchers.isReturnInstruction;
+import static org.zwobble.precisely.AssertThat.assertThat;
+import static org.zwobble.precisely.Matchers.isSequence;
+
+public class StackCompilerFunctionResumeTests {
+    @Test
+    public void expressionIsEvaluatedAndReturned() {
+        var node = Typed.resume(Typed.stringLiteral("hello"));
+        var context = StackCompiler.Context.EMPTY;
+
+        var result = StackCompiler.compileFunctionStatement(node, context);
+
+        assertThat(result.instructions(), isSequence(
+            isPushStringInstruction("hello"),
+            isReturnInstruction()
+        ));
+    }
+}