Rewrite double.parse.

tests/corelib/string_trim2_test.dart

+// Copyright (c) 2013, 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.
+
+import "package:expect/expect.dart";
+
+const WHITESPACE = const [
+  9,

[Lasse Reichstein Nielsen, 2013/05/22 08:47:26]

Consider using hex for the low numbers too.

[floitsch, 2013/05/23 02:30:03]

Done.

+  10,
+  11,
+  12,
+  13,
+  0x20,
+  0xA0,
+  0x85,
+  0x1680,
+  0x180E,
+  0x2000,
+  0x2001,
+  0x2002,
+  0x2003,
+  0x2004,
+  0x2005,
+  0x2006,
+  0x2007,
+  0x2008,
+  0x2009,
+  0x200A,
+  0x202F,
+  0x205F,
+  0x3000,
+  0x2028,
+  0x2029,
+  0xFEFF,
+];
+
+main() {
+  for (var ws in WHITESPACE) {
+    Expect.equals("", new String.fromCharCode(ws).trim());
+  }
+  Expect.equals("", new String.fromCharCodes(WHITESPACE).trim());
+  for (var ws in WHITESPACE) {
+    var c = new String.fromCharCode(ws);
+    Expect.equals("a", ("a" + c).trim());
+    Expect.equals("a", (c + "a").trim());
+    Expect.equals("a", (c + c + "a" + c + c).trim());
+  }

[Lasse Reichstein Nielsen, 2013/05/22 08:47:26]

Consider running through all other characters and see that they are not trimmed.
There's only ~2^21 of them :)
At least take the first 2^16.

[floitsch, 2013/05/23 02:30:03]

I really think that would be too slow. Convince me in person if you think
otherwise.

+}