Compile typed native type declaration node into Shid

1 files changed, 33 insertions, 0 deletions

diff --git a/src/test/java/org/shedlang/compiler/shid/ShidCodeGenNativeTypeDeclarationTests.java b/src/test/java/org/shedlang/compiler/shid/ShidCodeGenNativeTypeDeclarationTests.java
new file mode 100644
index 00000000..6a4070c5
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/shid/ShidCodeGenNativeTypeDeclarationTests.java
@@ -0,0 +1,33 @@
+package org.shedlang.compiler.shid;
+
+import org.junit.jupiter.api.Test;
+import org.shedlang.compiler.ast.typed.TypedNativeTypeDeclarationNode;
+import org.shedlang.compiler.shid.instructions.ShidDeclareNativeType;
+import org.shedlang.compiler.types.NamespaceName;
+import org.shedlang.compiler.types.Types;
+
+import static org.shedlang.compiler.shid.instructions.ShidMatchers.isShidLocalStore;
+import static org.zwobble.precisely.AssertThat.assertThat;
+import static org.zwobble.precisely.Matchers.*;
+
+public class ShidCodeGenNativeTypeDeclarationTests {
+    @Test
+    public void nativeTypeDeclarationIsCompiledToDeclareNativeTypeInstruction() {
+        var nativeType = Types.nativeType(NamespaceName.of("Example", "Project"), "Array");
+        var node = TypedNativeTypeDeclarationNode.builder()
+            .withType(nativeType)
+            .build();
+        var context = ShidCodeGen.Context.EMPTY
+            .addShedVal("Array");
+
+        var result = ShidCodeGen.compileNamespaceStatement(node, context);
+
+        assertThat(result.instructions(), isSequence(
+            instanceOf(
+                ShidDeclareNativeType.class,
+                has("type", x -> x.type(), equalTo(nativeType))
+            ),
+            isShidLocalStore("Array__0")
+        ));
+    }
+}