Add RawReceivePort to dart2js.

sdk/lib/_internal/lib/isolate_patch.dart

Index: sdk/lib/_internal/lib/isolate_patch.dart
diff --git a/sdk/lib/_internal/lib/isolate_patch.dart b/sdk/lib/_internal/lib/isolate_patch.dart
index 057e571d71664e3d2f9e0ddde4d828f5d1a77e76..03c2e7b26b2bfdbc08d9e4ffa548da2dbfdd830c 100644
--- a/sdk/lib/_internal/lib/isolate_patch.dart
+++ b/sdk/lib/_internal/lib/isolate_patch.dart
@@ -7,6 +7,8 @@
 import 'dart:_isolate_helper' show IsolateNatives,
                                    lazyPort,
                                    ReceivePortImpl,
+                                   RawReceivePortImpl,
+                                   ReceivePortWrapper,

[ngeoffray, 2013/11/20 10:16:30]

Remove ReceivePortWrapper.

[Lasse Reichstein Nielsen, 2013/11/20 10:35:26]

Done.

                                    CloseToken,
                                    JsIsolateSink;
 
@@ -34,17 +36,15 @@ patch class Isolate {
 
 /** Default factory for receive ports. */
 patch class ReceivePort {
-  patch factory ReceivePort() {
-    return new ReceivePortImpl();
-  }
+  patch factory ReceivePort() = ReceivePortImpl;
 
   patch factory ReceivePort.fromRawReceivePort(RawReceivePort rawPort) {
-    throw new UnimplementedError("ReceivePort.fromRawReceivePort");
+    return new ReceivePortImpl.fromRawReceivePort(rawPort);
   }
 }
 
 patch class RawReceivePort {
   patch factory RawReceivePort([void handler(event)]) {
-    throw new UnimplementedError("RawReceivePort");
+    return new RawReceivePortImpl(handler);
   }
 }