[mercury-users] Mercury aborts on missing stdin

[Michael Day]

Hi,

mercury_init_io attempts to open stdin without checking if stdin exists,
leading Mercury programs to abort if run from a context with no stdin
stream is available (and similarly for stdout).

This is bad, as the program may not care about stdin and may never read
from it anyway. It would be better to succeed even if stdin is missing and
only abort when someone actually tries to read from it.

Cheers,

Michael

-- 
YesLogic Prince prints XML!
http://yeslogic.com
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------