From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 9A88A385843A; Sun, 20 Feb 2022 05:18:14 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 9A88A385843A From: "fasching.a91 at gmail dot com" To: gdb-prs@sourceware.org Subject: [Bug python/28821] use mypy type annotations Date: Sun, 20 Feb 2022 05:18:14 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gdb X-Bugzilla-Component: python X-Bugzilla-Version: 11.1 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: fasching.a91 at gmail dot com X-Bugzilla-Status: NEW X-Bugzilla-Resolution: X-Bugzilla-Priority: P2 X-Bugzilla-Assigned-To: unassigned at sourceware dot org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://sourceware.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: gdb-prs@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-prs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 20 Feb 2022 05:18:14 -0000 https://sourceware.org/bugzilla/show_bug.cgi?id=3D28821 --- Comment #3 from Alexander Fasching --- 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. --=20 You are receiving this mail because: You are on the CC list for the bug.=