From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Adam Taylor Newsgroups: gmane.emacs.help Subject: Re: Support for types in Python (PEP 484) Date: Mon, 20 Nov 2017 11:35:06 -0500 Message-ID: References: <20171120084237.GA26058@blomma.liberationtech.net> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" X-Trace: blaine.gmane.org 1511195741 23824 195.159.176.226 (20 Nov 2017 16:35:41 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 20 Nov 2017 16:35:41 +0000 (UTC) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Mon Nov 20 17:35:36 2017 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eGp2g-0005Wd-94 for geh-help-gnu-emacs@m.gmane.org; Mon, 20 Nov 2017 17:35:30 +0100 Original-Received: from localhost ([::1]:58185 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eGp2n-00004s-JX for geh-help-gnu-emacs@m.gmane.org; Mon, 20 Nov 2017 11:35:37 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:45972) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eGp2M-0008V3-6R for help-gnu-emacs@gnu.org; Mon, 20 Nov 2017 11:35:11 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eGp2L-0006Gu-0j for help-gnu-emacs@gnu.org; Mon, 20 Nov 2017 11:35:10 -0500 Original-Received: from mail-pg0-x235.google.com ([2607:f8b0:400e:c05::235]:39474) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eGp2K-0006GS-Q0 for help-gnu-emacs@gnu.org; Mon, 20 Nov 2017 11:35:08 -0500 Original-Received: by mail-pg0-x235.google.com with SMTP id 70so7772634pgf.6 for ; Mon, 20 Nov 2017 08:35:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to; bh=CYlWuHTQlegENcV68xJ3U5HRXxDXfWNzAvywWTSo+Pc=; b=kOJLTAyQaqEV/CUZ18e95E7hJHC4pnHZnDL6CUlPVuQgsTiNuDwJD7JPHLPCVNWn6A o1vB9Igm4xtB12leOqdAK32p9DlFXqDr+vFk+8pQ0dR9oqOywEGCcTaEMTjHCWcN7KEe H+1aQ8Ok+Pft1q7XB+X3k0lOwsuCwdToh2j1GFDHcw+MGEAFgXo4nwUAVGzI7fZt8jHr yt4KmAgFV7iBLpcg8Fbh7JSLtmzckj4UF4uqoSXnqDFAQYKHqn8jUaSlz5zhCzThyJ3o SNP3yT8H0UyY5MOuqXqcVDA3Y+Cm88GysB1mZmwoMu4kDFTHQqd0DaPCvNvA+S8aRqry 6Fsg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to; bh=CYlWuHTQlegENcV68xJ3U5HRXxDXfWNzAvywWTSo+Pc=; b=unhtgQHHEqDu2K0q/orQNWegOav8DeJtGReirJU1KZ293bzJzqSIQKjp3PB9so87fe 8vOvrq569Q9HgjALb8IIJwAV6OQ70W3LAu/EvrXlcJAd40syzLSyQI+UVr5H7yBw4nIf YuctdvRkhg7Qa3ETMHDCcDF1+Qzn2ER6+1mafy7ZRGeSTorYj05z4+KoK+jPTrksms2n 6g9dS0zkNYDVowufeQgRZ2VO7YiP+CDQjO+G6syiuY6s4ZSfll+aukG7UVr3ik5cu4Xb ZJ4zYszfhAVAmghvuspQzg98dOmh/JjjAQWwMWa4U4Lce2Dw4oZNMdA7frTB6AMCy+RN znMw== X-Gm-Message-State: AJaThX5T/7Rn35hI5740ewYcKBvfClmPRoqIRS+Eo7bfi6BeY/o3Ez9O XM4YRPkvAJHFVd4w8YTRMN2RKm0/TFa/D65bTC/tZg== X-Google-Smtp-Source: AGs4zMbbAtBQ2T17uCQDrFV4DYLOaRHUxS76+lK2L6McOsX30u2WpuCwPbTxVA7VoBarzFO4EYG8AHdLcBr6Tb8vciQ= X-Received: by 10.84.135.129 with SMTP id 1mr14818892plj.47.1511195706876; Mon, 20 Nov 2017 08:35:06 -0800 (PST) Original-Received: by 10.100.170.193 with HTTP; Mon, 20 Nov 2017 08:35:06 -0800 (PST) In-Reply-To: <20171120084237.GA26058@blomma.liberationtech.net> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:400e:c05::235 X-Content-Filtered-By: Mailman/MimeDel 2.1.21 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "help-gnu-emacs" Xref: news.gmane.org gmane.emacs.help:115005 Archived-At: https://github.com/SerialDev/mypy-mode claims support. -Adam On Mon, Nov 20, 2017 at 3:42 AM, Oivvio Polite wrote: > Has anyone had any luck with support for PEP 484 in any of the python > editing packages? Both in terms of checking for correctness and improved > auto completion. > > Oivvio > > >