Index: sdk/lib/convert/line_splitter.dart |
diff --git a/sdk/lib/convert/line_splitter.dart b/sdk/lib/convert/line_splitter.dart |
index a9c94488a6c366e35d8650785403ef71338aac88..b9023f4c8fb246bfa235ef8c9e20ffa8120ac9c1 100644 |
--- a/sdk/lib/convert/line_splitter.dart |
+++ b/sdk/lib/convert/line_splitter.dart |
@@ -17,8 +17,7 @@ const int _CR = 13; |
* |
* The returned lines do not contain the line terminators. |
*/ |
-class LineSplitter extends |
- ChunkedConverter<String, List<String>, String, String> { |
+class LineSplitter extends Converter<String, List<String>> { |
const LineSplitter(); |
@@ -80,6 +79,9 @@ class LineSplitter extends |
} |
return new _LineSplitterSink(sink); |
} |
+ |
+ // Override the base-class' bind, to provide a better type. |
+ Stream<String> bind(Stream<String> stream) => super.bind(stream); |
} |
// TODO(floitsch): deal with utf8. |