[mercury-users] write_term to string.builder?

[Jeff Thompson]

Hello.  I want to format a term to a string.  The term module has:
pred term_io.write_term(varset(T)::in, term(T)::in, io::di, io::uo) is det.

Can I pass a string.builder as the io to write_term?  I can't figure out 
how to make an io out of a string.builder.

Thanks for any help,
- Jeff Thompson


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