[m-rev.] for review: deep profiling.

[Ralph Becket]

> From: Zoltan Somogyi [mailto:zs at cs.mu.OZ.AU]
> Sent: 04 May 2001 09:18
> 
> deep/dense_bitset.m:
> 	An implementation of (part of) the set ADT with dense bit
vectors.

This looks very similar to bitmap.m in the library (you've added
resizing
insert and fold operations).  I think it would be better to extend
bitmap.m
appropriately and use that.

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