Support accessing native methods

1 files changed, 30 insertions, 0 deletions

diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerMemberAccessTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerMemberAccessTests.java
index 4e0d31fc..d9f7455a 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerMemberAccessTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerMemberAccessTests.java
@@ -19,6 +19,36 @@ import static org.zwobble.precisely.Matchers.equalTo;
 
 public class TypeCheckerMemberAccessTests {
     @Test
+    public void canAccessMethodOnNativeType() {
+        var untyped = Untyped.memberAccess(
+            Untyped.reference("user"),
+            "name"
+        );
+        var nativeType = Types.nativeType(NamespaceName.of("Example"), "User");
+        var methodType = FunctionType.builder()
+            .withReturnType(Types.BOOL)
+            .build();
+        var nativeTypeInfo = NativeTypeInfo.builder()
+            .addMethod("name", methodType)
+            .build();
+        var context = TypeCheckerContext.EMPTY
+            .enterGlobal(P.map(Map.entry("user", nativeType)))
+            .addNativeTypeInfo(nativeType, nativeTypeInfo);
+
+        var typed = typeCheckExpression(untyped, context);
+
+        assertThat(
+            typed.value(),
+            isTypedMemberAccessNode(
+                isTypedReferenceNode("user", nativeType),
+                "name",
+                MemberKind.METHOD,
+                methodType
+            )
+        );
+    }
+
+    @Test
     public void canAccessFieldOnStructType() {
         var untyped = Untyped.memberAccess(
             Untyped.reference("user"),