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

frog/leg/warnings.dart

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 class MessageKind {
   final String template;
   const MessageKind(this.template);
 
   static final GENERIC = const MessageKind('#{1}');
 
@@ skipping 68 matching lines @@
   static final NO_CONSTRUCTOR = const MessageKind(
       '#{1} is a #{2}, not a constructor');
   static final FIELD_PARAMETER_NOT_ALLOWED = const MessageKind(
       'a field parameter is only allowed in generative constructors');
   static final INVALID_PARAMETER = const MessageKind(
       "cannot resolve parameter");
   static final NOT_INSTANCE_FIELD = const MessageKind(
       '#{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 'catch' or 'finally'");
+  static final EMPTY_CATCH_DECLARATION = const MessageKind(
+      'expected a variable in catch declaration');
+  static final EXTRA_CATCH_DECLARATION = const MessageKind(
+      'extra variable in catch declaration');
 
   static final NOT_A_COMPILE_TIME_CONSTANT = const MessageKind(
       '#{1} cannot be used as compile-time constant');
 
   static final NO_SUCH_LIBRARY_MEMBER = const MessageKind(
       '#{1} has no member named #{2}');
 
   toString() => template;
 }
 
@@ skipping 45 matching lines @@
   String toString() => message.toString();
 }
 
 class CompileTimeConstantError {
   final Message message;
   CompileTimeConstantError.message(this.message);
   CompileTimeConstantError(MessageKind kind, List<Type> arguments)
     : message = new Message(kind, arguments);
   String toString() => message.toString();
 }