[m-dev.] For review: small addition to list.m

[Peter Ross]

On Wed, Oct 04, 2000 at 03:22:42AM +1100, Fergus Henderson wrote:
> On 03-Oct-2000, Ralph Becket <rbeck at microsoft.com> wrote:
> > >From Fergus Henderson on 03/10/2000 16:48:52
> > > > library/list.m:
> > > > 	Added pred list__det_head_tail/3.
> > > 
> > > There's nothing wrong with that change (except that you forgot
> > > to mention the new function in the NEWS file), but on principle I vote
> > > against adding that one to the standard library, on the grounds that
> > > we shouldn't add functions to the standard library unless they are
> > > going to be widely used, and thus far I don't recall off-hand any
> > > occaision on which I would have wanted to use list__det_head_tail/3.
> > 
> > Fergybaby, you're just doing it wrong!
> 
> Maybe...
> 
> > This sort of thing crops up all the time in my code.
> 
> OK, but if it only crops up in your code, then it should probably go
> in "ralphs_lib" rather than in the standard library ;-)
> 
> > I vote this should go in
> 
> I guess that makes the vote count 1-1.
> And I think tied votes have to remain with the status quo.
> So you still need to find another supported ;-)
> 
and my vote is

... [to be continued]
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------