Specification Details

17. Individual Character Input (Addendum)

[Disagreement with ANS]

17.1

A char-input-reply can be an other-character. End-of-line in a char-input-reply is not defined. CR and LF are treated as two other-characters.

[Implementation-defined]

17.4

Pending characters shall be erased when a chain-statement is executed. Character echoing is available only for the keystrokes.

17.6

There are no typeahead buffers for INPUT and LINE INPUT. SET ECHO is valid for INPUT and LINE INPUT. An other-character is defined as a byte. If an end-of-file occur during the execution of a char-input statement, an exception with extype 7305 shall be raised.