-
Notifications
You must be signed in to change notification settings - Fork 687
[Dwarf] New language name for Move #1080
Comments
@jcivlin FYI |
Sounds like a great idea. We discuss at the next Move community meeting, I think you, Mysten, Aptos and other can co-sign this. I can work on the form after we discussed. |
We need a new value |
Can you link to/quickly describe whats the difference, meaning wise and process wise? Can we get both with one request? |
There are two steps
1 needs to happen first. But we can do the changes in our internal llvm fork with second part to make progress. |
I haven't. Please go ahead.
…On Tue, Nov 14, 2023 at 6:56 AM Sam Blackshear ***@***.***> wrote:
@ksolana <https://github.com/ksolana>, have you done step (1)? I am happy
to send an email if not
—
Reply to this email directly, view it on GitHub
<#1080 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/A2NVJBB5AMRU3U6IDYEPMM3YEOBCXAVCNFSM6AAAAAA6JZNGXOVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTQMJQGM4DINJSG4>
.
You are receiving this because you were mentioned.Message ID:
***@***.***>
|
Looks like we dropped the ball on this. Is it still a thing? |
Yeah, we are expecting the move language designers to propose this to the DWARF committee. |
Requested by Wolfgang: https://lists.dwarfstd.org/pipermail/dwarf-discuss/2024-February/002361.html |
As move->llvm compiler is in the works. There is a need to have Dwarf attribute supporting move programming language.
As per https://dwarfstd.org/languages.html: "Between revisions of the Standard, new language codes may be requested by submitting a request on the Public Comment page."
It can be based on a recent request by Mojo: https://dwarfstd.org/issues/230502.1.html
The text was updated successfully, but these errors were encountered: