Re: [whatwg/streams] What pipeTo does when both streams are closed (#647)

domenic commented on this pull request.



> @@ -648,23 +665,18 @@ ReadableStream(<var>underlyingSource</var> = {}, { <var>size</var>, <var>highWat
        initiate further reads from _reader_ or writes to _writer_. (Ongoing reads and writes may finish.) In particular,
        the user agent must check the below conditions on *this*.[[state]] and _dest_.[[state]] before performing any
        reads or writes, since they might lead to immediate shutdown.

If we split, I guess we would change each of the "X must be propagated Y" to a new set of steps "Propagate X Y" that looks like shutdown with an action/shutdown/finalize do now. I kind of would like it if we didn't have to do that and could get away with something simpler though. But maybe it's less clear.

Perhaps we shouldn't settle on a style here until we can also solve #644?

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/streams/pull/647