Warp wrote:
>> Not compile a program that tries to read past EOF?
>   The compiler has to guess how much data there is in a possible input file?

No. The compiler does something called typestate analysis (not too 
unlike data flow analysis) to ensure that once the function returns EOF 
you don't invoke the read function any more.

-- 
Darren New / San Diego, CA, USA (PST)

Post a reply to this message