Hi,

The syntax for io__write_list is
io__write_list(List, Separator, Outpred, IO0, IO).

It says that OutPred is applied to each element of the list.

Plz tell me what is OutPred?

Regards and Thanks,

Noel
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users@cs.mu.oz.au
administrative address: owner-mercury-users@cs.mu.oz.au
unsubscribe: Address: mercury-users-request@cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request@cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------

