[gambit-list] reading file into string / length of file

lowly coder lowlycoder at huoyanjinjing.com
Sun Jun 28 22:46:44 EDT 2009

I want to read a file into a string. After I open it up, is there a way to
get the length of the file? (or even before I open it up?)

I see that we have read-substring and read-u8vector

Currently, the best solution appears to be ... do a read-u8vector on it, get
it's string length, then re-open the file and do a read-substring on it ...
surely there's something more elegant. :-)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://webmail.iro.umontreal.ca/pipermail/gambit-list/attachments/20090628/c8ae8061/attachment.html 

More information about the Gambit-list mailing list