[m-dev.] bugfix and enhancement to io.m
Thomas Charles CONWAY
conway at cs.mu.oz.au
Tue May 27 09:05:45 AEST 1997
> That looks good. One small comment:
>
> > +:- pred io__seek_binary(io__binary_stream, io__whence, int,
> > + io__state, io__state).
> > +:- mode io__seek_binary(in, in, in, di, uo) is det.
> > +% Seek to an offset relative to Whence (documented above)
> > +% on a specified binary stream. Attempting to seek on a
> > +% pipe or tty results in implementation defined behaviour.
>
> "Implementation defined behaviour" means behaviour that the implementation
> must document. Since the Mercury User's Guide doesn't document the
> behaviour in this case, I suggest you change it to "implementation
> _dependent_ behaviour".
Fixed.
--
ZZ:wq!
^X^C
Thomas Conway conway at cs.mu.oz.au
AD DEUM ET VINUM Every sword has two edges.
More information about the developers
mailing list