Re: binary loadable files

[Dirk Herrmann]

On 30 Jan 2001, Marius Vollmer wrote:

> > I'm thinking of the following procedures:
> > (Are there better names?)
> > 
> >   ;; Write OBJ to PORT in the binary format
> >   (dump OBJ [PORT])
> > 
> >   ;; Read an object from PORT in the binary format
> >   (pull [PORT])
> 
> What about `undump'?

Since I agree that the read / write naming fits more nicely with the rest
of the IO primitives, what about write-dump read-dump?  It's more explicit
than the suggested write-binary / read-binary, which could mean a lot of
things, but still fits better than dump / undump.

Best regards,
Dirk Herrmann