Re: [Python-Dev] Small question about BufferedRandom spec

2009-01-06 Thread Antoine Pitrou
Guido van Rossum guido at python.org writes: However, the semantics of interleaving reads and writes, with and without seek calls in between, should be well-defined and correct/useful, so that it behaves the same regardless of the buffer size. Yes, the goal is to have reasonably intuitive,

Re: [Python-Dev] Small question about BufferedRandom spec

2009-01-05 Thread Terry Reedy
Guido van Rossum wrote: « Q: Do we want to mandate in the specification that switching between reading and writing on a read-write object implies a .flush()? Or is that an implementation convenience that users should not rely on? » Is it ok if I assume that the answer is it is an

[Python-Dev] Small question about BufferedRandom spec

2009-01-05 Thread Antoine Pitrou
Hello, Amaury (mainly) and I are rewriting the IO stack in C, and there is a small thing in PEP 3116 about the BufferedRandom object that I'd like to clarify: « Q: Do we want to mandate in the specification that switching between reading and writing on a read-write object implies a .flush()? Or

Re: [Python-Dev] Small question about BufferedRandom spec

2009-01-05 Thread Guido van Rossum
On Mon, Jan 5, 2009 at 12:01 PM, Antoine Pitrou solip...@pitrou.net wrote: Amaury (mainly) and I are rewriting the IO stack in C, Very cool! and there is a small thing in PEP 3116 about the BufferedRandom object that I'd like to clarify: « Q: Do we want to mandate in the specification that