diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-11-03 18:49:05 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-11-03 18:49:05 +0000 |
| commit | 92e60c08a8b3166fe0d3137a7b3ae20e6132b74f (patch) | |
| tree | 64911d4c70d937dbca29dc74735ad5a68e6f39fd /src/main/java | |
| parent | 65cb451bbfe923a88100a882709e287b8fe5dbb5 (diff) | |
Update UserDefinedEffect to be consistent with StructType et al
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/types/UserDefinedEffect.java | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/main/java/org/shedlang/compiler/types/UserDefinedEffect.java b/src/main/java/org/shedlang/compiler/types/UserDefinedEffect.java index d88ac200..3d56a8d0 100644 --- a/src/main/java/org/shedlang/compiler/types/UserDefinedEffect.java +++ b/src/main/java/org/shedlang/compiler/types/UserDefinedEffect.java @@ -1,13 +1,11 @@ package org.shedlang.compiler.types; -import java.util.List; - public record UserDefinedEffect( - String name, - List<EffectFunction> functions + NamespaceName namespaceName, + String name ) implements Effect { @Override public String describe() { - return name; + return namespaceName.toString() + "." + name; } } |
