From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id mI7YLQK7VF/dUgAA0tVLHw (envelope-from ) for ; Sun, 06 Sep 2020 10:33:38 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id JKOhKQK7VF/1GwAA1q6Kng (envelope-from ) for ; Sun, 06 Sep 2020 10:33:38 +0000 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 7D5AE94021E for ; Sun, 6 Sep 2020 10:33:38 +0000 (UTC) Received: from localhost ([::1]:56264 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kErzN-0004kq-GG for larch@yhetil.org; Sun, 06 Sep 2020 06:33:37 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41042) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kErzD-0004k3-7h for guix-devel@gnu.org; Sun, 06 Sep 2020 06:33:27 -0400 Received: from mugam.systemreboot.net ([139.59.75.54]:41714) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kErz8-0002bN-Ii for guix-devel@gnu.org; Sun, 06 Sep 2020 06:33:26 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=systemreboot.net; s=default; h=Content-Type:MIME-Version:Message-ID:Date: References:In-Reply-To:Subject:Cc:To:From:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=fJSWrOoRfCd3VOInkBp+TF3glRjFngdVnw9fJyOcDV0=; b=NKpx8wYQOYuCnlQi0gxXwDhVe Wyjp54KKCO70xa+UGAsnSyBA66XJpcpm4R4a9avbFPdaCHpZ+UcxaXuC876AkoWgWlnTgNvHU4j5v HALeb1qbQh2sFHb3xmKsSlugV9+aThm0Tb6o9vlTI4828cNnkLPyLKWII5R1/p9uNQnkjRZmiEePn ty23PHt/+cQ0QhP/Cxev75XmluvkGXKNqpaWhAqX9gajK82ZHgXj9i4a4zZG17kxsPeZh1IkSTBIq K2SbDHbOR32jrLsO95IjY2Gpeis/+Ibh+d5+H6Eoe70USiG1opLRE5horn1w7E0TJNEw/elsO2uyE m7a3bvNhQ==; Received: from [192.168.2.1] (helo=steel) by systemreboot.net with esmtpsa (TLS1.3) tls TLS_AES_256_GCM_SHA384 (Exim 4.94) (envelope-from ) id 1kEry7-000PBB-0R; Sun, 06 Sep 2020 16:02:19 +0530 From: Arun Isaac To: Pierre Neidhardt Subject: Re: File search progress: database review and question on triggers In-Reply-To: <878sdni5jt.fsf@ambrevar.xyz> References: <87sgcuh8rb.fsf@ambrevar.xyz> <87y2ml429i.fsf@elephly.net> <87364tgja3.fsf@ambrevar.xyz> <87y2mlf4jw.fsf@ambrevar.xyz> <87pn7x3pyw.fsf@elephly.net> <87r1sbel4f.fsf@ambrevar.xyz> <87eeobh01d.fsf@systemreboot.net> <87d03uevdq.fsf@ambrevar.xyz> <875z9mhh3s.fsf@systemreboot.net> <87tux6d54k.fsf@ambrevar.xyz> <87zh6yfuin.fsf@systemreboot.net> <87r1sad0co.fsf@ambrevar.xyz> <87o8neczen.fsf@ambrevar.xyz> <871rk73dqw.fsf@systemreboot.net> <87blj0sayk.fsf@ambrevar.xyz> <871rjws4bn.fsf@ambrevar.xyz> <87v9gtcq06.fsf@systemreboot.net> <87ft7wzmsj.fsf@ambrevar.xyz> <87tuwbs1cr.fsf@systemreboot.net> <878sdni5jt.fsf@ambrevar.xyz> Date: Sun, 06 Sep 2020 16:03:13 +0530 Message-ID: <87tuwbfb4m.fsf@systemreboot.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Received-SPF: pass client-ip=139.59.75.54; envelope-from=arunisaac@systemreboot.net; helo=mugam.systemreboot.net X-detected-operating-system: by eggs.gnu.org: First seen = 2020/09/06 05:26:06 X-ACL-Warn: Detected OS = ??? X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=systemreboot.net header.s=default header.b=NKpx8wYQ; dmarc=fail reason="SPF not aligned (relaxed)" header.from=systemreboot.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: -2.01 X-TUID: 5SXuzpTwu2DW --=-=-= Content-Type: text/plain > There is a subtle different: in the latter, (search-file-package) is > allowed and won't trigger a compile time error, while the former does. > This "foo . more-foo" paradigm is a way to say "1 or more arguments", > instead of "0 or more". Ah, ok, that makes sense! Regards, Arun --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQFPBAEBCAA5FiEEf3MDQ/Lwnzx3v3nTLiXui2GAK7MFAl9UuukbHGFydW5pc2Fh Y0BzeXN0ZW1yZWJvb3QubmV0AAoJEC4l7othgCuzPjIH/1nNcaWlDx2+sJqk2/fN oSKvGuOME8kOwIFxZa00ShnyUSNsd0mkwfg1T0+3fskk8vcIFOg6joiCW3USAZK6 mLuvpNJvrtxYxVQ2gJzuhPyhbdpNLJXDeC7ebC+eQ01VrhjBFxvfNIAJD0ZHdCkg t/dHVaeFcmmoTEYVjJGqo/JGCQoMSmrbKpvEXhegIJ2qnAINRV0W89iIz/HFAOxk jIF9RyIoBQ0jSCnY8dG6TCo9eEEauujHJ3fkZ5EixvSqiiC9vKqkMRT4/XBAQ2OB qRpBBrboTAxmbJNgQPDpAy6qK+TqvvO7/uEqMd+XWX1MRXDG3yhLKQtAgO/v+dbc ymQ= =q1ga -----END PGP SIGNATURE----- --=-=-=--