Re: binary loadable files

[Dirk Herrmann]

On Tue, 30 Jan 2001, Keisuke Nishida wrote:

> At Tue, 30 Jan 2001 16:12:00 +0100 (MET),
> Dirk Herrmann wrote:
> > 
> > > 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.
> 
> Hmm, I guess write-object / read-object might be the best in this sense.

Well, these don't give any indication of their 'binary' nature.  So what
about write-object-binary / read-object-binary?  A little bit verbose, but
tells really all that is needed.

Best regards,
Dirk Herrmann