[m-rev.] diff: remove dependency on type_info arg

[Ralph Becket]

Mark Brown, Monday,  5 September 2005:
> On 02-Sep-2005, Mark Brown <mark at cs.mu.OZ.AU> wrote:
> > With this change it is now possible to replace the arguments of type_info/1
> > with `void' and still pass bootcheck.  Zoltan, you can now proceed with
> > the change to remove the arguments of type_info/1 and typclass_info/1.
> 
> Actually, there was one spot I missed.  Some code in polymorphism.m which
> is called for solver types was building type_info types independently of
> the main body of this module.
> 
> This is for review by Ralph.

Looks great.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------