From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: joaotavora@gmail.com (=?utf-8?B?Sm/Do28gVMOhdm9yYQ==?=) Newsgroups: gmane.emacs.devel Subject: Re: Flymake refactored Date: Sat, 07 Oct 2017 17:02:41 +0100 Message-ID: <87po9zx7xa.fsf@gmail.com> References: <87h8vmj3tr.fsf@lolita> <1507138648.1972.0@smtp.gmail.com> <874lre2von.fsf@gmail.com> <87mv566yjx.fsf@udel.edu> <87shex276r.fsf@gmail.com> <87efqh2sud.fsf@udel.edu> <20171006151753.tmdunffovz7olhey@logos.localdomain> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1507392241 31576 195.159.176.226 (7 Oct 2017 16:04:01 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 7 Oct 2017 16:04:01 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.60 (gnu/linux) Cc: emacs-devel@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sat Oct 07 18:03:55 2017 Return-path: Envelope-to: ged-emacs-devel@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 1e0rZx-0007Cp-GT for ged-emacs-devel@m.gmane.org; Sat, 07 Oct 2017 18:03:53 +0200 Original-Received: from localhost ([::1]:50275 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e0ra4-00079I-JV for ged-emacs-devel@m.gmane.org; Sat, 07 Oct 2017 12:04:00 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:33264) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e0rYw-00077j-7e for emacs-devel@gnu.org; Sat, 07 Oct 2017 12:02:51 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1e0rYt-0005Sg-LW for emacs-devel@gnu.org; Sat, 07 Oct 2017 12:02:50 -0400 Original-Received: from mail-wm0-x232.google.com ([2a00:1450:400c:c09::232]:49672) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1e0rYt-0005S1-EY for emacs-devel@gnu.org; Sat, 07 Oct 2017 12:02:47 -0400 Original-Received: by mail-wm0-x232.google.com with SMTP id b189so13121619wmd.4 for ; Sat, 07 Oct 2017 09:02:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=flWcGmXKHPfUxwA/6cZvs+0NJy3fnpGmtZHByxvjjVE=; b=R8VlPYutUw4nwueQV3ddhVKb6By/HFWFgAeULB8HJwPtC2iFiUEzj/tXfKuQud0/DP ZHjTr5N/x+5REQ5i544rxFmdfEX10rlnRejYUf8pI0pNiK+yMs6+Rsx7HSSX+vjI/82J rSMVU9iqSwjNFhIQoM/H1BO8qGwhUYjCzcKMQrltQAGeMXcMctzdUKKAXTQ5O8QJYXqX /c4p5qUSlcakPWRl9FedkJR+FSPd7u1k7ILX6tg768tSm6Yd/5B/krYWRpzoq7aWVHX/ exrRmWAC5O8l6X1dwjOJQaTbcoM54m5kG0fD8Tfd47QBGyV47jFzAnAGsxolAucjMVz6 d+Ig== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version:content-transfer-encoding; bh=flWcGmXKHPfUxwA/6cZvs+0NJy3fnpGmtZHByxvjjVE=; b=XqFnKMi4OMuFEYvhz0M+GudYcAChI70372GhxNT3YqmoazipPDECF8Q8/nBBcT2rrr LJNjtSMkdEzOy7Af9U/HqE0OYAYbxds6FfTi/NDgJrs35FNKLAoBtr/nQ3EHvJRAvlPC dTkAsKTZ6cxQtNNlkc4io9lipmRGHCmH/0UvBOgjME+hE4duHEKFhvBLakgADzTjQyzW JI7sypGk5qHHDFC3ElFeK11tmV9iHWkTmU/ltAaKvI+unfXlgPrRl+xC43CoFiT5ack9 OdfdkG3K9759INGF7bProX3Ans8beFyG9Zia/jawut0Y/zVgMM0f5YpkhA1orbSq9TtK eDSQ== X-Gm-Message-State: AMCzsaVStyWCvb+slitMFaVLRuXfX0xM4rEb4c7ncTBHjf3mbs8Nn7kM 3y90TAYNzG07y4TWTNiPojm6GFiB X-Google-Smtp-Source: AOwi7QDbgGu5ZNvEctkkM8H06t/ADzDQP6hxn05yU7s8qA36h/TbGrJ9cS/epxsu9awz24UyaukgcQ== X-Received: by 10.223.175.71 with SMTP id z65mr4524189wrc.222.1507392165540; Sat, 07 Oct 2017 09:02:45 -0700 (PDT) Original-Received: from lolita.yourcompany.com (188.139.62.94.rev.vodafone.pt. [94.62.139.188]) by smtp.gmail.com with ESMTPSA id u52sm8762456wrb.23.2017.10.07.09.02.43 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 07 Oct 2017 09:02:44 -0700 (PDT) In-Reply-To: (Stefan Monnier's message of "Sat, 07 Oct 2017 09:31:26 -0400") X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2a00:1450:400c:c09::232 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:219225 Archived-At: Stefan Monnier writes: >> - some way (global variable?) to disable checkers. I for one never want >> checkdoc to run automatically > > FWIW, I partly agree, but I think it's only because checkdoc has too > many false positives and/or too stringent requirements (e.g. that all > args be documented). So I think the better way to fix this particular > issue is to improve/tweak checkdoc. +1, some checkdoc-stringency variable that elisp-mode's use of checkdoc can let-bind to 'reasonable. Jo=C3=A3o