From unknown Tue Sep 09 01:17:00 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#59396 <59396@debbugs.gnu.org> To: bug#59396 <59396@debbugs.gnu.org> Subject: Status: [PATCH] gnu: Add cl-simplified-types. Reply-To: bug#59396 <59396@debbugs.gnu.org> Date: Tue, 09 Sep 2025 08:17:00 +0000 retitle 59396 [PATCH] gnu: Add cl-simplified-types. reassign 59396 guix-patches submitter 59396 "Paul A. Patience" severity 59396 normal tag 59396 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Sat Nov 19 21:15:14 2022 Received: (at submit) by debbugs.gnu.org; 20 Nov 2022 02:15:14 +0000 Received: from localhost ([127.0.0.1]:41912 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1owZrV-0001s8-Vt for submit@debbugs.gnu.org; Sat, 19 Nov 2022 21:15:14 -0500 Received: from lists.gnu.org ([209.51.188.17]:55548) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1owZrT-0001ry-FI for submit@debbugs.gnu.org; Sat, 19 Nov 2022 21:15:12 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1owZrT-0001Yf-5L for guix-patches@gnu.org; Sat, 19 Nov 2022 21:15:11 -0500 Received: from mail-4317.proton.ch ([185.70.43.17]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1owZrK-0004lR-KW for guix-patches@gnu.org; Sat, 19 Nov 2022 21:15:06 -0500 Date: Sun, 20 Nov 2022 02:14:55 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=apatience.com; s=protonmail3; t=1668910499; x=1669169699; bh=bQNk/PAMeJGYogv3Y27ksD25hY0MtpSlWEPHR0xyZEI=; h=Date:To:From:Cc:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector; b=Gl000DgTBX9okLb2Yc/JRpQSdsFBh8Uk2ThLeFXmcEzYFUNVPigJWGT6pW2Dj323l iTrnDIx8rkXLTHdXNMePrNbK5jrPz/wgUBHVDxy7oneLYw7T9BUYGA0/D7hfBVY1zY ZkVtnPC6AheWUJ02a/SRpBvZ84S3SvdI95k8WlCdiHhsQ3pcfn/ObkhtF9Y2/UbVL+ 3GkCyxSNsIuvcamdDfaYLdDlqvtFSi+nLDD6PXBsoAlhXneu93tnwBg/BMn6BbpQB+ xqY5rg3ApgDwTwnDS5Z8Be9vZ4UR9TPRamTvGRJnJ+KtujJ8kPaNqv4DzFwsIjZy5e sDKAAlyTwPFVA== To: guix-patches@gnu.org From: "Paul A. Patience" Subject: [PATCH] gnu: Add cl-simplified-types. Message-ID: <20221120021446.14572-1-paul@apatience.com> Feedback-ID: 19227857:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=185.70.43.17; envelope-from=paul@apatience.com; helo=mail-4317.proton.ch 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, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit Cc: "Paul A. Patience" 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: -2.3 (--) * gnu/packages/lisp-xyz.scm (sbcl-simplified-types, cl-simplified-types, ecl-simplified-types): New variables. --- gnu/packages/lisp-xyz.scm | 40 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) diff --git a/gnu/packages/lisp-xyz.scm b/gnu/packages/lisp-xyz.scm index 59cffce248..f4a4aad1e2 100644 --- a/gnu/packages/lisp-xyz.scm +++ b/gnu/packages/lisp-xyz.scm @@ -6972,6 +6972,46 @@ (define-public ecl-type-i ;; The tests get stuck indefinitly '(#:tests? #f)))) +(define-public sbcl-simplified-types + (let ((commit "8fd0727a70a9de76289ac62c1567b8d278e7434e") + (revision "0")) + (package + (name "sbcl-simplified-types") + (version (git-version "0.0.0" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/marcoheisig/simplified-types") + (commit commit))) + (file-name (git-file-name "cl-simplified-types" version)) + (sha256 + (base32 "1hdwmn5lz717aj6qdqmfmr3cbjl8l3giwn0fb5ca9pj83cx7fg8y"))= )) + (build-system asdf-build-system/sbcl) + (inputs + (list sbcl-alexandria + sbcl-introspect-environment + sbcl-trivia)) + (home-page "https://github.com/marcoheisig/simplified-types") + (synopsis "Simplify Common Lisp type specifiers") + (description + "Simplified-Types is a library that provides functions for simplify= ing +Common Lisp type specifiers. The API consists of two functions: + +@itemize +@item @code{simplify-type} takes a type specifier and, optionally, an +environment, and returns the corresponding simplified type. +@item @code{simplified-type-of} takes an object and returns the simplified +type of that object. +@end itemize") + (license license:expat)))) + +(define-public cl-simplified-types + (sbcl-package->cl-source-package sbcl-simplified-types)) + +(define-public ecl-simplified-types + (sbcl-package->ecl-package sbcl-simplified-types)) + (define-public sbcl-typo (let ((commit "0e883490f81edf2a1be4e5b101d1caec78d7853b") (revision "0")) -- 2.38.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Nov 20 08:48:54 2022 Received: (at 59396-done) by debbugs.gnu.org; 20 Nov 2022 13:48:54 +0000 Received: from localhost ([127.0.0.1]:42674 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1owkgn-00051n-OZ for submit@debbugs.gnu.org; Sun, 20 Nov 2022 08:48:53 -0500 Received: from mout02.posteo.de ([185.67.36.66]:38191) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1owkgk-00051L-Nj for 59396-done@debbugs.gnu.org; Sun, 20 Nov 2022 08:48:51 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id 35E6A240101 for <59396-done@debbugs.gnu.org>; Sun, 20 Nov 2022 14:48:45 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1668952125; bh=Bd8JSDpBjsyyqHgPOXL1TAEXhvtbT2h7AGp6GAor0uo=; h=From:To:Cc:Subject:Date:From; b=PZcD1wzz6rOl0+Qu2Pg7j2dmtzMS5UEYsvwSnuMOYuyJBuTIUaRJVLD7OYFvMMkZo b0B5s8c2cZfv8ZuZkp+WMgTi7OCyKDjdoekt5wK5aTYCh8lMKyW8LILE6AxhuxU/KV supcPwDyQ1AjcDd3yqPKikZOH+L9GCwa6T63CYEO8puSBNI472Q6sofAnSkuZaXbLg lWU+M5YFrzhdlzZuNDxjv2RBhdaGlYFGFWj5ca1UQvqUylh28C9ZYVxPD/faY+uk38 LRRXXut48coNrpMe8JABodohc7s2SpFOBxzWdkoWF3Rx1GChDgADUDvNRh0ha4EFVb icLFhoBKGyN1Q== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4NFX182V6Fz9rxX; Sun, 20 Nov 2022 14:48:44 +0100 (CET) References: <20221120021446.14572-1-paul@apatience.com> From: Guillaume Le Vaillant To: "Paul A. Patience" Subject: Re: [bug#59396] [PATCH] gnu: Add cl-simplified-types. Date: Sun, 20 Nov 2022 13:48:20 +0000 In-reply-to: <20221120021446.14572-1-paul@apatience.com> Message-ID: <874jutybwk.fsf@kitej> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 59396-done Cc: 59396-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: -1.0 (-) --=-=-= Content-Type: text/plain Patch pushed as c8f406056fb0f371e8cc15d92938528d9948e767. Thanks. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIUEAREKAC0WIQTLxZxm7Ce5cXlAaz5r6CCK3yH+PwUCY3owOw8cZ2x2QHBvc3Rl by5uZXQACgkQa+ggit8h/j/OaAEAoH/a3OkcWuWGX1hJks3MTrV6I9ugf5gG1CzG e7MVGNwA/1N/jYgKYxDXS9Agpcw+L31pJgHee+0NP6B7DDudG2o+ =x4Dh -----END PGP SIGNATURE----- --=-=-=-- From unknown Tue Sep 09 01:17:00 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 19 Dec 2022 12:24:15 +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