[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Questions, comments and clarifications on clarifications
Date: Mon, 16 Dec 85 14:05 EST
From: Daniel L. Weinreb <DLW@SCRC-QUABBIN.ARPA>
Date: Mon, 16 Dec 85 13:01 EST
From: Guy Steele <gls@THINK-AQUINAS.ARPA>
If this is what you mean, it should be made clear that (1) the model of
a "file" is that it has a single associated element-type, and (2) if you
use the new form of file-length, and you pass in :element-type, then the
value must be the same as the actual element-type of the file, or else
it is an error (the result is undefined).
(Put more crudely, there should be no defined way to write a file in
units of X and then ask for its length in units of Y, that claims to be
I agree. I think that (1) was already, if not clear, then at least translucent
from the existing description of FILE-LENGTH. Clearly (2) is a necessary
consequence for portability.