From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Kangas Newsgroups: gmane.emacs.bugs Subject: bug#56400: Make setopt warn on type mismatch Date: Tue, 5 Jul 2022 19:08:24 +0200 Message-ID: References: <87wncrzedu.fsf@gnus.org> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="35503"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 56400@debbugs.gnu.org To: Lars Ingebrigtsen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Tue Jul 05 19:09:30 2022 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1o8m3F-00091P-Lq for geb-bug-gnu-emacs@m.gmane-mx.org; Tue, 05 Jul 2022 19:09:29 +0200 Original-Received: from localhost ([::1]:52576 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1o8m3E-0000BG-Jk for geb-bug-gnu-emacs@m.gmane-mx.org; Tue, 05 Jul 2022 13:09:28 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:46898) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o8m2o-0008Ip-JJ for bug-gnu-emacs@gnu.org; Tue, 05 Jul 2022 13:09:04 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:57631) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1o8m2o-0006O7-BL for bug-gnu-emacs@gnu.org; Tue, 05 Jul 2022 13:09:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1o8m2o-0006xv-3C for bug-gnu-emacs@gnu.org; Tue, 05 Jul 2022 13:09:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Kangas Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 05 Jul 2022 17:09:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 56400 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: moreinfo Original-Received: via spool by 56400-submit@debbugs.gnu.org id=B56400.165704092426751 (code B ref 56400); Tue, 05 Jul 2022 17:09:02 +0000 Original-Received: (at 56400) by debbugs.gnu.org; 5 Jul 2022 17:08:44 +0000 Original-Received: from localhost ([127.0.0.1]:51528 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o8m2W-0006xP-AU for submit@debbugs.gnu.org; Tue, 05 Jul 2022 13:08:44 -0400 Original-Received: from mail-pj1-f41.google.com ([209.85.216.41]:51156) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o8m2T-0006xB-BR for 56400@debbugs.gnu.org; Tue, 05 Jul 2022 13:08:43 -0400 Original-Received: by mail-pj1-f41.google.com with SMTP id a15so6059479pjs.0 for <56400@debbugs.gnu.org>; Tue, 05 Jul 2022 10:08:41 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=cnAZilSIZXmjwR2nxSxPDx0ToeksJiMEeuyb0ZUDW4s=; b=LoyyDKJjljfL/Jmo0Vf9ITMD6jDRIwJlhz2uzN2WOnsjoaJhUY7dohsb38afRdXn6P X/eyMSAORPAEvy9RcnQbKPuqxIR/iulMCbwdRK3P1eu57eCu2ji6nqXdaLJSsx4uoa8D PXMNtL8T/ECZJA78pvm03asZy8X8370VRqQJmho9ojcgKHaBBRPJ0GwJDqBQIwsj1q81 eGLMEzwY5nQorUSbuoelgTXvibBmOlSJPkhV35VpzYr0tpjWW5pd7krijKJdpU9h7nFv fb5lC0toiUGPmjusqvSHRm8t9YVhX67hsv20wE8dPfksnfMgyH/9AVLPORWaD1qbYI6r 56wQ== X-Gm-Message-State: AJIora9cP3HBob2XZizsxNpEH7eztvp87dpvHbdsdqk4xvch2CtGm7Tq BwEgMllNmo4czWYl+N4FreVRMSnZ+hVhKaB0inY= X-Google-Smtp-Source: AGRyM1tAbkTxHty8R6bNoYF/vXdxDvkRN2Kf00i03NKNVjaYW0wG5Q5mcf8VZw48ocVjIV0ZzvTqJlsnhIZJcovbxko= X-Received: by 2002:a17:90b:896:b0:1ef:935c:f326 with SMTP id bj22-20020a17090b089600b001ef935cf326mr7800222pjb.193.1657040915554; Tue, 05 Jul 2022 10:08:35 -0700 (PDT) In-Reply-To: <87wncrzedu.fsf@gnus.org> X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list 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-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:236151 Archived-At: Lars Ingebrigtsen writes: > Stefan Kangas writes: > > > Why not make `setopt' warn in case there is a type mismatch? > > For example, in: > > > > (setopt tetris-buffer-width "hello") > > > > But the type of `tetris-buffer-width' is natnum. > > It should throw an error already: Aha, I guess it doesn't throw an error if `tetris' isn't loaded already, as it has no way of knowing the type yet. IOW, in emacs -Q, I need to say this to get an error: (progn (require 'tetris) (setopt tetris-buffer-width "hello")) That's pretty good, but I wonder if we could do better. I expect that users will often set settings from libraries that aren't yet loaded. For example, how about warning upon loading the library if the variable is set to an incompatible value? Or something.