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

[doug.auclair at logicaltypes.com]

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
io.state?

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?

Sincerely,
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
--------------------------------------------------------------------------