[m-rev.] for prelim review: remove hand-coded RTTI

[Peter Ross]

On Tue, Nov 18, 2003 at 01:03:15PM +1100, Fergus Henderson wrote:
> On 17-Nov-2003, Peter Ross <pro at missioncriticalit.com> wrote:
> > With the change below I can now build the standard library in the il
> > grade and no longer require hand-coded RTTI for int.
> > 
> > So far all I have done is satisfy myself that it works for int, however
> > I would like some confirmation that there is nothing fundamentally wrong
> > with this approach, plus any suggestions on how the approach could be
> > improved.
> 
> I think the approach looks OK.
> 
> Does the compiler inline builtin_compare_int into the definition of the
> new automatically-generated comparison procedure for int?
> That's pretty important.
> 
With the latest patch the compiler generates a call to
private_builtin.builtin_unify_int/2.  Whether that call gets inlined or
not depends on the optimization level of the compiler, but since it is
all in Mercury there is no reason why it wouldn't.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------