From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Alex Branham Newsgroups: gmane.emacs.bugs Subject: bug#30990: Should the byte compiler warn about :type mismatches? Date: Thu, 29 Mar 2018 11:55:07 -0500 Message-ID: <87woxu7rf8.fsf@gmail.com> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1522342469 14705 195.159.176.226 (29 Mar 2018 16:54:29 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 29 Mar 2018 16:54:29 +0000 (UTC) User-Agent: mu4e 1.0; emacs 26.0.91 To: 30990@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Thu Mar 29 18:54:25 2018 Return-path: Envelope-to: geb-bug-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 1f1aoh-0003it-MS for geb-bug-gnu-emacs@m.gmane.org; Thu, 29 Mar 2018 18:54:23 +0200 Original-Received: from localhost ([::1]:40206 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f1aql-0002FL-4N for geb-bug-gnu-emacs@m.gmane.org; Thu, 29 Mar 2018 12:56:31 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:42851) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f1aqL-00021p-S7 for bug-gnu-emacs@gnu.org; Thu, 29 Mar 2018 12:56:07 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1f1aqI-0003cj-Po for bug-gnu-emacs@gnu.org; Thu, 29 Mar 2018 12:56:05 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:51027) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1f1aqI-0003cR-Lm for bug-gnu-emacs@gnu.org; Thu, 29 Mar 2018 12:56:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1f1aqI-00079i-C4 for bug-gnu-emacs@gnu.org; Thu, 29 Mar 2018 12:56:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Alex Branham Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 29 Mar 2018 16:56:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 30990 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: X-Debbugs-Original-To: "" Original-Received: via spool by submit@debbugs.gnu.org id=B.152234252227458 (code B ref -1); Thu, 29 Mar 2018 16:56:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 29 Mar 2018 16:55:22 +0000 Original-Received: from localhost ([127.0.0.1]:58924 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1f1ape-00078n-G6 for submit@debbugs.gnu.org; Thu, 29 Mar 2018 12:55:22 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:51200) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1f1apc-00078a-Nw for submit@debbugs.gnu.org; Thu, 29 Mar 2018 12:55:20 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1f1apW-0002nj-Er for submit@debbugs.gnu.org; Thu, 29 Mar 2018 12:55:15 -0400 Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:37013) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1f1apW-0002nL-4W for submit@debbugs.gnu.org; Thu, 29 Mar 2018 12:55:14 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:42140) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f1apV-0001Wd-0y for bug-gnu-emacs@gnu.org; Thu, 29 Mar 2018 12:55:13 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1f1apR-0002jQ-UU for bug-gnu-emacs@gnu.org; Thu, 29 Mar 2018 12:55:13 -0400 Original-Received: from mail-ot0-x232.google.com ([2607:f8b0:4003:c0f::232]:42444) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1f1apR-0002it-PZ for bug-gnu-emacs@gnu.org; Thu, 29 Mar 2018 12:55:09 -0400 Original-Received: by mail-ot0-x232.google.com with SMTP id h55-v6so5588852ote.9 for ; Thu, 29 Mar 2018 09:55:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=CUdiAEiEJYmvN2fRPNGUXlaHOEX6PgVj6HB3ruQTakU=; b=V71GrTZaLhdmicI8iVaJzP/wv2vY39TDa4uhq+F7KJ+idTCwM9a945Vmlfdqwhk9xJ lccPI76Os0tNx5LLVaTcTrBeTP6I3BDu+3uZ9UK+MV+ATculZgdpTP6Pn2mQa8qYPrvp Y0IXbcLgHspmKqdRhjvfgPhaAO5Y9w4JHj9NXI5JHuiWydQf4jv4zJuVlAM8O/QIfLc7 iwggZFHTWJdrjYXvpQahnpgbuFGj30NyzTr+GmSOvO3w/YoABVh3MUneEav1o07yFbwj CB/DUVQZhcSxC8oIVY9Y16Oy3oZ7b8+xteJtcO9+7ZKphOMDTTqg9bIyvQnYy7zTkgEf W+pw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=CUdiAEiEJYmvN2fRPNGUXlaHOEX6PgVj6HB3ruQTakU=; b=il1ozE/SfM0pvOV0hL4hdN/n73bJtOR8DgHzQVn2VL5GGy5Xy+6qAfijiov8RYYCmT 7meRCLnm5aGVC1/57Qz7Q5hXzfWZrOBjXK2JdjMPbjUDusfO022O05x8bxUQjsHQmdii quqD3fmo7UqESp+lO9+/HVP65zZtqX03MdxRdYJpIQTvP3FdOfmWGFZIHVD87aCOFDhm ETKtXkKQ0v5CFSYFVZ2WOwtNLzy49De3X9hgGsY8XXkkbxTsKq1Z5iGWkE7tGr19CKhO HGcpTQVrPpua4jqx4y9bdzPkUh+Avl7ij09lxWSkpRzw3Y2vbLLWHrpfJa8bTZ6xZG2B j/Kw== X-Gm-Message-State: AElRT7Gp56p2p+0ySv1wuMKPcLhNE9N6bI/SLpUW4TBwqlT3pRl0rZtW cdApFkPhBeM0SbDMVySL81Hhd7rN X-Google-Smtp-Source: AIpwx4+L7OvhbcwQxea6iSIyk/jR85sODvFUge1hnfAVYDuP+RHvN3Tp9ZyBa7z4vqrZsEdnJA+SeA== X-Received: by 2002:a9d:73cc:: with SMTP id m12-v6mr5012460otk.302.1522342508664; Thu, 29 Mar 2018 09:55:08 -0700 (PDT) Original-Received: from earth (cpe-70-114-192-208.austin.res.rr.com. [70.114.192.208]) by smtp.gmail.com with ESMTPSA id 11-v6sm3594484oth.36.2018.03.29.09.55.07 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 29 Mar 2018 09:55:07 -0700 (PDT) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:144694 Archived-At: severity: wishlist Would it be possible/desirable to make the byte-compiler warn about :type mismatches with defcustoms? I've noticed that the default values for quite a few packages I use (both in Emacs [Bug#30901 for example] and not) do not match. Presumably this would be easier to catch if the compiler warned about it. In case I'm not being clear, writing something like this: (defcustom my-var t "Docs." :group 'text :type 'string) Would result in a warning during byte compilation along the lines of: "Warning: Default value for 'my-var' does not match :type".