In message 199912112317.SAA26060@mail.bcpl.net "J. David Bryan" writes:
On 11 Dec 99, at 13:31, David James wrote:
I'm still not sure what my example should do. Looking at the copy of Extended Pascal ISO/TEC 10206:1990(E) that I found on (I think) a DEC site somewhere, I *think* it is saying (in section 6.7.5.2) that after the call to 'extend' the file should be in 'Generation' mode.
Right. There is no precondition for "extend" that the file be closed. In fact, there is no "close" predefined function in EP.
That explains why I cannot find 'close' in the standard :-). So how should one 'close' a file in EP - would that be 'unbind'?
[snip]
I make no claim to expertise with the EP standard, and the prose in the standard is nearly impenetrable :-),
I think you have an extraneous word there - it's the "nearly" :-)
but as far as I can see, "extend"following a "reset" is perfectly OK.