>>>>> "Martin" == Martin Gasbichler <gasbichl@informatik.uni-tuebingen.de>
>>>>> writes:
>>>>> "Mike" == Michael Sperber <sperber@informatik.uni-tuebingen.de> writes:
Martin> The manual contains the record type of file-info, everybody can see
Martin> what it contains.
Mike> Yes, and that neither good nor necessary.
Martin> Maybe. The point is that we can't change it.
Sure we can; it's mainly an artefact of the way the documentation is
written. It's also Olin's colon notation that provides a strong, but
not definite hint that these things are record accessors.
Martin> The mentioned procedures extract information from the fields
Martin> of the record. Adding them as additional fields would
Martin> introduce redundancy.
Mike> As would providing that functionality via overloading.
Martin> No. The procedures work on the existing data, they do not introduce
Martin> new data in addition to existing fields.
Huh? What procedures? What "new data"?
--
Cheers =8-} M.
Friede, Völkerverständigung und überhaupt blabla
|