[m-dev.] diff: improve performance of term__coerce and varset__coerce

[Simon Taylor]

> On Thu, Oct 26, 2000 at 05:43:06PM EST, Zoltan Somogyi wrote:
> > On 26-Oct-2000, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > > library/term.m:
> > > library/varset.m:
> > > 	Use private_builtin__unsafe_type_cast rather
> > > 	than copying the value in term__coerce and
> > > 	varset__coerce. This change reduces the time
> > > 	taken by `mmc -C make_hlds' by 2-3%.
> > 
> > Thanks for these speedups as well.
> > 
> > Where are all these coercions called from?
> 
> We read terms in as type term(prog_var) and some need to
> be turned into terms of type term(type_var): in type decls
> and pred decls.

Actually, we read terms in as type term(generic),
so expressions in goals need to be coerced as well.

Simon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------