From c9ffb931adc50091fd86ea9d09c423ab16020416 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Thu, 2 Nov 2023 23:07:44 +0000
Subject: Add typed unit node

---
 .../org/shedlang/compiler/ast/typed/Typed.java     |  4 ++++
 .../stackir/StackCompilerUnitLiteralTests.java     | 22 ++++++++++++++++++++++
 2 files changed, 26 insertions(+)
 create mode 100644 src/test/java/org/shedlang/compiler/stackir/StackCompilerUnitLiteralTests.java

(limited to 'src/test/java')

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 09e7f080..31586620 100644
--- a/src/test/java/org/shedlang/compiler/ast/typed/Typed.java
+++ b/src/test/java/org/shedlang/compiler/ast/typed/Typed.java
@@ -249,6 +249,10 @@ public class Typed {
         return new TypedTypeLevelReferenceNode<>(name, value, Sources.NULL);
     }
 
+    public static TypedUnitLiteralNode unitLiteral() {
+        return new TypedUnitLiteralNode(Sources.NULL);
+    }
+
     public static TypedAssignNode val(
         String targetName,
         TypedExpressionNode expression
diff --git a/src/test/java/org/shedlang/compiler/stackir/StackCompilerUnitLiteralTests.java b/src/test/java/org/shedlang/compiler/stackir/StackCompilerUnitLiteralTests.java
new file mode 100644
index 00000000..024b9561
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/stackir/StackCompilerUnitLiteralTests.java
@@ -0,0 +1,22 @@
+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.isPushUnitInstruction;
+import static org.zwobble.precisely.AssertThat.assertThat;
+import static org.zwobble.precisely.Matchers.isSequence;
+
+public class StackCompilerUnitLiteralTests {
+    @Test
+    public void unitLiteralIsCompiledToPushUnitInstruction() {
+        var node = Typed.unitLiteral();
+        var context = StackCompiler.Context.EMPTY;
+
+        var result = StackCompiler.compileExpression(node, context);
+
+        assertThat(result.instructions(), isSequence(
+            isPushUnitInstruction()
+        ));
+    }
+}
-- 
cgit v1.2.3