[mercury-users] Is there something like string__from_anything?

[Ondrej Bojar]

Hi.

I wonder if there is a hidden predicate something like:

:- pred string__from_anything(T::in, string::out) is det.

It should do what io__write(T, io__state, io__state) does, that is print
any structure in a human readable format, but the output should go into a
string, not into an output stream.

(Maybe one can somehow just twist the pipes, catch output stream into a
string, but I do not know how...)

Thanks, Andrew.


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