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

[Ralph Becket]

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