[m-users.] Enable LCMC tail recursion optimization by default?

Julien Fischer jfischer at opturion.com
Fri Apr 22 11:39:34 AEST 2016


On Thu, 21 Apr 2016, Peter Wang wrote:

> On Wed, 20 Apr 2016 11:06:01 +0200, Dirk Ziegemeyer <dirk at ziegemeyer.de> wrote:
>> 3. LCMC option might help but doesn’t seem to be activated for the library/list module. (see mercury/library/Mercury.options)
>
> --optimize-constructor-last-call is set in library/LIB_FLAGS
>
> (There is probably a reason we have both Mercury.options and --flags.
> I don't know why.)

Historically, the former predates the latter.  Also, the former allows
options to be set on a per-module basis (which we often use for bug
workarounds etc).

Julien.


More information about the users mailing list