@@ -134,7 +134,7 @@ This `SUBR` is especially useful in conjunction with (section 11.2.8)
134
134
those elements of a ` CHANNEL ` which specify the number of characters
135
135
per output line and the current position on an input line.
136
136
137
- ## CHANNEL (the TYPE)
137
+ ## 11.2. CHANNEL (the TYPE)
138
138
139
139
I/O channels are dynamically assigned in MDL, and are represented by
140
140
an object of ` TYPE ` ` CHANNEL ` , which is of ` PRIMTYPE ` ` VECTOR ` . The
@@ -298,6 +298,10 @@ following:
298
298
299
299
* element-number: type interpretation*
300
300
301
+ #### 11.2.8.1 Output CHANNELs
302
+
303
+ The contents of a CHANNEL used for output are as follows:
304
+
301
305
| element-number | type | interpretation |
302
306
| ----------------| ----------| -----------------------------------|
303
307
| -1 | ` LIST ` | transcript channel(s) (see below) |
@@ -439,7 +443,7 @@ such. *channel* is optional, `.OUTCHAN` by default, and its slots for
439
443
current character position (number 14) and current line number (16)
440
444
are not updated. ` IMAGE ` returns * fix* .
441
445
442
- ## 11.5 Dumped I/O
446
+ ## 11.5. Dumped I/O
443
447
444
448
### 11.5.1. Output: GC-DUMP
445
449
@@ -725,7 +729,7 @@ the `CHANNEL` given to `READSTRING` is open in `"READ"` mode to a
725
729
pseudo-terminal, reading also stops if and when no more characters
726
730
are available, that is, when ` READCHR ` would return ` -1 ` .
727
731
728
- ## 11.8.1. ECHOPAIR
732
+ ### 11.8.1. ECHOPAIR
729
733
730
734
<ECHOPAIR terminal-in:channel terminal-out:channel>
731
735
0 commit comments