diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-11-19 10:12:00 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-11-19 10:12:00 +0000 |
| commit | 890b145acb5da23a029148c7a2cbba50c98f25e2 (patch) | |
| tree | 89d5aa42f9b9834ea14d626b8fd99d8417acd70d /src/main/java | |
| parent | 686fe85364d87aa995bf080ea934674a2ece35d9 (diff) | |
Rename addField to addMethod
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/types/UserDefinedEffectInfo.java | 2 |
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)); } } |
