[m-dev.] [Q] Eager code gen and structure reuse problem

[Peter Ross]

>From handle_options.m:

        % --no-lazy-code assumes that const(_) rvals are really
        % constant, and that create(_) rvals with constant arguments can
        % be materialized in an assignable rval without further code.
        % For float_consts, the former is true only if either
        % static_ground_terms or unboxed_floats is true, and the latter
        % cannot be true without static_ground_terms.
        option_neg_implies(lazy_code, static_ground_terms, bool(yes)),

Is it possible to remove this constraint?
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------