From patchwork Tue Feb 11 10:25:03 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Konrad Hinsen X-Patchwork-Id: 20217 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 1EFE117BBA; Tue, 11 Feb 2020 17:51:17 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, FREEMAIL_FROM,MAILING_LIST_MULTI,TVD_SPACE_RATIO,T_DKIM_INVALID, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id A1A7417BB9 for ; Tue, 11 Feb 2020 17:51:16 +0000 (GMT) Received: from localhost ([::1]:54646 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j1Zgq-0007ir-09 for patchwork@mira.cbaines.net; Tue, 11 Feb 2020 12:51:16 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:44365) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j1Zgd-0007eS-H3 for guix-patches@gnu.org; Tue, 11 Feb 2020 12:51:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1j1Zgc-0008UK-7E for guix-patches@gnu.org; Tue, 11 Feb 2020 12:51:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:51500) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1j1Zgc-0008Th-2w for guix-patches@gnu.org; Tue, 11 Feb 2020 12:51:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1j1Zgc-0008NK-0q for guix-patches@gnu.org; Tue, 11 Feb 2020 12:51:02 -0500 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 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 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * 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))