mes: #<eof> is not a character.
authorJan Nieuwenhuizen <janneke@gnu.org>
Thu, 4 Jan 2018 20:36:46 +0000 (21:36 +0100)
committerJan Nieuwenhuizen <janneke@gnu.org>
Thu, 4 Jan 2018 20:36:46 +0000 (21:36 +0100)
commitcab272a1012359fa5ff4b5104bd988ac83c1c286
treed7ced2f5a68ec10200fb81bc9285af53f5f4b065
parent0e0692832007316d01eda1f695a51793d19d2c89
mes: #<eof> is not a character.

* module/mes/display.mes (display):
* module/mes/type-0.mes (char?): -1 is not a character.
  (eof-object?): New function.
* tests/base.test ("#<eof>"): Test it.
* module/mes/scm.mes (eof-object?): Remove.
  (unread-char): Return character (WAS: integer).
module/mes/display.mes
module/mes/scm.mes
module/mes/type-0.mes
tests/base.test