[m-rev.] diff/for review: step 1 of fixing eliminating type_info/1's argument

[Mark Brown]

On 21-Sep-2005, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> On 20-Sep-2005, Mark Brown <mark at cs.mu.OZ.AU> wrote:
> > You should add a comment near these new definitions 
> > explaining that the types
> > of type_infos, etc, are duplicated temporarily for bootstrapping purposes.
> 
> They won't be there long enough for such comments to be useful. I have
> already bootstrapped step 2 of this change. I will commit that as soon
> as possible after all our machines have installed step 1.

Fair enough.

> > >  polymorphism__build_type_info_type(Type, TypeInfoType) :-
> > > +	% XXX TypeInfoType = type_ctor_info_type.
> > >  	( type_has_variable_arity_ctor(Type, _, _) ->
> > >  		% We cannot use a plain type_ctor_info because we need to
> > >  		% record the arity.
> > 
> > Could you expand on that XXX comment, please?
> 
> It means "try to replace the body of this predicate with the XXX code".
> I'll fix the XXX when I commit step 2 or 3.

Ok.

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