public inbox for gdb-prs@sourceware.org help / color / mirror / Atom feed
From: "fasching.a91 at gmail dot com" <sourceware-bugzilla@sourceware.org> To: gdb-prs@sourceware.org Subject: [Bug python/28821] use mypy type annotations Date: Sun, 20 Feb 2022 05:18:14 +0000 [thread overview] Message-ID: <bug-28821-4717-9E2rfIh1OM@http.sourceware.org/bugzilla/> (raw) In-Reply-To: <bug-28821-4717@http.sourceware.org/bugzilla/> https://sourceware.org/bugzilla/show_bug.cgi?id=28821 --- Comment #3 from Alexander Fasching <fasching.a91 at gmail dot com> --- You are probably right. Maintaining it in GDB also avoids problems with different versions. I was initially thinking about the update process. Mypy and typeshed are updated quite often, so this would also apply for the annotations. The annotations aren't too complicated though, so this is only a minor concern once they are good enough. -- You are receiving this mail because: You are on the CC list for the bug.
next prev parent reply other threads:[~2022-02-20 5:18 UTC|newest] Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top 2022-01-25 21:05 [Bug python/28821] New: " tromey at sourceware dot org 2022-01-26 13:12 ` [Bug python/28821] " fasching.a91 at gmail dot com 2022-02-19 16:13 ` tromey at sourceware dot org 2022-02-20 5:18 ` fasching.a91 at gmail dot com [this message] 2022-02-21 15:44 ` tromey at sourceware dot org 2022-07-08 18:55 ` tromey at sourceware dot 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=bug-28821-4717-9E2rfIh1OM@http.sourceware.org/bugzilla/ \ --to=sourceware-bugzilla@sourceware.org \ --cc=gdb-prs@sourceware.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: linkBe 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).