Stream: t-compiler/rust-analyzer

Topic: consteval in chalk


matklad (Dec 11 2020 at 10:29, on Zulip):

@Florian Diebold btw, what's the state of const params/const eval in chalk?

matklad (Dec 11 2020 at 10:30, on Zulip):

IntelliJ can do basic const generics

matklad (Dec 11 2020 at 10:30, on Zulip):

I wonder if we should too?

Florian Diebold (Dec 11 2020 at 10:32, on Zulip):

Chalk models const parameters, but it doesn't do const eval, it punts that to the Interner

Florian Diebold (Dec 11 2020 at 10:33, on Zulip):

i.e. it's basically agnostic about consts, they can be anything as long as the interner can compare them

Florian Diebold (Dec 11 2020 at 10:34, on Zulip):

so, we would have to implement that ourselves (I guess integrating MIRI would not be a viable option right now)

Florian Diebold (Dec 11 2020 at 10:35, on Zulip):

would be a fun project though :big_smile:

Florian Diebold (Dec 11 2020 at 10:38, on Zulip):

we should at least do basic numbers to get arrays working 100%

Laurențiu (Dec 11 2020 at 10:42, on Zulip):

Florian Diebold said:

so, we would have to implement that ourselves (I guess integrating MIRI would not be a viable option right now)

Welp, so what will we do in the long run?

Florian Diebold (Dec 11 2020 at 10:43, on Zulip):

meld with rustc and use MIRI, I guess

matklad (Dec 11 2020 at 10:44, on Zulip):

Yeah, that

matklad (Dec 11 2020 at 10:44, on Zulip):

which has "implement MIR" as a subgoal

matklad (Dec 11 2020 at 10:44, on Zulip):

At which piont we'd actually be able to do codegen

Joshua Nelson (Dec 11 2020 at 13:38, on Zulip):

RA as a JIT? :eyes:

Last update: Jul 26 2021 at 12:30UTC