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