[m-rev.] Added int:'/'/2 and builtin false/0

[Ralph Becket]

Tyson Dowd, Tuesday, 21 May 2002:
> On 20-May-2002, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> > 
> > After some debate in the office we have agreed to disagree and, after
> > the almost overwhelming disinterest shown by the mailing list
> > subscribers, we should let this one fall on the floor.
> 
> What?
> 
> We should have '/'/2.
> 
> I didn't say anything because I thought it was obviously the right thing
> to do!

Stimpy!  You fool!

Okay, a summary of early votes (please shout if I'm misrepresenting
anyone here):

	'/'/2				'//'/2
	-----				------
	Ralph				Fergus
	Tyson
	David Overton
	Michael Day

	No real objection to '/'/2
	--------------------------
	Mark

Is this sufficient to support the addition of '/'/2?

A vote is probably the right thing to do here: it's such a grey point
that both sides could debate this until the cows come home without
achieving unanimity.

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