Index: pkg/front_end/messages.yaml |
diff --git a/pkg/front_end/messages.yaml b/pkg/front_end/messages.yaml |
index 99f9f44e22f9febf5d704b5b0fed30da3d5bf5ea..55bf16a644d037b4c52ca92916d1a0adfaa102a2 100644 |
--- a/pkg/front_end/messages.yaml |
+++ b/pkg/front_end/messages.yaml |
@@ -46,8 +46,6 @@ |
# |
# `#name2` another name (a string). |
# |
-# `#number` a number (an integer). |
-# |
# `#lexeme` a token. The token's `lexeme` property is used. |
# |
# `#string` a string. |
@@ -766,8 +764,14 @@ DuplicatedParameterNameCause: |
EnumConstantSameNameAsEnclosing: |
template: "Name of enum constant '#name' can't be the same as the enum's own name." |
-OperatorParameterMismatch: |
- template: "Operator '#name' must have exactly #number parameters." |
+OperatorParameterMismatch0: |
+ template: "Operator '#name' shouldn't have any parameters." |
+ |
+OperatorParameterMismatch1: |
+ template: "Operator '#name' should have exactly one parameter." |
+ |
+OperatorParameterMismatch2: |
+ template: "Operator '#name' should have exactly two parameters." |
SupertypeIsIllegal: |
template: "The type '#name' can't be used as supertype." |