Index: sdk/lib/_internal/lib/collection_dev_patch.dart |
diff --git a/sdk/lib/_internal/lib/collection_dev_patch.dart b/sdk/lib/_internal/lib/collection_dev_patch.dart |
index f224f24aab6db81fdd02fe889ed215cbb223c6e5..9b3ec10af829f614b33cc53d002139d2878f20c1 100644 |
--- a/sdk/lib/_internal/lib/collection_dev_patch.dart |
+++ b/sdk/lib/_internal/lib/collection_dev_patch.dart |
@@ -2,7 +2,13 @@ |
// 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 'dart:_js_helper' show Primitives; |
+ |
patch class Symbol implements core.Symbol { |
patch const Symbol(String name) |
: this._name = name; |
} |
+ |
+patch void consolePrint(String line) { |
+ Primitives.printString(line); |
kasperl
2013/10/15 13:14:46
Maybe inline the Primitives.printString method in
floitsch
2013/10/15 13:46:49
Could do, but I thought that we wanted to avoid "J
kasperl
2013/10/15 14:01:27
I think it would be nice to get rid of Primitives.
floitsch
2013/10/15 15:56:20
Done.
ahe
2013/11/04 09:02:22
OK conflicting messages.
I'll discuss this with K
|
+} |