[m-dev.] diff: map__is_empty

[Peter Schachte]

On Tue, Mar 28, 2000 at 01:04:58PM +1000, Zoltan Somogyi wrote:
> 
> Estimated hours taken: 0.5
> 
> Make {multi_,}map__is_empty more efficient.

The change looks fine to me.  Just one question:  out of curiosity, why

>  tree234__init(empty).
> +
> +tree234__is_empty(Tree) :-
> +	Tree = empty.

rather than just:

tree234__is_empty(empty).

-- 
Peter Schachte                     People who deal with bits should expect
mailto:schachte at cs.mu.OZ.AU        to get bitten.
http://www.cs.mu.oz.au/~schachte/      -- Jon Bentley 
Phone:  +61 3 8344 9166            
Fax:    +61 3 9348 1184            
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------