Stream: t-compiler

Topic: get rid of "optimize" option for "rust" in config.toml?

Guanqun (Oct 13 2019 at 15:47, on Zulip):

based on the discussion on this issue: do you think it's acceptable to get rid of this option totally? if you agree this is a good idea, I can send the pull request.

Guanqun (Oct 13 2019 at 15:48, on Zulip):


Guanqun (Oct 13 2019 at 15:49, on Zulip):

I did a quick check and it seems it''s not hard to do this.

simulacrum (Oct 13 2019 at 15:52, on Zulip):

Yeah, sure! I would be happy to review and approve that, I think we might want to just remove it from the documented options as it might be useful to have for internal experimentation

simulacrum (Oct 13 2019 at 15:52, on Zulip):

So basically just drop it from the example config.toml

Guanqun (Oct 14 2019 at 14:47, on Zulip):

as a followup, the PR is created here: Could you please take a look?

Last update: Jul 14 2020 at 13:05UTC