From unknown Sun Jun 22 17:13:56 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#39565] [PATCH] gnu: Add cl-trivialib-type-unify. Resent-From: Konrad Hinsen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 11 Feb 2020 17:51:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 39565 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 39565@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.158144340932114 (code B ref -1); Tue, 11 Feb 2020 17:51:01 +0000 Received: (at submit) by debbugs.gnu.org; 11 Feb 2020 17:50:09 +0000 Received: from localhost ([127.0.0.1]:57468 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j1Zfl-0008Lu-If for submit@debbugs.gnu.org; Tue, 11 Feb 2020 12:50:09 -0500 Received: from lists.gnu.org ([209.51.188.17]:47670) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j1Zfk-0008Ll-Cf for submit@debbugs.gnu.org; Tue, 11 Feb 2020 12:50:08 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:42644) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j1Zfi-0006jn-UP for guix-patches@gnu.org; Tue, 11 Feb 2020 12:50:08 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: ** X-Spam-Status: No, score=2.8 required=5.0 tests=BAYES_20,DATE_IN_PAST_06_12, FREEMAIL_FROM,RCVD_IN_DNSWL_LOW,SPOOFED_FREEMAIL,TVD_SPACE_RATIO, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1j1Zfh-0006sX-Oe for guix-patches@gnu.org; Tue, 11 Feb 2020 12:50:06 -0500 Received: from wout4-smtp.messagingengine.com ([64.147.123.20]:54809) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1j1Zfh-0006ps-9h for guix-patches@gnu.org; Tue, 11 Feb 2020 12:50:05 -0500 Received: from compute7.internal (compute7.nyi.internal [10.202.2.47]) by mailout.west.internal (Postfix) with ESMTP id D47C436D; Tue, 11 Feb 2020 12:50:03 -0500 (EST) Received: from mailfrontend2 ([10.202.2.163]) by compute7.internal (MEProxy); Tue, 11 Feb 2020 12:50:04 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fastmail.net; h= from:to:subject:date:message-id:mime-version:content-type; s= fm2; bh=zK6r36iPW8vmrKiGTC1J9Q9BmhXGG8aa7vxduuD2OmU=; b=NMAB3p25 w6pDvpD14OADcHWLt/kuLd6fmDoMMcjwaaNR+rc3bbxw8vRDDJlBeTQuNqJeVVFl trEIG4MAbNEnjQH4brFxkHhcefwfeIcvENFr4ewdBNGYkwFDwwEpptrNCX7ybeao 9Skvzc9SOK12wYOy2Md++U2qjzHWDcCHVfH4Wk/2gd1X9RcdHeAXiVsZ62Ff4GIC zYCHDkLkk04TgUxoNNFvTF2s9z32FfQscOgdfV/sUqQKr8Q5HE88pZe/rzooNOlG UYscqML789LMQWg30HiaIXaKafwMV8z5PibxmB49O9Nft8xQfvyg92P5A2HqplMt gGQ8GfC+U+qIwQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:message-id :mime-version:subject:to:x-me-proxy:x-me-proxy:x-me-sender :x-me-sender:x-sasl-enc; s=fm2; bh=zK6r36iPW8vmrKiGTC1J9Q9BmhXGG 8aa7vxduuD2OmU=; b=TmmVUsZpgsJFKmfOvCY9OWGRplUtClkk3Nt7iuWTnlb9c bl0wnHvoOkRSQWnNePzoApzr6z3KM/rNxR8u8NNFAjP2eBJF2G+zhmAirr4Ajlbi fxLKD+bQRbm5wGVi0itDWIth+D6LJUuQlivVnh/jQ3SpkYd/vh1e1wFdapLf7I+c JFhQxxYLFzp/xlBCOX45Z/uhnlMZjVq1WzTldsioOXn7V0n9XMcyAhpwSLGeZZKU 6E+4UvIgbAG6uLl/lRpvgAea1+DKMchXPnKEVW2q2PtQLhB9JDDVWqHapxix5fYz KiHraTeGLvWN58V2PyBDodFZtCiA7Fs+8lubCixvA== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedugedrieefgdelkecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecunecujfgurhephffvufffkfggtgesthdtredttddttd enucfhrhhomhepmfhonhhrrgguucfjihhnshgvnhcuoehkohhnrhgrugdrhhhinhhsvghn sehfrghsthhmrghilhdrnhgvtheqnecuffhomhgrihhnpehgihhthhhusgdrtghomhenuc fkphepkeeirddvgeejrdduieegrddvgeehnecuvehluhhsthgvrhfuihiivgeptdenucfr rghrrghmpehmrghilhhfrhhomhepkhhonhhrrggurdhhihhnshgvnhesfhgrshhtmhgrih hlrdhnvght X-ME-Proxy: Received: from khs-macbook.home (lfbn-idf2-1-714-245.w86-247.abo.wanadoo.fr [86.247.164.245]) by mail.messagingengine.com (Postfix) with ESMTPA id 4BFF23060840; Tue, 11 Feb 2020 12:50:02 -0500 (EST) From: Konrad Hinsen Date: Tue, 11 Feb 2020 11:25:03 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 64.147.123.20 X-Spam-Score: 4.6 (++++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/lisp-xyz.scm (sbcl-trivialib-type-unify, cl-trivialib-type-unify): New variables. --- gnu/packages/lisp-xyz.scm | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertion [...] Content analysis details: (4.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 URIBL_BLOCKED ADMINISTRATOR NOTICE: The query to URIBL was blocked. See http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block for more information. [URIs: fastmail.net] 0.7 SPF_NEUTRAL SPF: sender does not match SPF record (neutral) 1.1 DATE_IN_PAST_06_12 Date: is 6 to 12 hours before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (konrad.hinsen[at]fastmail.net) -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at https://www.dnswl.org/, low trust [209.51.188.17 listed in list.dnswl.org] 0.0 TVD_SPACE_RATIO No description available. 2.0 SPOOFED_FREEMAIL No description available. 1.5 TVD_SPACE_RATIO_MINFP Space ratio 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: 0.1 (/) * gnu/packages/lisp-xyz.scm (sbcl-trivialib-type-unify, cl-trivialib-type-unify): New variables. --- gnu/packages/lisp-xyz.scm | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) diff --git a/gnu/packages/lisp-xyz.scm b/gnu/packages/lisp-xyz.scm index 2a17bfb0f2..2a17496ecc 100644 --- a/gnu/packages/lisp-xyz.scm +++ b/gnu/packages/lisp-xyz.scm @@ -10384,3 +10384,42 @@ the elements in compound type specifier, e.g. @code{dimensions} in (define-public cl-type-r (sbcl-package->cl-source-package sbcl-type-r)) + +(define-public sbcl-trivialib-type-unify + (let ((commit "62492ebf04db567dcf435ae84c50b7b8202ecf99") + (revision "1")) + (package + (name "sbcl-trivialib-type-unify") + (version "0.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/guicho271828/trivialib.type-unify.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1bkyfzbwv75p50zp8n1n9rh2r29pw3vgz91gmn2gzzkyq3khj1vh")))) + (build-system asdf-build-system/sbcl) + (synopsis "Common Lisp type unification") + (description + "Unifies a parametrized type specifier against an actual type specifier. +Importantly, it handles complicated array-subtypes and number-related types +correctly.") + (home-page "https://github.com/guicho271828/trivialib.type-unify") + (license license:lgpl3+) + (inputs + `(("alexandria" ,sbcl-alexandria) + ("trivia" ,sbcl-trivia) + ("introspect-environment" ,sbcl-introspect-environment) + ("type-r" ,sbcl-type-r))) + (native-inputs + `(("fiveam" ,sbcl-fiveam))) + (arguments + `(#:asd-system-name "trivialib.type-unify" + #:asd-file "trivialib.type-unify.asd" + #:test-asd-file "trivialib.type-unify.test.asd"))))) + +(define-public cl-trivialib-type-unify + (sbcl-package->cl-source-package sbcl-trivialib-type-unify)) -- 2.25.0 From unknown Sun Jun 22 17:13:56 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Konrad Hinsen Subject: bug#39565: closed (Re: [bug#39565] [PATCH] gnu: Add cl-trivialib-type-unify.) Message-ID: References: <87o8u42myv.fsf@yamatai> X-Gnu-PR-Message: they-closed 39565 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 39565@debbugs.gnu.org Date: Wed, 12 Feb 2020 09:08:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1581498482-1267-1" This is a multi-part message in MIME format... ------------=_1581498482-1267-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #39565: [PATCH] gnu: Add cl-trivialib-type-unify. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 39565@debbugs.gnu.org. --=20 39565: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D39565 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1581498482-1267-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 39565-done) by debbugs.gnu.org; 12 Feb 2020 09:07:15 +0000 Received: from localhost ([127.0.0.1]:57812 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j1nzG-0000JR-U0 for submit@debbugs.gnu.org; Wed, 12 Feb 2020 04:07:15 -0500 Received: from mout02.posteo.de ([185.67.36.66]:38153) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j1nzF-0000J9-Cv for 39565-done@debbugs.gnu.org; Wed, 12 Feb 2020 04:07:14 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id D167A240102 for <39565-done@debbugs.gnu.org>; Wed, 12 Feb 2020 10:07:06 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1581498426; bh=KYKT0g/MZsDL/uDIYahDMktKAfWIuIXUJscyGzZxnlw=; h=From:To:Cc:Subject:Date:From; b=cJPLC8wqj2KglIpJHKXVQRF+OvJcVJI3Hr6ALkPVubTD3XcN1U21pAKuRH7avwCxC pkNqRFC3IVoO3sYK+sy5NJneUrPWigiQ+5/6dvmgB4W8svs1GJHWbpn0FmisZ5/5pp TGpbxHwZhFCfRuJojZ6DEzhBNEp1cGI1PCc78GebFlukLupbg02MeorV1nvHgJByhR 40TqZTq+iqgDnIKGtvGsnBhs2+2Lvm3YVh8ZhzeDGqIL9eP18106159ePeC54Ta0O1 3oQm9W0AW6C0R+6P8PqnpShtrvwsR8CQdgb7gb1g28Pbdojctmqr9nmWn3V8i5BT/+ jRFb+K/lEI6tQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 48HYgF5F3hz9rxP; Wed, 12 Feb 2020 10:07:05 +0100 (CET) References: User-agent: mu4e 1.2.0; emacs 26.3 From: Guillaume Le Vaillant To: 39565-done@debbugs.gnu.org Subject: Re: [bug#39565] [PATCH] gnu: Add cl-trivialib-type-unify. In-reply-to: Date: Wed, 12 Feb 2020 10:07:04 +0100 Message-ID: <87o8u42myv.fsf@yamatai> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 39565-done Cc: Konrad Hinsen 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 (---) --=-=-= Content-Type: text/plain Pushed as 8926866ef7c2b0204a9fe7072e927186b87e8d66. Thanks. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQQkUwKxurH4Z/3KlryPP4Yfgut6mgUCXkPAOAAKCRCPP4Yfgut6 ml9iAP9k+P4tOFnMswJ3m//BtyGLhaLZKTSpNHkNApz9qrSsBQEAu4SaLB3p4KuF vIMFRnuw54vpFYHdfIdTzFHuFKfzigM= =P7yh -----END PGP SIGNATURE----- --=-=-=-- ------------=_1581498482-1267-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 11 Feb 2020 17:50:09 +0000 Received: from localhost ([127.0.0.1]:57468 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j1Zfl-0008Lu-If for submit@debbugs.gnu.org; Tue, 11 Feb 2020 12:50:09 -0500 Received: from lists.gnu.org ([209.51.188.17]:47670) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j1Zfk-0008Ll-Cf for submit@debbugs.gnu.org; Tue, 11 Feb 2020 12:50:08 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:42644) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j1Zfi-0006jn-UP for guix-patches@gnu.org; Tue, 11 Feb 2020 12:50:08 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: ** X-Spam-Status: No, score=2.8 required=5.0 tests=BAYES_20,DATE_IN_PAST_06_12, FREEMAIL_FROM,RCVD_IN_DNSWL_LOW,SPOOFED_FREEMAIL,TVD_SPACE_RATIO, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1j1Zfh-0006sX-Oe for guix-patches@gnu.org; Tue, 11 Feb 2020 12:50:06 -0500 Received: from wout4-smtp.messagingengine.com ([64.147.123.20]:54809) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1j1Zfh-0006ps-9h for guix-patches@gnu.org; Tue, 11 Feb 2020 12:50:05 -0500 Received: from compute7.internal (compute7.nyi.internal [10.202.2.47]) by mailout.west.internal (Postfix) with ESMTP id D47C436D; Tue, 11 Feb 2020 12:50:03 -0500 (EST) Received: from mailfrontend2 ([10.202.2.163]) by compute7.internal (MEProxy); Tue, 11 Feb 2020 12:50:04 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fastmail.net; h= from:to:subject:date:message-id:mime-version:content-type; s= fm2; bh=zK6r36iPW8vmrKiGTC1J9Q9BmhXGG8aa7vxduuD2OmU=; b=NMAB3p25 w6pDvpD14OADcHWLt/kuLd6fmDoMMcjwaaNR+rc3bbxw8vRDDJlBeTQuNqJeVVFl trEIG4MAbNEnjQH4brFxkHhcefwfeIcvENFr4ewdBNGYkwFDwwEpptrNCX7ybeao 9Skvzc9SOK12wYOy2Md++U2qjzHWDcCHVfH4Wk/2gd1X9RcdHeAXiVsZ62Ff4GIC zYCHDkLkk04TgUxoNNFvTF2s9z32FfQscOgdfV/sUqQKr8Q5HE88pZe/rzooNOlG UYscqML789LMQWg30HiaIXaKafwMV8z5PibxmB49O9Nft8xQfvyg92P5A2HqplMt gGQ8GfC+U+qIwQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:message-id :mime-version:subject:to:x-me-proxy:x-me-proxy:x-me-sender :x-me-sender:x-sasl-enc; s=fm2; bh=zK6r36iPW8vmrKiGTC1J9Q9BmhXGG 8aa7vxduuD2OmU=; b=TmmVUsZpgsJFKmfOvCY9OWGRplUtClkk3Nt7iuWTnlb9c bl0wnHvoOkRSQWnNePzoApzr6z3KM/rNxR8u8NNFAjP2eBJF2G+zhmAirr4Ajlbi fxLKD+bQRbm5wGVi0itDWIth+D6LJUuQlivVnh/jQ3SpkYd/vh1e1wFdapLf7I+c JFhQxxYLFzp/xlBCOX45Z/uhnlMZjVq1WzTldsioOXn7V0n9XMcyAhpwSLGeZZKU 6E+4UvIgbAG6uLl/lRpvgAea1+DKMchXPnKEVW2q2PtQLhB9JDDVWqHapxix5fYz KiHraTeGLvWN58V2PyBDodFZtCiA7Fs+8lubCixvA== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedugedrieefgdelkecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecunecujfgurhephffvufffkfggtgesthdtredttddttd enucfhrhhomhepmfhonhhrrgguucfjihhnshgvnhcuoehkohhnrhgrugdrhhhinhhsvghn sehfrghsthhmrghilhdrnhgvtheqnecuffhomhgrihhnpehgihhthhhusgdrtghomhenuc fkphepkeeirddvgeejrdduieegrddvgeehnecuvehluhhsthgvrhfuihiivgeptdenucfr rghrrghmpehmrghilhhfrhhomhepkhhonhhrrggurdhhihhnshgvnhesfhgrshhtmhgrih hlrdhnvght X-ME-Proxy: Received: from khs-macbook.home (lfbn-idf2-1-714-245.w86-247.abo.wanadoo.fr [86.247.164.245]) by mail.messagingengine.com (Postfix) with ESMTPA id 4BFF23060840; Tue, 11 Feb 2020 12:50:02 -0500 (EST) From: Konrad Hinsen To: guix-patches@gnu.org Subject: [PATCH] gnu: Add cl-trivialib-type-unify. Date: Tue, 11 Feb 2020 11:25:03 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 64.147.123.20 X-Spam-Score: 4.6 (++++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/lisp-xyz.scm (sbcl-trivialib-type-unify, cl-trivialib-type-unify): New variables. --- gnu/packages/lisp-xyz.scm | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertion [...] Content analysis details: (4.6 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 URIBL_BLOCKED ADMINISTRATOR NOTICE: The query to URIBL was blocked. See http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block for more information. [URIs: fastmail.net] 0.7 SPF_NEUTRAL SPF: sender does not match SPF record (neutral) 1.1 DATE_IN_PAST_06_12 Date: is 6 to 12 hours before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (konrad.hinsen[at]fastmail.net) -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at https://www.dnswl.org/, low trust [209.51.188.17 listed in list.dnswl.org] 0.0 TVD_SPACE_RATIO No description available. 2.0 SPOOFED_FREEMAIL No description available. 1.5 TVD_SPACE_RATIO_MINFP Space ratio 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: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.1 (/) * gnu/packages/lisp-xyz.scm (sbcl-trivialib-type-unify, cl-trivialib-type-unify): New variables. --- gnu/packages/lisp-xyz.scm | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) diff --git a/gnu/packages/lisp-xyz.scm b/gnu/packages/lisp-xyz.scm index 2a17bfb0f2..2a17496ecc 100644 --- a/gnu/packages/lisp-xyz.scm +++ b/gnu/packages/lisp-xyz.scm @@ -10384,3 +10384,42 @@ the elements in compound type specifier, e.g. @code{dimensions} in (define-public cl-type-r (sbcl-package->cl-source-package sbcl-type-r)) + +(define-public sbcl-trivialib-type-unify + (let ((commit "62492ebf04db567dcf435ae84c50b7b8202ecf99") + (revision "1")) + (package + (name "sbcl-trivialib-type-unify") + (version "0.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/guicho271828/trivialib.type-unify.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1bkyfzbwv75p50zp8n1n9rh2r29pw3vgz91gmn2gzzkyq3khj1vh")))) + (build-system asdf-build-system/sbcl) + (synopsis "Common Lisp type unification") + (description + "Unifies a parametrized type specifier against an actual type specifier. +Importantly, it handles complicated array-subtypes and number-related types +correctly.") + (home-page "https://github.com/guicho271828/trivialib.type-unify") + (license license:lgpl3+) + (inputs + `(("alexandria" ,sbcl-alexandria) + ("trivia" ,sbcl-trivia) + ("introspect-environment" ,sbcl-introspect-environment) + ("type-r" ,sbcl-type-r))) + (native-inputs + `(("fiveam" ,sbcl-fiveam))) + (arguments + `(#:asd-system-name "trivialib.type-unify" + #:asd-file "trivialib.type-unify.asd" + #:test-asd-file "trivialib.type-unify.test.asd"))))) + +(define-public cl-trivialib-type-unify + (sbcl-package->cl-source-package sbcl-trivialib-type-unify)) -- 2.25.0 ------------=_1581498482-1267-1--