[mercury-users] term_io__read_term fills detstack

[Ralph Becket]

Hi Ondrej,

at the moment I don't have time to look into this one, but I have
experienced the same problem in the past.  A short-term solution
may be to break up your data into a collection of smaller units.  For
instance, if your top-level structure is a large list, io.write each
member separately.

Sorry for the inconvenience,
-- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------