[m-rev.] for review: more standardization of interface files

Ralph Becket rafe at cs.mu.OZ.AU
Wed May 25 00:03:37 AEST 2005


Zoltan Somogyi, Tuesday, 24 May 2005:
> For review by Julien.
> 
> Zoltan.
> 
> compiler/modules.m:
> 	Change the way we filter out redundant flips between interface and
> 	implementation section markers in interface files. When I added a new
> 	implementation section to hlds_pred.m, I noticed that the .int3 file
> 	had changed unnecessarily (even before I added the new clause_rep
> 	type). This was because the compiler added a new :- implementation
> 	and :- interface pair into it. This change filters out flips not just
> 	in triples of :- implementation/:- interface/:- implementation,
> 	but also doubles. For modules such as hlds_pred.m, it now puts all
> 	types in the .int3 in the same interface section, instead of several
> 	separate interface sections. This allows more kinds of changes to the
> 	source to have no effect on the .int3 file.
> 
> 	Convert the original semidet predicate into a det bool function,
> 	to force us to consider all kinds of items. As a result, make a
> 	few more kinds of items reorderable and chunkable, to allow better
> 	standardization of interface files.

I'm not Julien, but that looks good.
--------------------------------------------------------------------------
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