17.1.1 arbitrary-positional stream
a stream (described in clause 27) that can seek to any integral
position within the length of the stream.
Every arbitrary-positional stream is also a repositional stream
(17.1.16).

17.1.16 repositional stream
a stream (described in clause 27) that can seek only to a position that
was previously encountered.

These 2 definitions together imply the following self-contradictory
sentence:

"Every stream that can seek to any integral position within the length
of the stream can seek only to a position that was previously
encountered."


Prateek Karandikar

--                                                     --
To iterate is human, to recurse divine. -L. Peter Deutsch
--                                                     --

---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html                       ]

Prateek wrote:

> 17.1.1 arbitrary-positional stream
> a stream (described in clause 27) that can seek to any integral
> position within the length of the stream.
> Every arbitrary-positional stream is also a repositional stream
> (17.1.16).
>
> 17.1.16 repositional stream
> a stream (described in clause 27) that can seek only to a position that
> was previously encountered.
>
> These 2 definitions together imply the following self-contradictory
> sentence:
>

Yes, looks like the "only" in repositional is unnecessary.

--

Pete Becker
Dinkumware, Ltd. (http://www.dinkumware.com)

---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html                       ]