Various semantic checks on formal parameters.

pkg/front_end/messages.yaml

Index: pkg/front_end/messages.yaml
diff --git a/pkg/front_end/messages.yaml b/pkg/front_end/messages.yaml
index db1e55d5a56f4de197a4d29081d91f7c534617cb..b2bf08101055dafb0b967263de2a7face84689f3 100644
--- a/pkg/front_end/messages.yaml
+++ b/pkg/front_end/messages.yaml
@@ -406,3 +406,25 @@ AssertExtraneousArgument:
 AssertAsExpression:
   template: "`assert` can't be used as an expression."
   dart2jsCode: FASTA_FATAL
+
+FunctionTypeDefaultValue:
+  template: "Can't have a default value in a function type."
+  dart2jsCode: FASTA_IGNORED

[ahe, 2017/06/08 20:28:40]

This makes dart2js ignore this message. Dart2js already implements all these
semantic checks, but at later phases.

+
+PrivateNamedParameter:
+  template: "An optional named parameter can't start with '_'."
+  dart2jsCode: FASTA_IGNORED
+
+NoFormals:
+  template: "A function should have formal parameters."
+  tip: "Try adding '()' after '#lexeme', or add 'get' before '#lexeme' to declare a getter."
+  dart2jsCode: FASTA_IGNORED
+
+GetterWithFormals:
+  template: "A getter can't have formal parameters."
+  tip: "Try removing '(...)'."
+  dart2jsCode: FASTA_IGNORED
+
+CatchSyntax:
+  template: "'catch' must be followed by '(identifier)' or '(identifier, identifier)'."
+  tip: "No types are needed, the first is given by 'on', the second is always 'StackTrace'."