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?)<br><br>I see that we have read-substring and read-u8vector<br><br>Currently, the best solution appears to be ... do a read-u8vector on it, get it&#39;s string length, then re-open the file and do a read-substring on it ... surely there&#39;s something more elegant. :-)<br>
<br>Thanks!<br>