From: "Jakub Dupak" <dev@jakubdupak.com>
To: gcc-rust@gcc.gnu.org
Subject: Re: [Bug rust/114629] rust-ast-resolve-expr contains bloated code for funny_error
Date: Tue, 09 Apr 2024 09:18:20 +0200 [thread overview]
Message-ID: <782544ec-0fb3-4823-b73d-653e9eb27ce8@app.fastmail.com> (raw)
In-Reply-To: <bug-114629-35322-D8dbCrK0vh@http.gcc.gnu.org/bugzilla/>
[-- Attachment #1: Type: text/plain, Size: 1354 bytes --]
There is no specification right now. Just reference implementation. The rustc team is working on it, but it will take a long time and it is not a priority.
There is a language reference, but it is far from the completeness you would need from specification.
BTW, I think it is funny.
On Tue, 9 Apr 2024, at 02:11, pinskia at gcc dot gnu.org wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114629
>
> --- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
> (In reply to Pierre-Emmanuel Patry from comment #2)
> > I can see the problem with the message, but I don't think we can remove the
> > behavior as we have to match rustc's behavior. The compiler has to ICE when
> > meeting this identifier. I suggest changing the message to rustc's one "It
> > looks like you're trying to break rust; would you like some ICE?" and
> > removing the "gcc" identifier check.
>
> Really this sounds like a bad idea to copy 100% of what rustc does. Instead we
> should follow the rust language specification (hopefully that actually exists).
>
> While you are at it, it would be useful to add a link to the rust langauge
> specification (like there is for almost all other languages [I see objective-C
> is not listed]) to https://gcc.gnu.org/readings.html .
>
> --
> You are receiving this mail because:
> You are on the CC list for the bug.
next prev parent reply other threads:[~2024-04-09 7:18 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-04-07 15:38 [Bug rust/114629] New: " roland.illig at gmx dot de
2024-04-07 19:11 ` [Bug rust/114629] " pinskia at gcc dot gnu.org
2024-04-07 23:44 ` sjames at gcc dot gnu.org
2024-04-08 7:58 ` pierre-emmanuel.patry at embecosm dot com
2024-04-08 8:47 ` rguenth at gcc dot gnu.org
2024-04-08 9:45 ` iains at gcc dot gnu.org
2024-04-09 0:11 ` pinskia at gcc dot gnu.org
2024-04-09 7:18 ` Jakub Dupak [this message]
2024-04-09 0:52 ` pinskia at gcc dot gnu.org
2024-04-09 7:07 ` dkm at gcc dot gnu.org
2024-04-09 10:57 ` iains at gcc dot gnu.org
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=782544ec-0fb3-4823-b73d-653e9eb27ce8@app.fastmail.com \
--to=dev@jakubdupak.com \
--cc=gcc-rust@gcc.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).