[m-dev.] cvs diff: make `div' an operator

[Thomas Charles CONWAY]

> Hi Tom,
> 
> Can you please review this diff?
> 
> -----------------------------------------------------------------------------
> 
> Make `div' an operator.
> 
> This is the first of a batch of changes.  I've split up the changes to
> simplify the diffs and to minimize bootstrapping problems [though
> boostrrapping will probably going to requre manual intervention anyway].
> A later change will add `div' as a function in int.m.  The idea is that
> `div' will be the same as `//', except that `div' will round toward
> minus infinity, whereas `//' will round toward zero.
> 
> library/ops.m:
> library/nc_builtin.nl:
> library/sp_builtin.nl:
> compiler/mercury_to_mercury.m:
> 	Add "div" as a new infix operator, with the same precedence
> 	and associativity as `//'.
> 

This looks fine.

-- 
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.