Implement try/catch without finally, and without type checks.

frog/leg/warnings.dart

Index: frog/leg/warnings.dart
===================================================================
--- frog/leg/warnings.dart	(revision 3986)
+++ frog/leg/warnings.dart	(working copy)
@@ -86,6 +86,12 @@
       '#{1} is not an instance field');
   static final EXPECTED_LITERAL_NUMBER = const MessageKind(
       'expected a literal number after +');
+  static final NO_CATCH_NOR_FINALLY = const MessageKind(
+      'expected a catch block or finally block after a try block');

[ahe, 2012/02/07 19:10:35]

I suggest shortening this error to:

expected 'catch' or 'finally'.

[ngeoffray, 2012/02/08 09:52:23]

Done.

+  static final EMPTY_CATCH_DECLARATION = const MessageKind(
+      'expected a variable in a catch declaration');
+  static final TOO_MANY_CATCH_DECLARATIONS = const MessageKind(
+      'too many variables in a catch declaration');

[ahe, 2012/02/07 19:10:35]

I'd stick to the singular case and report one error per extra variable:

'extra variable in catch declaration'

[ngeoffray, 2012/02/08 09:52:23]

Done.

 
   static final NOT_A_COMPILE_TIME_CONSTANT = const MessageKind(
       '#{1} cannot be used as compile-time constant');