Stream: t-compiler/major changes

Topic: Intrinsic for Transmutability compiler-team#411


triagebot (Mar 04 2021 at 18:59, on Zulip):

A new proposal has been announced: Intrinsic for Transmutability #411. It will be announced at the next meeting to try and draw attention to it, but usually MCPs are not discussed during triage meetings. If you think this would benefit from discussion amongst the team, consider proposing a design meeting.

Joshua Nelson (Mar 04 2021 at 19:04, on Zulip):

@Jack Wrenn fyi you have Assume defined twice in the API surface

Joshua Nelson (Mar 04 2021 at 19:04, on Zulip):

not sure which derives you meant to keep so I didn't edit myself

Jack Wrenn (Mar 04 2021 at 19:05, on Zulip):

:shock: fixed!

bjorn3 (Mar 04 2021 at 19:07, on Zulip):

The title of the MCP is a bit confusing. Intrinsics are functions implemented in the compiler itself. What you are describing is a lang item. (#[lang = "..."])

Joshua Nelson (Mar 04 2021 at 19:08, on Zulip):

I'm unclear what the actual language item you're adding is

Joshua Nelson (Mar 04 2021 at 19:09, on Zulip):

is it BikeshedIntrinsicFrom?

Jack Wrenn (Mar 04 2021 at 19:11, on Zulip):

The lang items are BikeshedIntrinsicFrom and Assume.

Joshua Nelson (Mar 04 2021 at 19:12, on Zulip):

Ok. And what parts of them need to be part of the compiler, rather than a library?

Joshua Nelson (Mar 04 2021 at 19:13, on Zulip):

sorry, I'm just having trouble finding the relevant parts in the writeup, it's rather long :sweat_smile:

Last update: May 07 2021 at 07:00UTC