[m-rev.] New library module: pile

[Peter Moulder]

In principle, lazy_list ought to be a better solution.  However, AFAICT,
lazy_list never caches its results; lazy_list.to_list(X) is always
\Theta(n) AFAICT (e.g. even for to_list(from_list(L)), or
member(something_absent, LL), L = to_list(LL)).

Just a thought.

pjm.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------