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

[Thomas Conway]

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.

-- 
 Thomas Conway              Mercurian )O+  
 <conway at cs.mu.oz.au>       Every sword has two edges.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------