From 686fe85364d87aa995bf080ea934674a2ece35d9 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sat, 18 Nov 2023 14:48:54 +0000 Subject: Generate stack IR for effect field access --- .../stackir/StackCompilerFieldAccessTests.java | 23 ++++++++++++++++++++++ 1 file changed, 23 insertions(+) (limited to 'src/test/java/org') 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" + ) + )); + } } -- cgit v1.2.3