[m-rev.] for review: term size profiling

[Simon Taylor]

On 20-Oct-2003, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> OK. I have made increment_size a no_type_info_builtin, and I have independently
> committed a change that clarifies the documentation of no_type_info_builtin.

Thanks.

> Do you have any more comments on the change as whole, Simon? Or can I commit
> it?

Go ahead.

Simon.

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