Stream: t-compiler/const-eval

Topic: Interp vs Interpret

RalfJ (Jun 13 2019 at 06:56, on Zulip):

Hm, we now have InterpResult, InterpError, but InterpretCx... how did that happen?^^

oli (Jun 13 2019 at 07:55, on Zulip):

idk, we also have :laughing:

RalfJ (Jun 13 2019 at 08:18, on Zulip):

well that one just hasnt been renamed

RalfJ (Jun 13 2019 at 08:19, on Zulip):

but why didnt we rename the others consistently? shouldn't it be InterpCx?

oli (Jun 13 2019 at 08:26, on Zulip):


RalfJ (Jun 13 2019 at 08:31, on Zulip):

well, should be easy enough with some sed... just will break Miri again^^

RalfJ (Jun 13 2019 at 08:40, on Zulip):

OTOH we had so many mass-breaking changes recently I feel bad for all the rebasing, I think I might hold off on that^^

Christian Poveda (Jun 13 2019 at 12:49, on Zulip):

Noooo my PR :(

Christian Poveda (Jun 13 2019 at 12:49, on Zulip):


Last update: Apr 03 2020 at 18:15UTC