[mercury-users] Is there something like string__from_anything?

Ondrej Bojar oboj7042 at ss1000.ms.mff.cuni.cz
Fri Sep 7 00:52:33 AEST 2001


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

More information about the users mailing list