From 92e60c08a8b3166fe0d3137a7b3ae20e6132b74f Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Fri, 3 Nov 2023 18:49:05 +0000
Subject: Update UserDefinedEffect to be consistent with StructType et al

---
 src/main/java/org/shedlang/compiler/types/UserDefinedEffect.java | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'src/main/java')

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;
     }
 }
-- 
cgit v1.2.3