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

Zoltan Somogyi zs at cs.mu.OZ.AU
Fri Jul 26 14:14:55 AEST 2002


On 26-Jul-2002, Mark Brown <dougl at cs.mu.OZ.AU> wrote:
> > 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.

The occurrence of compiler/prog_io_pragma.m you complain about should of
course have referred to compiler/table_gen.m.

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