EOF as datum

[Pierre Lairez <pierre.lairez@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 593 bytes --]

Dear all,

I understand why we cannot use (eof-object) in a “case” statement. For
example, this will not run as it is meant:
(case (get-char port)
    (((eof-object)) ...)
    (else ...))

Is is possible to define something like #eof that will be datum and make
the following work as expected?
(case (get-char port)
    ((#eof) ...)
    (else ...))

That would simplify (a little, I admit it is not a great deal) the
processing of input data.
One way I see it to define say ##eof thanks to the hash extend
mechanism. Do I miss something simpler?

Best,

Pierre




[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 473 bytes --]