[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