[m-rev.] for review: Add list.reverse_prepend.

Julien Fischer jfischer at opturion.com
Fri Oct 16 11:56:08 AEDT 2015



On Thu, 15 Oct 2015, Peter Wang wrote:

> reverse_prepend is the helper for non-naive reverse.
> It is useful in its own right so we export it here.
>
> library/list.m:
>        Add predicate `reverse_prepend/3' and function `reverse_prepend/2'.
>
> compiler/c_util.m:
>        Delete own copy of the same predicate.

That looks fine.

Julien.



More information about the reviews mailing list