src/main/java/org/shedlang/compiler/shid/instructions/ShidDefineEffect.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

package org.shedlang.compiler.shid.instructions;

import org.shedlang.compiler.sources.Source;
import org.shedlang.compiler.types.UserDefinedEffect;

/**
 * Push an effect value onto the temporary value stack with the given
 * definition.
 */
public record ShidDefineEffect(
    UserDefinedEffect effect,
    Source source
) implements ShidInstruction {
    @Override
    public boolean isBlockTerminator() {
        return false;
    }
}