diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 14:15:39 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 14:15:39 -0700 |
commit | 59085fca6083a08f67911a35c02f012c19d7df48 (patch) | |
tree | 823993d55b573e1485feee4a5d5716d59e483fd4 /075channel.mu | |
parent | 3d8b137c879c6f5c01588c2dbbb35bc0ec028909 (diff) | |
download | mu-59085fca6083a08f67911a35c02f012c19d7df48.tar.gz |
3392
Bugfix for the "remaining bug" mentioned in commit 3391.
Diffstat (limited to '075channel.mu')
-rw-r--r-- | 075channel.mu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/075channel.mu b/075channel.mu index 6aae8b87..ebac99a6 100644 --- a/075channel.mu +++ b/075channel.mu @@ -323,11 +323,11 @@ def close x:&:sink:_elem -> x:&:sink:_elem [ # future reads continue until the channel empties, # then the channel is also closed for reading after <channel-write-initial> [ - closed?:boolean <- get *chan, closed?:offset + closed?:bool <- get *chan, closed?:offset return-if closed? ] after <channel-read-empty> [ - closed?:boolean <- get *chan, closed?:offset + closed?:bool <- get *chan, closed?:offset { break-unless closed? empty-result:&:_elem <- new _elem:type |