[m-rev.] for review: --trace-table-descendant-io and --trace-table-io-unitize

Mark Brown dougl at cs.mu.OZ.AU
Fri Jul 26 02:49:01 AEST 2002


On 23-Jul-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> For review by anyone. As mentioned earlier, the documentation will come
> when we have decided on the relationship to debug grades.
> 
> Zoltan.

First, some initial remarks.  The full review is on the way.

> compiler/prog_io_pragma.m:
> 	Add code to read in the tabled_for_descendant_io and
> 	tabled_for_io_unitize annotations.
> 
> compiler/prog_io_pragma.m:

The above line is not required.

> 	Handle the new annotations. Procedures with tabled_for_descendant_io
> 	annotations don't need to be transformed at all; procedures with
> 	tabled_for_io_unitize annotations need a small variation of the
> 	existing transformation.
> 
> 	Fix an existing bug that made the HLDS not type-correct. Create new
> 	variables with the appropriate type; do not assume all new variables
> 	are c_pointers, since some are integers.

This change isn't in compiler/prog_io_pragma.m.

> 
> library/table_builtin.m:
> 	Add two new predicates that table_gen.m emits calls to on either side
> 	of the code of foreign_procs with tabled_for_io_unitize annotations.

The file compiler/table_gen.m isn't mentioned anywhere else in the log
message.

Cheers,
Mark.

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



More information about the reviews mailing list