aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2023-11-19 10:12:00 +0000
committerMichael Williamson <mike@zwobble.org>2023-11-19 10:12:00 +0000
commit890b145acb5da23a029148c7a2cbba50c98f25e2 (patch)
tree89d5aa42f9b9834ea14d626b8fd99d8417acd70d /src/main/java
parent686fe85364d87aa995bf080ea934674a2ece35d9 (diff)
Rename addField to addMethod
Diffstat (limited to 'src/main/java')
-rw-r--r--src/main/java/org/shedlang/compiler/types/UserDefinedEffectInfo.java2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/types/UserDefinedEffectInfo.java b/src/main/java/org/shedlang/compiler/types/UserDefinedEffectInfo.java
index 5282a9a4..0fc32896 100644
--- a/src/main/java/org/shedlang/compiler/types/UserDefinedEffectInfo.java
+++ b/src/main/java/org/shedlang/compiler/types/UserDefinedEffectInfo.java
@@ -10,7 +10,7 @@ public record UserDefinedEffectInfo(FieldsInfo<FunctionType> methods) {
return new UserDefinedEffectInfo(methods.build());
}
- public Builder addField(String name, FunctionType type) {
+ public Builder addMethod(String name, FunctionType type) {
return new Builder(this.methods.addField(name, type));
}
}