From c049f4cb221a83e934ffe05981c17450f17b3310 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Mon, 3 Mar 2025 19:18:07 +0000
Subject: Handle references to native type method

---
 .../shid/ShidCodeGenMemberAccessTests.java         | 37 ++++++++++++++++++++++
 1 file changed, 37 insertions(+)

(limited to 'src/test/java')

diff --git a/src/test/java/org/shedlang/compiler/shid/ShidCodeGenMemberAccessTests.java b/src/test/java/org/shedlang/compiler/shid/ShidCodeGenMemberAccessTests.java
index 09c8103f..8120e249 100644
--- a/src/test/java/org/shedlang/compiler/shid/ShidCodeGenMemberAccessTests.java
+++ b/src/test/java/org/shedlang/compiler/shid/ShidCodeGenMemberAccessTests.java
@@ -138,6 +138,43 @@ public class ShidCodeGenMemberAccessTests {
         ));
     }
 
+    @Test
+    public void nativeMethodAccessZeroParamsIsCompiledToDefineFunctionInstruction() {
+        var namespaceName = NamespaceName.of("Example", "Project");
+        var nativeType = Types.nativeType(namespaceName, "User");
+        var node = Typed.methodAccess(
+            Typed.reference("user", nativeType),
+            "name",
+            FunctionType.builder()
+                .withReturnType(Types.STRING)
+                .build()
+        );
+        var context = ShidCodeGen.Context.EMPTY
+            .addShedVal("user");
+
+        var result = ShidCodeGen.compileExpression(node, context);
+
+        assertThat(result.instructions(), isSequence(
+            isShidLocalLoad("user__0"),
+            isShidLocalStore("receiver__0"),
+            instanceOf(
+                ShidDefineFunction.class,
+                has("name", x -> x.name(), equalTo("name")),
+                has("positionalParams", x -> x.positionalParams(), isSequence()),
+                has("namedParams", x -> x.namedParams(), isSequence()),
+                has("freeVariables", x -> x.freeVariables(), containsExactly(
+                    has("user", x -> x.name(), equalTo("receiver__0"))
+                )),
+                has("body", x -> x.body(), isShidBlock(isSequence(
+                    isShidMethodLoad(nativeType, "name"),
+                    isShidLocalLoad("receiver__0"),
+                    isShidCall(1, List.of()),
+                    isShidReturn()
+                )))
+            )
+        ));
+    }
+
     @Test
     public void constructedTypeFieldAccessIsCompiledToFieldLoad() {
         var structType = Types.struct(NamespaceName.of("Example", "Project"), "Box");
-- 
cgit v1.2.3