Basic type inference skeleton

dart/lib/compiler/implementation/lib/core.dart

Index: dart/lib/compiler/implementation/lib/core.dart
diff --git a/dart/lib/compiler/implementation/lib/core.dart b/dart/lib/compiler/implementation/lib/core.dart
index 1a3e497b0f4cc02ee69c41adb04779ab3fc2dace..e8bcff8bfc2d17aa0b1f9191017e88342f28f982 100644
--- a/dart/lib/compiler/implementation/lib/core.dart
+++ b/dart/lib/compiler/implementation/lib/core.dart
@@ -39,7 +39,13 @@
 #source('mock.dart');
 #source('clock.dart');
 
-void print(var obj) => Primitives.printString(obj.toString());
+void print(var obj) {

[ngeoffray, 2012/08/16 12:53:10]

Why this change?

[ahe, 2012/08/16 17:26:54]

For hello world, I can infer that this method is only ever called with a string.
So the optimizer can eliminate the else branch. This means no call to toString.

+  if (obj is String) {
+    Primitives.printString(obj);
+  } else {
+    Primitives.printString(obj.toString());
+  }
+}
 
 class Object {
   String toString() => Primitives.objectToString(this);