From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 26 22:18:08 2021 Received: (at submit) by debbugs.gnu.org; 27 Sep 2021 02:18:09 +0000 Received: from localhost ([127.0.0.1]:39215 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgDY-0002Mx-PT for submit@debbugs.gnu.org; Sun, 26 Sep 2021 22:18:08 -0400 Received: from lists.gnu.org ([209.51.188.17]:39106) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgDX-0002Ml-VK for submit@debbugs.gnu.org; Sun, 26 Sep 2021 22:18:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:40362) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mUgDX-0005Gh-Q4 for guix-patches@gnu.org; Sun, 26 Sep 2021 22:18:07 -0400 Received: from mail-0201.mail-europe.com ([51.77.79.158]:53940) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mUgDV-000532-GV for guix-patches@gnu.org; Sun, 26 Sep 2021 22:18:07 -0400 Date: Mon, 27 Sep 2021 02:17:56 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail; t=1632709078; bh=t8AjpUoy5FLuBYaSdCPGf24akYlGJ4d2NFGFQAWO8UM=; h=Date:To:From:Reply-To:Subject:From; b=BxqyVjEVK+69JMedFc+wpoXV5rjEirO06CoeNGtCLSzinPMu6d8yHAK838PZX3a+L J2gW6NtzAMsXZ00HIhfpSVpCpCBlQ4/S/Ve44+Le1eMerSnIkQunz3gHwSzH+u905S vSzLZE46fKHeBlHc7UgwGSUZOb2EJ6TG4uVUF4sY= To: guix-patches@gnu.org From: Ryan Prior Subject: [PATCH 0/5] Python logic programming packages Message-ID: <20210927021752.30671-1-rprior@protonmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-1.2 required=10.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM shortcircuit=no autolearn=disabled version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on mailout.protonmail.ch Received-SPF: pass client-ip=51.77.79.158; envelope-from=rprior@protonmail.com; helo=mail-0201.mail-europe.com 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, FREEMAIL_FROM=0.001, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Ryan Prior Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) Hi Guix! Here's a series of patches for software I use for logic programmin= g in Python. Ryan Prior (5): gnu: Add python-multipledispatch. gnu: Add python-logical-unification. gnu: Add python-cons. gnu: Add python-etuples. gnu: Add python-minikanren. gnu/packages/python-xyz.scm | 139 ++++++++++++++++++++++++++++++++++++ 1 file changed, 139 insertions(+) -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 26 22:20:31 2021 Received: (at 50836) by debbugs.gnu.org; 27 Sep 2021 02:20:31 +0000 Received: from localhost ([127.0.0.1]:39222 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFr-0002RI-4y for submit@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:31 -0400 Received: from mail-4316.protonmail.ch ([185.70.43.16]:31227) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFp-0002Qv-W1 for 50836@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:30 -0400 Date: Mon, 27 Sep 2021 02:20:14 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail; t=1632709223; bh=1Co3C00fM1trvjIn+9z0xhVwFAmM7Hz3IYH4tjy28qU=; h=Date:To:From:Reply-To:Subject:From; b=oX4VMt7iQd4rCwfemn5VhJto1XsH1ey2Xs3zrR4YFTqv6Se/ZUPwCZSpUQbFabZnF DDqA6zYqatO4Mu01pBSB8G6KL02aD31CBagzg4D1ApDWugkH7XKMhgyVT1ZA80JLQ5 I46rMYZ2PGOP4CMuPKkDUrRpQtuBCfCZBOtS+kME= To: 50836@debbugs.gnu.org From: Ryan Prior Subject: [PATCH 1/5] gnu: Add python-multipledispatch. Message-ID: <20210927022011.30839-1-rprior@protonmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-1.2 required=10.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM shortcircuit=no autolearn=disabled version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on mailout.protonmail.ch X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 50836 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Ryan Prior Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/python-xyz.scm (python-multipledispatch): New variable. --- gnu/packages/python-xyz.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index a34c444a87..c833c95b5a 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -26584,6 +26584,26 @@ objects in the combined source, and how they defin= e or use each other. The graph can be output for rendering by GraphViz or yEd.") (license license:gpl2))) +(define-public python-multipledispatch + (package + (name "python-multipledispatch") + (version "0.6.0") + (source + (origin + (method url-fetch) + (uri (pypi-uri "multipledispatch" version)) + (sha256 + (base32 + "1slblghfjg9fdi9zpd7gmrkvfbv20nrdgnrymcnbky8bzm8i9ax7")))) + (build-system python-build-system) + (propagated-inputs `(("six" ,python-six))) + (home-page + "http://github.com/mrocklin/multipledispatch/") + (synopsis "Multiple dispatch for Python based on pattern matching") + (description "This library provides an efficient mechanism for overloa= ding +function implementations based on the types of the arguments.") + (license license:bsd-3))) + (define-public date2name (let ((commit "6c8f37277e8ec82aa50f90b8921422be30c4e798") (revision "1")) -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 26 22:20:31 2021 Received: (at 50836) by debbugs.gnu.org; 27 Sep 2021 02:20:31 +0000 Received: from localhost ([127.0.0.1]:39224 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFr-0002RK-D1 for submit@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:31 -0400 Received: from mail-4323.protonmail.ch ([185.70.43.23]:46035) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFq-0002Qw-0h for 50836@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:30 -0400 Date: Mon, 27 Sep 2021 02:20:17 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail; t=1632709224; bh=UWTXZuu4cYjIZZtLgDU6pKDiMy58gm8xfkOsRy0ucZI=; h=Date:To:From:Reply-To:Subject:In-Reply-To:References:From; b=m1NtFCkx6rU/kXPSv7/TjJ3sdDuFmvlSIlQzzwatTplQbfJ/L4mB5St7fRPQ/ZAgz yRrk7lOzK2n3FYZjH0kWokST3k50ctV99Z3KKhDUJh1KJ0OsQbipjz9bMqKfUdW+P5 dFZJA6rAmSNnS8NWitoKeuJeNwqcB7QKMZPs+egk= To: 50836@debbugs.gnu.org From: Ryan Prior Subject: [PATCH 2/5] gnu: Add python-logical-unification. Message-ID: <20210927022011.30839-2-rprior@protonmail.com> In-Reply-To: <20210927022011.30839-1-rprior@protonmail.com> References: <20210927022011.30839-1-rprior@protonmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-1.2 required=10.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM shortcircuit=no autolearn=disabled version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on mailout.protonmail.ch X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 50836 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Ryan Prior Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) gnu/packages/python-xyz.scm (python-logical-unification): New variable. --- gnu/packages/python-xyz.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index c833c95b5a..bc5ab67e6b 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -26604,6 +26604,28 @@ graph can be output for rendering by GraphViz or y= Ed.") function implementations based on the types of the arguments.") (license license:bsd-3))) +(define-public python-logical-unification + (package + (name "python-logical-unification") + (version "0.4.3") + (source + (origin + (method url-fetch) + (uri (pypi-uri "logical-unification" version)) + (sha256 + (base32 + "0j57953hi7kg2rl0163vzjzsvzdyjimnklhx6idf5vaqqf1d3p1j")))) + (build-system python-build-system) + (propagated-inputs + `(("multipledispatch" ,python-multipledispatch) + ("toolz" ,python-toolz))) + (home-page + "http://github.com/pythological/unification/") + (synopsis "Logical unification in Python for solving symbolic expressi= ons") + (description "This library provides algorithms and data types for solv= ing +symbolic expressions in pure Python using the technique of logical unifica= tion.") + (license license:bsd-3))) + (define-public date2name (let ((commit "6c8f37277e8ec82aa50f90b8921422be30c4e798") (revision "1")) -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 26 22:20:38 2021 Received: (at 50836) by debbugs.gnu.org; 27 Sep 2021 02:20:39 +0000 Received: from localhost ([127.0.0.1]:39229 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFy-0002Rv-LD for submit@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:38 -0400 Received: from mail-40136.protonmail.ch ([185.70.40.136]:13639) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFr-0002Qz-PE for 50836@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:32 -0400 Date: Mon, 27 Sep 2021 02:20:22 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail; t=1632709225; bh=tEsmvd73UKumoRDfibYXNu9RWkwwReZqQT/V+LgOTmA=; h=Date:To:From:Reply-To:Subject:In-Reply-To:References:From; b=Qh723MnKvSRbvi45+tn83BIG1lXjwOxGfns2EYdHnGsAn7LEbS9FVchX5IggQGcqv KIQ8RfXzeVYI+wGgPpHj+L/eP0DORXgExBt0JUMX/cC/KkVJivLLUGpQgNzHWqfCYo Fei9bC2T7QczUnkvYYv8G+P/Hd/hdVSG/bROjVPc= To: 50836@debbugs.gnu.org From: Ryan Prior Subject: [PATCH 4/5] gnu: Add python-etuples. Message-ID: <20210927022011.30839-4-rprior@protonmail.com> In-Reply-To: <20210927022011.30839-1-rprior@protonmail.com> References: <20210927022011.30839-1-rprior@protonmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-1.2 required=10.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM shortcircuit=no autolearn=disabled version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on mailout.protonmail.ch X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 50836 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Ryan Prior Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) gnu/packages/python-xyz.scm (python-etuples): New variable. --- gnu/packages/python-xyz.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 1f6388d2bc..0b002c42dc 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -26653,6 +26653,30 @@ symbolic expressions in pure Python using the tech= nique of logical unification." cons cells in Python.") (license license:lgpl3+))) +(define-public python-etuples + (package + (name "python-etuples") + (version "0.3.3") + (source + (origin + (method url-fetch) + (uri (pypi-uri "etuples" version)) + (sha256 + (base32 + "0jhfyp177v37rl0i7wqfx7q6s5qkz027hl283d1x8d0vm3w0zqc8")))) + (build-system python-build-system) + (propagated-inputs + `(("python-cons" ,python-cons) + ("python-multipledispatch" + ,python-multipledispatch))) + (home-page + "http://github.com/pythological/etuples") + (synopsis + "S-expressions in Python") + (description + "This library implements eval'able S-expression in Python using tuple= -like objects.") + (license license:asl2.0))) + (define-public date2name (let ((commit "6c8f37277e8ec82aa50f90b8921422be30c4e798") (revision "1")) -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 26 22:20:39 2021 Received: (at 50836) by debbugs.gnu.org; 27 Sep 2021 02:20:39 +0000 Received: from localhost ([127.0.0.1]:39231 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFy-0002Rx-TK for submit@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:39 -0400 Received: from mail-4316.protonmail.ch ([185.70.43.16]:42131) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFt-0002R3-OO for 50836@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:34 -0400 Date: Mon, 27 Sep 2021 02:20:24 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail; t=1632709227; bh=chp9Ivgil+hkriqI2VBwUEG6FdfNpNNS8WA2unkb+5Q=; h=Date:To:From:Reply-To:Subject:In-Reply-To:References:From; b=CX9MMI0m/E0CGhoiYO2I+jDOoySbIsRG31NPp3waW6o11und3uOVZxbXq2J1x872W qQoscEcOkaIUrV8vpdcAxYIJEOpbPRVdRVVo2SkO8OKKcc/SCARGGSFuopJZoMBcSC YlDizmSiIRS66X67mIcLiebbnYA48YNmZRPrtIwc= To: 50836@debbugs.gnu.org From: Ryan Prior Subject: [PATCH 5/5] gnu: Add python-minikanren. Message-ID: <20210927022011.30839-5-rprior@protonmail.com> In-Reply-To: <20210927022011.30839-1-rprior@protonmail.com> References: <20210927022011.30839-1-rprior@protonmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-1.2 required=10.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM shortcircuit=no autolearn=disabled version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on mailout.protonmail.ch X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 50836 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Ryan Prior Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) gnu/packages/python-xyz.scm (python-minikanren): New variable. --- gnu/packages/python-xyz.scm | 46 +++++++++++++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 0b002c42dc..4437de6374 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -26677,6 +26677,52 @@ cons cells in Python.") "This library implements eval'able S-expression in Python using tuple= -like objects.") (license license:asl2.0))) +(define-public python-minikanren + (package + (name "python-minikanren") + (version "1.0.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/pythological/kanren") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0g7wfj5hxalwz7k1301nsjqhjpzsif1bj6wjm2x2kavlm2ypv9jc")))) + (build-system python-build-system) + (arguments + '(#:phases (modify-phases %standard-phases + (replace 'check + (lambda* (#:key tests? #:allow-other-keys) + (when tests? + (invoke "python" "-m" "pytest" "-v" "tests/" "kanr= en/")) + #t))))) + (native-inputs + `(("python-coveralls" ,python-coveralls) + ("python-pydocstyle" ,python-pydocstyle) + ("python-pytest@6.2.4" ,python-pytest) + ("python-pytest-cov@2.8.1" ,python-pytest-cov) + ("python-pylint@2.5.3" ,python-pylint) + ("python-black@20.8b1" ,python-black) + ("python-sympy@1.7.1" ,python-sympy) + ("python-versioneer@0.19" ,python-versioneer) + ("python-coverage@5.2.1" ,python-coverage) + ("python-pre-commit@2.10.0" ,python-pre-commit))) + (propagated-inputs + `(("toolz@0.11.1" ,python-toolz) + ("cons" ,python-cons) + ("multipledispatch" ,python-multipledispatch) + ("etuples" ,python-etuples) + ("logical-unification" ,python-logical-unification))) + (home-page "https://github.com/pythological/kanren") + (synopsis "Relational logic programming in pure Python") + (description + "The minikanren library provides an algorithmic core for computer alg= ebra +systems in Python.") + (license license:bsd-3))) + + (define-public date2name (let ((commit "6c8f37277e8ec82aa50f90b8921422be30c4e798") (revision "1")) -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 26 22:20:39 2021 Received: (at 50836) by debbugs.gnu.org; 27 Sep 2021 02:20:39 +0000 Received: from localhost ([127.0.0.1]:39233 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFz-0002S4-7y for submit@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:39 -0400 Received: from mail-40133.protonmail.ch ([185.70.40.133]:11386) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFv-0002R5-Pf for 50836@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:36 -0400 Date: Mon, 27 Sep 2021 02:20:19 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail; t=1632709225; bh=hXB9QyLwSySt9Xtf5iyvOTsVR1R7kYHveX9Seh7MLgg=; h=Date:To:From:Reply-To:Subject:In-Reply-To:References:From; b=g2+wNsIrNrFx203XoB+sIb399h+cAX919nlV0OnSqOn4EJF3cQx3H09GpM7SH2khw pVpW0lxvfiCfYzw9qGc54Sbs7M7kJy4uDPu0iLJ16V1D+uwpK+3BCSmpyZM5a8PUbX iK16rdOSZ5NyvHArKcflq27jnDEkRSBg/TwvgcbM= To: 50836@debbugs.gnu.org From: Ryan Prior Subject: [PATCH 3/5] gnu: Add python-cons. Message-ID: <20210927022011.30839-3-rprior@protonmail.com> In-Reply-To: <20210927022011.30839-1-rprior@protonmail.com> References: <20210927022011.30839-1-rprior@protonmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-1.2 required=10.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM shortcircuit=no autolearn=disabled version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on mailout.protonmail.ch X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 50836 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Ryan Prior Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) gnu/packages/python-xyz.scm (python-cons): New variable. --- gnu/packages/python-xyz.scm | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index bc5ab67e6b..1f6388d2bc 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -26626,6 +26626,33 @@ function implementations based on the types of the= arguments.") symbolic expressions in pure Python using the technique of logical unifica= tion.") (license license:bsd-3))) +(define-public python-cons + (package + (name "python-cons") + (version "0.4.2") + (source + (origin + (method url-fetch) + (uri (pypi-uri "cons" version)) + (sha256 + (base32 + "0w9giq196wps7mbm47c4shdzs5yvwvqajqzkim2p92i51sm5qgvm")))) + (build-system python-build-system) + (native-inputs + `(("pytest@6.2.4" ,python-pytest-6) + ("toml@0.10.2" ,python-toml))) + (propagated-inputs + `(("python-logical-unification" + ,python-logical-unification))) + (home-page + "https://github.com/pythological/python-cons") + (synopsis + "Cons cell data structures and related algorithms for Python") + (description + "This library implements algorithms and data structures for Lisp-styl= e +cons cells in Python.") + (license license:lgpl3+))) + (define-public date2name (let ((commit "6c8f37277e8ec82aa50f90b8921422be30c4e798") (revision "1")) -- 2.33.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 27 06:28:35 2021 Received: (at 50836) by debbugs.gnu.org; 27 Sep 2021 10:28:35 +0000 Received: from localhost ([127.0.0.1]:39719 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUnsB-0003vA-8o for submit@debbugs.gnu.org; Mon, 27 Sep 2021 06:28:35 -0400 Received: from michel.telenet-ops.be ([195.130.137.88]:51270) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUns8-0003v1-Rj for 50836@debbugs.gnu.org; Mon, 27 Sep 2021 06:28:33 -0400 Received: from ptr-bvsjgyjmffd7q9timvx.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by michel.telenet-ops.be with bizsmtp id yyUW2500b0mfAB406yUX3J; Mon, 27 Sep 2021 12:28:31 +0200 Message-ID: Subject: Re: [bug#50836] [PATCH 1/5] gnu: Add python-multipledispatch. From: Maxime Devos To: Ryan Prior , 50836@debbugs.gnu.org Date: Mon, 27 Sep 2021 12:28:23 +0200 In-Reply-To: <20210927022011.30839-1-rprior@protonmail.com> References: <20210927021752.30671-1-rprior@protonmail.com> <20210927022011.30839-1-rprior@protonmail.com> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-oLFUlLEu6NpacRmGIwlw" User-Agent: Evolution 3.34.2 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1632738511; bh=QVhgSI9I+IgJn8UzzNDiNu0R35s1atZ3YNN8ONPBcuA=; h=Subject:From:To:Date:In-Reply-To:References; b=PB2bDyHYstSPjWkPZadkTfZc/NA8FBbAhkO++Q3rJG4DZntCuZ/V6XG2nDrw06d7s CrYMUxf+TC714sOTWhLPpGy2VLhMzHSCn1J07eze2Ys/T30NhaO3Z+I/DoTMDdGvR+ HezdT3KAV/DlRxTQ7Lz6+gMDRAvhHWUlcef0Ae2TZeHOMO4yxDQDyhvNzCRF8V7P2g Ek5qfUq8Tb5307WmJf5HjSRXnaCirqm4FJwa0COvX5nRAkPHP41H4QRZWzbnrtm3f3 ZsInml9TEUr/ECKIHyfu+bNjVFPBI/uGqgmMIoW/UY76Mar0HExRyIkYe6EbEgdGNC nIkkwqtJQ4XYQ== X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 50836 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) --=-oLFUlLEu6NpacRmGIwlw Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Ryan Prior via Guix-patches via schreef op ma 27-09-2021 om 02:20 [+0000]: > * gnu/packages/python-xyz.scm (python-multipledispatch): New variable. > --- > gnu/packages/python-xyz.scm | 20 ++++++++++++++++++++ > 1 file changed, 20 insertions(+) >=20 > diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm > index a34c444a87..c833c95b5a 100644 > --- a/gnu/packages/python-xyz.scm > +++ b/gnu/packages/python-xyz.scm > @@ -26584,6 +26584,26 @@ objects in the combined source, and how they def= ine or use each other. The > graph can be output for rendering by GraphViz or yEd.") > (license license:gpl2))) >=20 > +(define-public python-multipledispatch > + (package > + (name "python-multipledispatch") > + (version "0.6.0") > + (source > + (origin > + (method url-fetch) > + (uri (pypi-uri "multipledispatch" version)) > + (sha256 > + (base32 > + "1slblghfjg9fdi9zpd7gmrkvfbv20nrdgnrymcnbky8bzm8i9ax7")))) > + (build-system python-build-system) > + (propagated-inputs `(("six" ,python-six))) The convention is to use the package name of the input package as input label ("python-six" instead of "six" in this case). This is important for the "guix style" in , which, when it wil= l be in master, allows writing this package definition as (define-public python-multipledispatch (package (name "python-multipledispatch") ... (propagated-inputs (list python-six)) ...)) (The long-term goal appears to be to remove input labels completely.) Greetings, Maxime. --=-oLFUlLEu6NpacRmGIwlw Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYVGcxxccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7qJ/AP9C6FvXsbNtvjIyGQ6tdEypzcbL S8xT2wPhCl4bEDkxLwEA5a5oQ2Puffd9KuH4mZAW5rMWMwafTJ0jnmev32rgzw8= =19Xd -----END PGP SIGNATURE----- --=-oLFUlLEu6NpacRmGIwlw-- From debbugs-submit-bounces@debbugs.gnu.org Mon Nov 15 08:42:53 2021 Received: (at 50836-done) by debbugs.gnu.org; 15 Nov 2021 13:42:54 +0000 Received: from localhost ([127.0.0.1]:53029 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mmcG5-0008SA-Mf for submit@debbugs.gnu.org; Mon, 15 Nov 2021 08:42:53 -0500 Received: from eggs.gnu.org ([209.51.188.92]:34550) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mmcG4-0008Rx-2c for 50836-done@debbugs.gnu.org; Mon, 15 Nov 2021 08:42:52 -0500 Received: from [2001:470:142:3::e] (port=35012 helo=fencepost.gnu.org) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mmcFy-0005AR-R0; Mon, 15 Nov 2021 08:42:46 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=Fq0mSGv7lNqZOazezBStDO/nHwqhl1qXY9M1WD/ibTg=; b=rMrvSrOdahimSHwAvPW3 9i8lnolT7UPjC1nUGcHDh/lscwdXl/hYFfFyT3jYA2rciFmWwEUMn99GcVSryg6Gwx/5theOkqh7P LkuL2+SL9YMRwV41JdU7mfOuAU7KxpS0s5BUb/ISXj8D8h4qnDtTbOJstkazUx3Csw0HxXJJNCLk2 q484ndDgnNXsoSz9cgx4YRvzhTa+Sp7LW6KIEfmp0jld2k+DxD606y/3B+8xFhbyr5VoVbZz89dTY U2/7NzLndEwAZVhJOfoxNCtTtYN8ezaqhm/Z5wKdp7V0I8oXSnBfhMZ84B8sALMBmJednpmNTgLVE lXnnHObYygJJQQ==; Received: from [193.50.110.110] (port=57560 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mmcFy-0007Mc-JI; Mon, 15 Nov 2021 08:42:46 -0500 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Ryan Prior Subject: Re: bug#50836: [PATCH 0/5] Python logic programming packages References: <20210927021752.30671-1-rprior@protonmail.com> Date: Mon, 15 Nov 2021 14:42:39 +0100 In-Reply-To: <20210927021752.30671-1-rprior@protonmail.com> (Ryan Prior's message of "Mon, 27 Sep 2021 02:17:56 +0000") Message-ID: <87a6i55ycw.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 50836-done Cc: 50836-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hi, Ryan Prior skribis: > gnu: Add python-multipledispatch. > gnu: Add python-logical-unification. > gnu: Add python-cons. > gnu: Add python-etuples. > gnu: Add python-minikanren. I adjusted input labels as Maxime suggested, addressed minor issues reported by =E2=80=98guix lint=E2=80=99, and committed the whole thing. I didn=E2=80=99t know miniKanren (and =E2=80=98cons=E2=80=99 :-)) had been = ported to Python, sweet! Thanks, Ludo=E2=80=99. From unknown Sun Jun 15 08:48:46 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 14 Dec 2021 12:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator