Rename NoSuchFieldError to NoSuchMemberError

3 files changed, 27 insertions, 27 deletions

diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
index 181d41e3..ed522427 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
@@ -5,7 +5,7 @@ import org.shedlang.compiler.ast.typed.*;
 import org.shedlang.compiler.ast.untyped.*;
 import org.shedlang.compiler.sources.Source;
 import org.shedlang.compiler.sources.Sources;
-import org.shedlang.compiler.typechecker.errors.NoSuchFieldError;
+import org.shedlang.compiler.typechecker.errors.NoSuchMemberError;
 import org.shedlang.compiler.typechecker.errors.*;
 import org.shedlang.compiler.typechecker.typesets.TypeSetTypeLevelValue;
 import org.shedlang.compiler.typechecker.typesets.TypeSets;
@@ -1335,7 +1335,7 @@ public class TypeChecker {
         TypeCheckerContext context
     ) {
         return memberTypeOrEmpty(receiverType, memberName, source, context)
-            .orElseThrow(() -> new NoSuchFieldError(receiverType, memberName, source));
+            .orElseThrow(() -> new NoSuchMemberError(receiverType, memberName, source));
     }
 
     private static Optional<Type> memberTypeOrEmpty(
@@ -2144,7 +2144,7 @@ public class TypeChecker {
 
             var effectFieldType = effectInfo
                 .methodType(untypedHandlerMethod.name())
-                .orElseThrow(() -> new NoSuchFieldError(
+                .orElseThrow(() -> new NoSuchMemberError(
                     Types.effectType(handledEffect),
                     untypedHandlerMethod.name(),
                     untypedHandlerMethod.source()
diff --git a/src/main/java/org/shedlang/compiler/typechecker/errors/NoSuchFieldError.java b/src/main/java/org/shedlang/compiler/typechecker/errors/NoSuchFieldError.java
deleted file mode 100644
index ce18ebb3..00000000
--- a/src/main/java/org/shedlang/compiler/typechecker/errors/NoSuchFieldError.java
+++ /dev/null
@@ -1,24 +0,0 @@
-package org.shedlang.compiler.typechecker.errors;
-
-import org.shedlang.compiler.errors.SourceError;
-import org.shedlang.compiler.sources.Source;
-import org.shedlang.compiler.types.Type;
-
-public class NoSuchFieldError extends SourceError {
-    private final Type type;
-    private final String fieldName;
-
-    public NoSuchFieldError(Type type, String fieldName, Source source) {
-        super("No field named " + fieldName + " on type " + type.describe(), source);
-        this.type = type;
-        this.fieldName = fieldName;
-    }
-
-    public Type type() {
-        return type;
-    }
-
-    public String fieldName() {
-        return fieldName;
-    }
-}
diff --git a/src/main/java/org/shedlang/compiler/typechecker/errors/NoSuchMemberError.java b/src/main/java/org/shedlang/compiler/typechecker/errors/NoSuchMemberError.java
new file mode 100644
index 00000000..8e207306
--- /dev/null
+++ b/src/main/java/org/shedlang/compiler/typechecker/errors/NoSuchMemberError.java
@@ -0,0 +1,24 @@
+package org.shedlang.compiler.typechecker.errors;
+
+import org.shedlang.compiler.errors.SourceError;
+import org.shedlang.compiler.sources.Source;
+import org.shedlang.compiler.types.Type;
+
+public class NoSuchMemberError extends SourceError {
+    private final Type type;
+    private final String memberName;
+
+    public NoSuchMemberError(Type type, String memberName, Source source) {
+        super("No member named " + memberName + " on type " + type.describe(), source);
+        this.type = type;
+        this.memberName = memberName;
+    }
+
+    public Type type() {
+        return type;
+    }
+
+    public String memberName() {
+        return memberName;
+    }
+}