From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id KNpzByx38WbCZQEAqHPOHw:P1 (envelope-from ) for ; Mon, 23 Sep 2024 14:11:56 +0000 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id KNpzByx38WbCZQEAqHPOHw (envelope-from ) for ; Mon, 23 Sep 2024 16:11:56 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=jz4VOO+X; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=C+Tftbsz; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1727100716; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=yMtj2753AER4TxLhMMk6s4NdhCL7iDbvkF9SNMt3Hng=; b=NF9JLjIV3OFL952n7sErtyFKss69XivaaPZI7JyeHizjFwCkooH6QoW0DhAm/vj0Y+1KzM corhBHn8FYWDYpYaQBZQ6RjHMuf+Zzj5MX91mzC/tYjRO+xA8YeceeGwgryhWJel6WpGKi E5yEISVo4uKUVKvBq9DWElvaAc/oFoHACNKgSxiNlUYJ2uYyPSu4LCxP95DSrCpjBqqZoB MPDQGdtLFPtZta3Q4/haU39kmNevjMPvFYEHtSTcuFpJeqjnct8Y+MkWosQoiAV2nRRAq4 YCjKTVeBG/i23hMYx3sAxOReKZsBbiVoGDn6oN3nFFw97dpL5nQ9h8NZ9Wzl9g== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1727100716; a=rsa-sha256; cv=none; b=thW7b0jP2FZZzbMmX0Dqa4OvGwONcQ5fSNAw5FQunezP9yyLoJyyIPdR+08uoAVeyhtQf3 h49T/kzQFw2ubRAZOKFiJYoOo3wtSp8LCR+6OAbeZBkUOeWn9QbjaqT3hd0k3J/05a8lVF EJ3I3Uj86RbYh3Ivx29RlJUvZpUzALd02lsMv3n/VHjA5uo7/9+Csh315VZ7yrxVkoCnYB RUwA9y1d8sP6jCygRNcyITqi9d7pNs6bRW7q5GYxYIeqi0IRhS1ZgHmhcWjPXEyumxM2IZ Z7ULdnFZars80z2QMjrldy3XlHJD6TozIrhTw+13MGYZ4P/iop32GEbFCUWSiQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=jz4VOO+X; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=C+Tftbsz; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id D3E3215EF3 for ; Mon, 23 Sep 2024 16:11:55 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ssjn0-000481-AE; Mon, 23 Sep 2024 10:11:46 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ssjmt-00047g-I8 for guix-patches@gnu.org; Mon, 23 Sep 2024 10:11:40 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ssjmt-0001uF-91 for guix-patches@gnu.org; Mon, 23 Sep 2024 10:11:39 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:Date:References:In-Reply-To:From:To:Subject; bh=yMtj2753AER4TxLhMMk6s4NdhCL7iDbvkF9SNMt3Hng=; b=jz4VOO+XTr8ixn2GQr5ARIq9/94+EsgxJMFgYRZu8yewizBf7hfJTfNxsyUloEC25m48WQIDYetSWnUoJgakvMxPAJGULpCwXRHY5frhAdlO9zTxED44/vfJBMi/eISKIs6ICLBsi/Y41EKgk1s952bgHxPtePMWV2lmN+mZWBzn1SJMQNrebIe3mBh6kJCZ4pwKaU+qIwUOkbTiFbipxz2KpZMtrM1TSxSnTe0nMY6DGaHRUkUD5kgyogmcnSkXt/yD2PuwGKOUTjvAny7qjUe73VNiaT0BO/tL/BIu/nxs+ZFUkI7eZNE6t3AbS47y1RVSFG6RDiniwv4Xror0Hw==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ssjnG-00009y-9S for guix-patches@gnu.org; Mon, 23 Sep 2024 10:12:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73434] [PATCH] lint: Check for minimal variants. Resent-From: Suhail Singh Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 23 Sep 2024 14:12:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73434 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Efraim Flashner Cc: Josselin Poiret , Simon Tournier , 73434@debbugs.gnu.org, Mathieu Othacehe , Ludovic =?UTF-8?Q?Court=C3=A8s?= , Tobias Geerinckx-Rice , Christopher Baines Received: via spool by 73434-submit@debbugs.gnu.org id=B73434.1727100701575 (code B ref 73434); Mon, 23 Sep 2024 14:12:02 +0000 Received: (at 73434) by debbugs.gnu.org; 23 Sep 2024 14:11:41 +0000 Received: from localhost ([127.0.0.1]:44507 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssjmv-00009D-7H for submit@debbugs.gnu.org; Mon, 23 Sep 2024 10:11:41 -0400 Received: from mail-qk1-f195.google.com ([209.85.222.195]:61926) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssjmt-00008x-EI for 73434@debbugs.gnu.org; Mon, 23 Sep 2024 10:11:40 -0400 Received: by mail-qk1-f195.google.com with SMTP id af79cd13be357-7a9af813f6cso434865285a.3 for <73434@debbugs.gnu.org>; Mon, 23 Sep 2024 07:11:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1727100611; x=1727705411; darn=debbugs.gnu.org; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=yMtj2753AER4TxLhMMk6s4NdhCL7iDbvkF9SNMt3Hng=; b=C+Tftbsz+FveYZNXPW5ecEJTnB0dFcWz+hQe9ZhBMBYNrIoqquR8ftEG3bmJOXACKn 15U+NiyarMBmWZnJ4ibcQ3o/3RHMy/T2lNEqis09mcUglL5Y/vIRjO0kgft6Fi53AjYT BeDrJamq1clHSTHJ88LQP4JT1CUe/jgfX1IV75rNyZimmlwXIGo76QY8f4shxbyEBmdz J9sjhpO5rIsqILP+3PFn67A0Ov5xlqxok+JQE7K5Z4y86oICvwjJ1adlmZmBh5TS+66M 8FcLwZd/mEDgYmwm1dD2J1JspYE23B2GoOdMuV71/ev7LrfflmI/TI06TCqdSr+pkCZV j4dQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1727100611; x=1727705411; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=yMtj2753AER4TxLhMMk6s4NdhCL7iDbvkF9SNMt3Hng=; b=bmgCGWbR/OZgy9Qnkd0qFghV+JtPQhIS9KEpUxyq9ro/Td3uQ+jQOQv+VcMjuPBXvB ozoO+ttYfiRoLUnvVpALViUE7icky70SisXV/PYTHHR7v5/u5/0ofKDDOUZ1/ScyfpSI ozgHqn+UF1PiPT0bLs1j8MFHt18gKErcRETfYnGGWqfC/EZgOyoTYBRMuh92PC3Uj3jq LxNFknxECCw20KnA/Z0UnblzSL5xtG0BHrf56Y9P7zQCi+QWcOyiAJ+JU26ElRGLoNdn sK9h9YUC6IBiEQOZEDUCry21OLxlSC+rn8BK0nd5Dk3dCLqVg550MeZIjxokxTZz6QTF gr6Q== X-Gm-Message-State: AOJu0Yxms5Z1EYz6r97gbgUvgHjjYx7bl0Ai5+AcOofnq2xA5OTXORYs QOjuhNTTWR+v6wQ+JZH8GUqrAx4ksGkefPBtv1/GmRnS0fLAnEVh X-Google-Smtp-Source: AGHT+IFtVeTF6NQf9z184QLOKQf+m0XE8fo4abew1RwSUw/HmLC/EOAnjjDcCtyWqfkNmM4EvtSuVg== X-Received: by 2002:a05:620a:2a02:b0:7a9:abee:992 with SMTP id af79cd13be357-7acb8e03cb4mr1978202385a.50.1727100610651; Mon, 23 Sep 2024 07:10:10 -0700 (PDT) Received: from gnus ([65.94.70.53]) by smtp.gmail.com with ESMTPSA id af79cd13be357-7acb08c1838sm489065885a.81.2024.09.23.07.10.09 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 23 Sep 2024 07:10:09 -0700 (PDT) From: Suhail Singh In-Reply-To: (Efraim Flashner's message of "Mon, 23 Sep 2024 10:56:01 +0300") References: Date: Mon, 23 Sep 2024 10:09:58 -0400 Message-ID: <87h6a6ihqh.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -4.51 X-Spam-Score: -4.51 X-Migadu-Scanner: mx13.migadu.com X-Migadu-Queue-Id: D3E3215EF3 X-TUID: 0FnLggzDDOsz Efraim Flashner writes: > +(define (check-inputs-should-use-a-minimal-variant package) > + ;; Emit a warning if some inputs of PACKAGE should likely be replaced > + ;; with their minimal variant. Should this have been a docstring instead? -- Suhail