[mercury-users] list.merge is not tail recursive

Ralph Becket rafe at csse.unimelb.edu.au
Fri Jan 22 10:59:42 AEDT 2010

Michael Day, Thursday, 21 January 2010:
> Hi,
> Following up on the stack overflow bug I just reported that affects  
> list.sort, it seems that the cause of the problem is that list.merge is  
> not tail recursive:

A better solution for a large list is to convert it to an array, sort
the array, then convert back to a list.
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

More information about the users mailing list