[mercury-users] How to capture the io stream for call_system/4?

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Mon Mar 26 07:18:29 AEST 2007

Dear all,

Is there a way to redirect the (output, specifically) io of
io.call_system/4 so that Mercury can process it as a string?
More generally, is there a way to set stdin and stdout for

I poked around the stream and stream.string_writer libraries,
but I didn't see anything that fit the bill.  Is this a child
process issue where I'd need to use something like TCP?

Doug Auclair

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list