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

[Ralph Becket]

Fergus Henderson, Tuesday, 21 May 2002:
> 
> The point is that "truncating integer division" is not a mathematical
> division operation.  It has significantly different semantics to floating
> point division.  It makes sense to use a different symbol for different
> operations.

For reasons I cannot fathom, I am reminded of this paragraph from "So
Long, and Thanks For All the Fish" by Douglas Adams:

	The storm had now definitely abated, and what thunder there was
	now grumbled over more distant hills, like a man saying "And
	another thing..." twenty minutes after admitting he'd lost the
	argument.

(Not entirely fair, I know... but I couldn't resist :-)

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