Generate stack IR for effect field access

1 files changed, 23 insertions, 0 deletions

diff --git a/src/test/java/org/shedlang/compiler/stackir/StackCompilerFieldAccessTests.java b/src/test/java/org/shedlang/compiler/stackir/StackCompilerFieldAccessTests.java
index fee566cb..23d87b61 100644
--- a/src/test/java/org/shedlang/compiler/stackir/StackCompilerFieldAccessTests.java
+++ b/src/test/java/org/shedlang/compiler/stackir/StackCompilerFieldAccessTests.java
@@ -3,6 +3,7 @@ package org.shedlang.compiler.stackir;
 import org.junit.jupiter.api.Test;
 import org.shedlang.compiler.ast.typed.Typed;
 import org.shedlang.compiler.stackir.instructions.FieldLoadInstruction;
+import org.shedlang.compiler.types.Effects;
 import org.shedlang.compiler.types.NamespaceName;
 import org.shedlang.compiler.types.Types;
 
@@ -52,4 +53,26 @@ public class StackCompilerFieldAccessTests {
             isFieldLoadInstruction(structType, "name")
         ));
     }
+
+    @Test
+    public void userDefinedEffectFieldAccessIsCompiledToFieldLoad() {
+        var effect = Effects.userDefined(NamespaceName.of("Example", "Project"), "State");
+        var node = Typed.fieldAccess(
+            Typed.reference("State", Types.effectType(effect)),
+            "read",
+            Types.STRING
+        );
+        var context = StackCompiler.Context.EMPTY
+            .addShedVariable("State");
+
+        var result = StackCompiler.compileExpression(node, context);
+
+        assertThat(result.instructions(), isSequence(
+            isLocalLoadInstruction("State__0"),
+            isFieldLoadInstruction(
+                new FieldLoadInstruction.Receiver.Effect(effect),
+                "read"
+            )
+        ));
+    }
 }