"Reverting 14829-14832"

pkg/intl/lib/date_format.dart

 // Copyright (c) 2012, 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.
 
 part of intl;
 
 /**
  * DateFormat is for formatting and parsing dates in a locale-sensitive
  * manner.
  * It allows the user to choose from a set of standard date time formats as well
@@ skipping 427 matching lines @@
    */
   _useDefaultPattern() {
     add_yMMMMd();
     add_jms();
   }
 
   /**
    * A series of regular expressions used to parse a format string into its
    * component fields.
    */
-  static List<Pattern> _matchers = [
+  static var _matchers = const [
       // Quoted String - anything between single quotes, with escaping
       //   of single quotes by doubling them.
       // e.g. in the pattern "hh 'o''clock'" will match 'o''clock'
-      new RegExp("^\'(?:[^\']|\'\')*\'"),
+      const RegExp("^\'(?:[^\']|\'\')*\'"),
       // Fields - any sequence of 1 or more of the same field characters.
       // e.g. in "hh:mm:ss" will match hh, mm, and ss. But in "hms" would
       // match each letter individually.
-      new RegExp(
+      const RegExp(
         "^(?:G+|y+|M+|k+|S+|E+|a+|h+|K+|H+|c+|L+|Q+|d+|m+|s+|v+|z+|Z+)"),
       // Everything else - A sequence that is not quotes or field characters.
       // e.g. in "hh:mm:ss" will match the colons.
-      new RegExp("^[^\'GyMkSEahKHcLQdmsvzZ]+")
+      const RegExp("^[^\'GyMkSEahKHcLQdmsvzZ]+")
   ];
 
   /**
    * Set our pattern, appending it to any existing patterns. Also adds a single
    * space to separate the two.
    */
   _appendPattern(String inputPattern, [String separator = ' ']) {
     if (_pattern == null) {
       _pattern = inputPattern;
     } else {
@@ skipping 90 matching lines @@
   List _reverse(List list) {
     // TODO(alanknight): Use standardized list reverse when implemented.
     // See Issue 2804.
     var result = new List();
     for (var i = list.length-1; i >= 0; i--) {
       result.addLast(list[i]);
     }
     return result;
   }
 }