| 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..69fa23ef41e8f5334a455099dbde546d125e3074 100644
|
| --- a/sdk/lib/_internal/lib/isolate_patch.dart
|
| +++ b/sdk/lib/_internal/lib/isolate_patch.dart
|
| @@ -7,6 +7,7 @@
|
| import 'dart:_isolate_helper' show IsolateNatives,
|
| lazyPort,
|
| ReceivePortImpl,
|
| + RawReceivePortImpl,
|
| CloseToken,
|
| JsIsolateSink;
|
|
|
| @@ -34,17 +35,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);
|
| }
|
| }
|
|
|