diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 00:31:55 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 00:31:55 -0700 |
| commit | 08f4628e8b858120fe3547d8e5431d9abfe46bf8 (patch) | |
| tree | 4d9f1bc0039baefa0e84d9cb3ea6634f4337d342 /075channel.mu | |
| parent | 58a9f7c34e21541f2db90b7fb66f4e92f04780ef (diff) | |
| download | mu-08f4628e8b858120fe3547d8e5431d9abfe46bf8.tar.gz | |
3379
Can't use type abbreviations inside 'memory-should-contain'.
Diffstat (limited to '075channel.mu')
| -rw-r--r-- | 075channel.mu | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/075channel.mu b/075channel.mu index 49ebad87..d97ba760 100644 --- a/075channel.mu +++ b/075channel.mu @@ -376,7 +376,7 @@ def capacity chan:address:channel:_elem -> result:number [ ] # helper for channels of characters in particular -def buffer-lines in:address:source:character, buffered-out:address:sink:character -> buffered-out:address:sink:character, in:address:source:character [ +def buffer-lines in:address:source:char, buffered-out:address:sink:char -> buffered-out:address:sink:char, in:address:source:char [ local-scope load-ingredients # repeat forever @@ -386,7 +386,7 @@ def buffer-lines in:address:source:character, buffered-out:address:sink:characte # read characters from 'in' until newline, copy into line { +next-character - c:character, eof?:boolean, in <- read in + c:char, eof?:boolean, in <- read in break-if eof? # drop a character on backspace { @@ -417,7 +417,7 @@ def buffer-lines in:address:source:character, buffered-out:address:sink:characte { done?:boolean <- greater-or-equal i, max break-if done? - c:character <- index *line-contents, i + c:char <- index *line-contents, i buffered-out <- write buffered-out, c i <- add i, 1 loop @@ -434,9 +434,9 @@ def buffer-lines in:address:source:character, buffered-out:address:sink:characte scenario buffer-lines-blocks-until-newline [ run [ local-scope - source:address:source:character, sink:address:sink:character <- new-channel 10/capacity - _, buffered-stdin:address:sink:character/buffered-stdin <- new-channel 10/capacity - buffered-chan:address:channel:character <- get *buffered-stdin, chan:offset + source:address:source:char, sink:address:sink:char <- new-channel 10/capacity + _, buffered-stdin:address:sink:char/buffered-stdin <- new-channel 10/capacity + buffered-chan:address:channel:char <- get *buffered-stdin, chan:offset empty?:boolean <- channel-empty? buffered-chan assert empty?, [ F buffer-lines-blocks-until-newline: channel should be empty after init] |