[mercury-users] Flattening (was: maybe(T))

[Michael Day]

> Bingo. The transformation is relatively easy. Being able to tell whether it
> is an optimization or a pessimization is very hard, and in most cases the
> program itself doesn't have enough information for a reliable decision.
> The transformation is not worth implementing unless the compiler has access
> to profiling information which it can plus into its cost formulas. We don't yet
> have a facility for feeding back profiling information to compiler, but I am
> working on one.

If the optimisation is easy to implement but difficult to automatically
apply, why not support it via the use of a pragma, and let the programmer
be the profiler feedback facility until the automated one has been
completed?

Michael

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------