Re: bug with read-string!/partial

[Kevin Ryde]

Han-Wen Nienhuys <address@hidden> writes:
>
> what's the proper way to use read-string!/partial ?
>
> If I read a file with fewer bytes than the arg of read-string!/partial,
> I get problems down the line,

It leaves the rest of the string with whatever was there before, I
think you normally have to do substring or substring/shared to get the
good portion.