From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id zhGQHxPd8V8NQwAA0tVLHw (envelope-from ) for ; Sun, 03 Jan 2021 15:04:51 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id mHvlGhPd8V8WYQAAB5/wlQ (envelope-from ) for ; Sun, 03 Jan 2021 15:04:51 +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 D7EDC940481 for ; Sun, 3 Jan 2021 15:04:50 +0000 (UTC) Received: from localhost ([::1]:49520 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kw4w5-0001NF-Qm for larch@yhetil.org; Sun, 03 Jan 2021 10:04:49 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:52570) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kw4vf-0001Lo-7q for guix-devel@gnu.org; Sun, 03 Jan 2021 10:04:23 -0500 Received: from tobias.gr ([2a02:c205:2020:6054::1]:43368) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kw4vd-0008GD-4H for guix-devel@gnu.org; Sun, 03 Jan 2021 10:04:22 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tobias.gr; s=2018; bh=thFrvnTqcfbQmYpN66YJcwcrSLDj//EWwz1f1BQ5qTY=; h=date:in-reply-to: references:subject:cc:to:from; b=ZSDpX0zRg8m7hTd7j4xWM0j7scvHDwEAbzcNe owGTQGzqgeFwzX51ihLBpX5hyRGoK0h449pbaZpdoETKMKQAssHq6Td5ce6E/KmVQt7HgF TT9sdKi5u0lxSBqEXGTQYnDz/cI2kUXJz9hiqzMwVpaNty+XJ9tyKLaAx8rhTMRGsHX+xe yzYq5o/2Dz0iOejFj46K3Lffqu5AVXLeRJSsCqvEm0HXxHXrT6XeiuLwVtAI+Iu52d0reh r9MnruZwTtexkah477qqUw+tVyI2XLRslg9SvdppUbckrXSvHXQCAWoPXuUEYvv5w30jWU fUux3A0tZQnGa4KuVh9xDm60A== Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id 2a1e9696 (TLSv1.2:ECDHE-ECDSA-AES256-GCM-SHA384:256:NO); Sun, 3 Jan 2021 15:04:46 +0000 (UTC) BIMI-Selector: v=BIMI1; s=default; From: Tobias Geerinckx-Rice To: Lars-Dominik Braun Subject: Re: [RFC] Improve Python package quality References: In-reply-to: Date: Sun, 03 Jan 2021 16:04:16 +0100 Message-ID: <87im8e5afj.fsf@nckx> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Received-SPF: pass client-ip=2a02:c205:2020:6054::1; envelope-from=me@tobias.gr; helo=tobias.gr 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_PASS=-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-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -4.63 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=tobias.gr header.s=2018 header.b=ZSDpX0zR; dmarc=pass (policy=reject) header.from=tobias.gr; 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-Migadu-Queue-Id: D7EDC940481 X-Spam-Score: -4.63 X-Migadu-Scanner: scn1.migadu.com X-TUID: t2WrBnxlC/fI --=-=-= Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Lars(-Dominik?), I'll defer to others on the finer points of=20 (Scheme-string-embedded-)Python, but just wanted to say: Lars-Dominik Braun =E5=86=99=E9=81=93=EF=BC=9A > My proposal adds some build-time checks to guarentee three=20 > properties: This is utterly awesome. Thank you so much. Kind regards, T G-R --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIMEARYKACsWIQT12iAyS4c9C3o4dnINsP+IT1VteQUCX/Hc8A0cbWVAdG9iaWFz LmdyAAoJEA2w/4hPVW15LcUBAMQDcWPffs19o91KATU8fD+x2t5Q41Zfcf/xjOqV nygzAQCZoGdERNeD/lAsXHsED7QdIum+4CCy5tPlwG3EeUnyAg== =RaND -----END PGP SIGNATURE----- --=-=-=--