Index: runtime/lib/print_patch.dart |
diff --git a/runtime/lib/print_patch.dart b/runtime/lib/print_patch.dart |
index 186b4fb8ecee7eb7ce6f7752deb1105df4fa55be..539294aff47510f2e73df6e5fdf2468990344db9 100644 |
--- a/runtime/lib/print_patch.dart |
+++ b/runtime/lib/print_patch.dart |
@@ -2,13 +2,15 @@ |
// 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. |
-typedef void _PrintClosure(Object obj); |
+// A print-closure gets a String that should be printed. In general the |
+// string is a line, but it may contain "\n" characters. |
+typedef void _PrintClosure(String line); |
patch void printToConsole(String line) { |
_printClosure(line); |
} |
-void _unsupportedPrint(Object obj) { |
+void _unsupportedPrint(String line) { |
throw new UnsupportedError("'print' is not supported"); |
} |