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.