Use the R6RS I/O API in `write-bytecode'.
authorLudovic Courtès <ludo@gnu.org>
Tue, 9 Feb 2010 23:34:05 +0000 (00:34 +0100)
committerLudovic Courtès <ludo@gnu.org>
Tue, 9 Feb 2010 23:40:01 +0000 (00:40 +0100)
commitdad6817f7d9581264891c6ad8954369d01f3d0b7
tree8624cf232ff8dd9b8b406facb754ce122e7ebefc
parentbde92e6b3bbd15c7abaf29bc0557041b88df8d74
Use the R6RS I/O API in `write-bytecode'.

* module/language/assembly/compile-bytecode.scm
  (write-bytecode)[u32-bv]: New variable.
  [write-char, write-uint16-be, write-uint16-le, write-uint32-le]:
  Remove.
  [write-string, write-uint32-be, write-uint32, write-wide-string,
  write-bytevector]: Rewrite using the `(rnrs io ports)' API.
  [write-uint24-be]: Rename to...
  [write-int24-be]: ... this.  Use `(rnrs io ports)' API.  Callers
  updated.
  [write-uint16]: Remove.
module/language/assembly/compile-bytecode.scm