@@ -131,7 +131,7 @@ interface streams {
131
131
/// let pollable = this.subscribe();
132
132
/// while !contents.is_empty() {
133
133
/// // Wait for the stream to become writable
134
- /// poll-one( pollable);
134
+ /// pollable.block( );
135
135
/// let Ok(n) = this.check-write(); // eliding error handling
136
136
/// let len = min(n, contents.len());
137
137
/// let (chunk, rest) = contents.split_at(len);
@@ -140,7 +140,7 @@ interface streams {
140
140
/// }
141
141
/// this.flush();
142
142
/// // Wait for completion of `flush`
143
- /// poll-one( pollable);
143
+ /// pollable.block( );
144
144
/// // Check for any errors that arose during `flush`
145
145
/// let _ = this.check-write(); // eliding error handling
146
146
/// `` `
@@ -178,7 +178,7 @@ interface streams {
178
178
179
179
/// Write zeroes to a stream.
180
180
///
181
- /// this should be used precisely like `write` with the exact same
181
+ /// This should be used precisely like `write` with the exact same
182
182
/// preconditions (must use check-write first), but instead of
183
183
/// passing a list of bytes, you simply pass the number of zero-bytes
184
184
/// that should be written.
@@ -199,15 +199,15 @@ interface streams {
199
199
/// let pollable = this.subscribe();
200
200
/// while num_zeroes != 0 {
201
201
/// // Wait for the stream to become writable
202
- /// poll-one( pollable);
202
+ /// pollable.block( );
203
203
/// let Ok(n) = this.check-write(); // eliding error handling
204
204
/// let len = min(n, num_zeroes);
205
205
/// this.write-zeroes(len); // eliding error handling
206
206
/// num_zeroes -= len;
207
207
/// }
208
208
/// this.flush();
209
209
/// // Wait for completion of `flush`
210
- /// poll-one( pollable);
210
+ /// pollable.block( );
211
211
/// // Check for any errors that arose during `flush`
212
212
/// let _ = this.check-write(); // eliding error handling
213
213
/// `` `
0 commit comments