[m-dev.] Reuse question

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Oct 3 21:53:16 AEDT 2000


On 03-Oct-2000, Peter Ross <petdr at miscrit.be> wrote:
> On Tue, Oct 03, 2000 at 08:38:44PM +1100, Fergus Henderson wrote:
> > OK, so why doesn't the current reuse analysis mark it for reuse?
> > Or did your test fail just because you didn't enable full optimization?
>
> I was mistaken (Nancy wasn't here when I replied to these email
> messages) about my reasoning for why the reuse wasn't noticed.  The
> higher-order call occurs after the deconstruction

I'm still confused -- if you compile with intermodule optimization
and higher-order specialization enabled, there shouldn't *be* any
higher-order call.

Is there some bug that is cause higher-order specialization
to fail, or are you just not enabling the optimizations?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list