[m-dev.] diff: map__is_empty
Peter Schachte
schachte at cs.mu.OZ.AU
Tue Mar 28 16:23:36 AEST 2000
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
--------------------------------------------------------------------------
More information about the developers
mailing list