From unknown Sun Jun 22 08:07:20 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#69126] [PATCH 0/2] gnu: Add type-safe. Resent-From: "Paul A. Patience" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 14 Feb 2024 15:35:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 69126 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69126@debbugs.gnu.org Cc: "Paul A. Patience" X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.170792486612632 (code B ref -1); Wed, 14 Feb 2024 15:35:02 +0000 Received: (at submit) by debbugs.gnu.org; 14 Feb 2024 15:34:26 +0000 Received: from localhost ([127.0.0.1]:52804 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1raHHG-0003Hg-0S for submit@debbugs.gnu.org; Wed, 14 Feb 2024 10:34:26 -0500 Received: from lists.gnu.org ([209.51.188.17]:56068) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1raHHD-0003HX-Hs for submit@debbugs.gnu.org; Wed, 14 Feb 2024 10:34:24 -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 1raHGu-0004pG-Kl for guix-patches@gnu.org; Wed, 14 Feb 2024 10:34:04 -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 1raHGr-0004GP-Fb for guix-patches@gnu.org; Wed, 14 Feb 2024 10:34:04 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=apatience.com; s=protonmail2; t=1707924837; x=1708184037; bh=PcUcHD1MRvDYWmTGKd3rkVEs7MlalaSKV2hua1snyZw=; h=Date:To:From:Cc:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector; b=Yv0kWNWF8jC2lqh7IwBXse7gDlfUCBWOrahuTw6hxuHoK0N4t1bA3w4jFFOvDnZW5 7FLEtb1XcmqrUxM4M8oQMyCJM9nMPF6XxWught6lCxgZ0q5lv0Lf29kVpKVKmz//i/ wCniQ1ccPjOXz6S+EiXeb1dAvlR0jJWHMyp0JmeU+SkycJeQ0VSoyuOZZgltge9goI n9Bm3EdLigt7q0dr5drWLeEmavTZoNvJF65XBeIX8kkPnWIsWqGvecfHzrFIVHwtKV tysWqo60tql9vRKVzW1J5szFdLsowlXCNhfHHV3Y4ujGd5kKnNBJigA1YRdULNJu6D QjY3bhY+UVPXw== Date: Wed, 14 Feb 2024 15:33:36 +0000 From: "Paul A. Patience" Message-ID: 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_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -3.5 (---) 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: -4.5 (----) Paul A. Patience (2): gnu: Add debug-assert. gnu: Add type-safe. gnu/packages/cpp.scm | 81 +++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 80 insertions(+), 1 deletion(-) base-commit: 570ef13a87bb54d3410c431700ba78316a2641e2 --=20 2.41.0 From unknown Sun Jun 22 08:07:20 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#69126] [PATCH 1/2] gnu: Add debug-assert. Resent-From: "Paul A. Patience" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 14 Feb 2024 15:37:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69126 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69126@debbugs.gnu.org Cc: "Paul A. Patience" Received: via spool by 69126-submit@debbugs.gnu.org id=B69126.170792500812908 (code B ref 69126); Wed, 14 Feb 2024 15:37:02 +0000 Received: (at 69126) by debbugs.gnu.org; 14 Feb 2024 15:36:48 +0000 Received: from localhost ([127.0.0.1]:52818 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1raHJX-0003M7-Oo for submit@debbugs.gnu.org; Wed, 14 Feb 2024 10:36:48 -0500 Received: from mail-4323.proton.ch ([185.70.43.23]:50919) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1raHJV-0003Lt-2j for 69126@debbugs.gnu.org; Wed, 14 Feb 2024 10:36:46 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=apatience.com; s=protonmail2; t=1707924980; x=1708184180; bh=+/fvejRtlnpThsbW+RH0UD564o9BAb8gSeVfKxOCwN8=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=U4ok/w5y7dLkYL1Rt/mjsBd4CFuWUzj+TUti+y/HOoCds5wafCNTgYWV5PwtJIl3t jLnKlrC4rRjgTzGhwu5l8GiVAHTHUpiMdcJBPJp9Kx+u+UJiodWTIjg3vQ1GqACoCf MC6AMKW6xlRL0KKrk50Bk9v+hvCZM31YpSRT4iAfuDMso3aKxF1PkHZn620TMvKg2J U+vlbwiMRtCJn8GEP8dHy40d/++xe6KBdM9MzUKSdOJIaW1+iMdf+8nigmP5TQFyuS f9YDTHDqSfJcEV36JFqrtEM4nV8mKxCyh6RjwxEp6hzHy7HHzHp7BaC5XIz+o6MvCx Nxsa9ytfLQFOw== Date: Wed, 14 Feb 2024 15:36:15 +0000 From: "Paul A. Patience" Message-ID: <0191a95edf076b5cd24326d49e54ce13f2bdb0d4.1707924715.git.paul@apatience.com> In-Reply-To: References: Feedback-ID: 19227857:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -1.9 (-) 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.9 (--) * gnu/packages/cpp.scm (debug-assert): New variable. Change-Id: I4cee49ea2f5b761ab72bb7b063c2ea8fd99b991c --- gnu/packages/cpp.scm | 28 +++++++++++++++++++++++++++- 1 file changed, 27 insertions(+), 1 deletion(-) diff --git a/gnu/packages/cpp.scm b/gnu/packages/cpp.scm index 62a1923571..2456de5002 100644 --- a/gnu/packages/cpp.scm +++ b/gnu/packages/cpp.scm @@ -38,7 +38,7 @@ ;;; Copyright =C2=A9 2023 Liliana Marie Prikler ;;; Copyright =C2=A9 2023 Denis 'GNUtoo' Carikli ;;; Copyright =C2=A9 2023 Foundation Devices, Inc. -;;; Copyright =C2=A9 2023 Paul A. Patience +;;; Copyright =C2=A9 2023-2024 Paul A. Patience ;;; ;;; This file is part of GNU Guix. ;;; @@ -3048,3 +3048,29 @@ (define-public tl-optional the std::optional for C++11/14/17, with support for monadic operations add= ed in C++23.") (license license:cc0))) + +(define-public debug-assert + ;; Newer version than last release, which was in 2018, is required for + ;; type_safe. + (let ((commit "d33781479baccf52a28e5c3c5a6da5ac59b09179") + (revision "0")) + (package + (name "debug-assert") + (version (git-version "1.3.3" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/foonathan/debug_assert") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0njbzx767pndpl8hq5falr4c8m0xsr6njh0943xf8xkcqq6splpz"))= )) + (build-system cmake-build-system) + (arguments (list #:tests? #f)) ; no tests + (home-page "https://github.com/foonathan/debug_assert") + (synopsis "Assertion macro for C++") + (description "debug_assert is a C++11 header-only library which prov= ides the +@code{DEBUG_ASSERT()} macro, which among other features can be selectively +enabled in different parts of your code.") + (license license:zlib)))) --=20 2.41.0 From unknown Sun Jun 22 08:07:20 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#69126] [PATCH 2/2] gnu: Add type-safe. Resent-From: "Paul A. Patience" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 14 Feb 2024 15:37:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69126 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69126@debbugs.gnu.org Cc: "Paul A. Patience" Received: via spool by 69126-submit@debbugs.gnu.org id=B69126.170792502112940 (code B ref 69126); Wed, 14 Feb 2024 15:37:02 +0000 Received: (at 69126) by debbugs.gnu.org; 14 Feb 2024 15:37:01 +0000 Received: from localhost ([127.0.0.1]:52822 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1raHJl-0003MY-68 for submit@debbugs.gnu.org; Wed, 14 Feb 2024 10:37:01 -0500 Received: from mail-4022.proton.ch ([185.70.40.22]:33573) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1raHJj-0003MK-ME for 69126@debbugs.gnu.org; Wed, 14 Feb 2024 10:37:00 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=apatience.com; s=protonmail2; t=1707924995; x=1708184195; bh=NJPHwNPMh3Y5lzBkhQmBk/NC8RtQvcO/EHqsq1Zn+I8=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=H+/JwC+yzYmcg32PvFqytnRyzhJW6dR5pop7QxTcJUROx4M81aWGXfTnyOC5mCBl5 Ta14zpldRQ9bPAYU5VPxi8E+VmsawSS/uAw8zUhe21Cvgj6IAI4/JcmwE3kshaVXzN bFQU+r32jDBWbZaVI4DLJ7R6fSU7fWd5q7WvOyMTiGF8E9kVGeq23UNOOIa2yugLUS eZcomW07MliSC4lxLbpNuh/JVTKSXLhjGxO+oVSkrWc5fdtMA2ubaZkgZq3jgxYbJC Mza9pT3uKEBLd40I030snfd+KhWIy/rSxIS9sYjgfhSQA27SQFX0GU0Ysuli3Ur/5A 6sxmN6T9j4KaA== Date: Wed, 14 Feb 2024 15:36:20 +0000 From: "Paul A. Patience" Message-ID: In-Reply-To: References: Feedback-ID: 19227857:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -1.9 (-) 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.9 (--) * gnu/packages/cpp.scm (type-safe): New variable. Change-Id: I96a690b41af78e331744daacba1cf5ee77f8257a --- gnu/packages/cpp.scm | 53 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 53 insertions(+) diff --git a/gnu/packages/cpp.scm b/gnu/packages/cpp.scm index 2456de5002..cf0771e470 100644 --- a/gnu/packages/cpp.scm +++ b/gnu/packages/cpp.scm @@ -3074,3 +3074,56 @@ (define-public debug-assert @code{DEBUG_ASSERT()} macro, which among other features can be selectively enabled in different parts of your code.") (license license:zlib)))) + +(define-public type-safe + (package + (name "type-safe") + (version "0.2.3") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/foonathan/type_safe") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0ijd5grkbzfcmkqydka5ncl7ab4rc3307qr0ywwgzqsifr3ks0fd")) + (modules '((guix build utils))) + ;; Remove bundled debug_assert. + ;; Keep external/external.cmake because it enables + ;; TYPE_SAFE_HAS_IMPORTED_TARGETS, required for installing the CMak= e + ;; config files. + (snippet #~(delete-file-recursively "external/debug_assert")))) + (build-system cmake-build-system) + (arguments + (list #:configure-flags + #~(list "-DTYPE_SAFE_BUILD_TEST_EXAMPLE=3DON" + "-DTYPE_SAFE_BUILD_DOC=3DOFF") ; needs standardese + #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'fix-dependencies + (lambda _ + (substitute* "test/CMakeLists.txt" + (("^if\\(NOT EXISTS .*/catch\\.hpp\\)") "if(FALSE)") + (("^(target_include_directories\\(type_safe_test) .*" + all prefix) + (string-append all prefix " PRIVATE \"" + #$(this-package-native-input "catch2"= ) + "/include/catch2\")\n"))))) + (add-after 'install 'fix-cmake-config + (lambda _ + (substitute* (string-append + #$output + "/lib/cmake/type_safe/type_safe-config.cm= ake") + (("^(find_dependency\\(debug_assert)\\)" _ prefix) + (string-append prefix " PATHS \"" + #$(this-package-input "debug-assert") + "/lib/cmake/debug_assert\")")))))))) + (native-inputs (list catch2)) + (inputs (list debug-assert)) + (home-page "https://github.com/foonathan/type_safe") + (synopsis "C++ abstractions for preventing bugs via the type system") + (description "type_safe is a C++ header-only library which provides +abstractions for defining more appropriate types, thus allowing C++'s type +system to prevent more bugs.") + (license license:expat))) --=20 2.41.0 From unknown Sun Jun 22 08:07:20 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#69126] [PATCH 0/2] gnu: Add type-safe. Resent-From: Skyler Ferris Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 14 Feb 2024 21:29:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69126 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: "Paul A. Patience" , 69126@debbugs.gnu.org Received: via spool by 69126-submit@debbugs.gnu.org id=B69126.170794610617452 (code B ref 69126); Wed, 14 Feb 2024 21:29:02 +0000 Received: (at 69126) by debbugs.gnu.org; 14 Feb 2024 21:28:26 +0000 Received: from localhost ([127.0.0.1]:53443 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1raMnp-0004XQ-Kz for submit@debbugs.gnu.org; Wed, 14 Feb 2024 16:28:25 -0500 Received: from mail-40134.protonmail.ch ([185.70.40.134]:24723) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1raMnn-0004XD-VL for 69126@debbugs.gnu.org; Wed, 14 Feb 2024 16:28:24 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail3; t=1707946079; x=1708205279; bh=ruFOYiRQbqe6FrY092dXc3hj0NyZ+kgpIKj/6uP3IG4=; h=Date:To:From:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=q/WPEfo1oGhnrmZlZlekYh6+Y7m5AsPuJlQLrPxOIWIK+SpkSeceKI4dJFj/769wP qXvSawNekRgjG4R/jSE0nFJjautiSwC64Kgm6hI8lFBfQceOPWEHOcLaZXfKLidDjA BDvCBzaWtbj9VJnCWPg18E4y6nSSgyL1MiY6FbZR2y+tWSCuSfke8ri1D0XY66I0To ZKUN3o35YCamHWpQCLq8N6tpyVdeLZjM8CYC7oILKog/Bgz2CjGNFi69iXDjsYySqX 2HDkSoGt3Xjv8O65bGv3k3SAC3Mdlnl5FILjQ9pGolJsxdUBt3Wu0PMhccDuufkNRE t+F/QF/xo8kiA== Date: Wed, 14 Feb 2024 21:27:49 +0000 From: Skyler Ferris Message-ID: <965f1f2d-2112-4d40-b587-14b4f10c563f@protonmail.com> In-Reply-To: References: Feedback-ID: 40635331:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -1.9 (-) 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.9 (--) Hi Paul, I am adding some review notes to this issue. To avoid any potential=20 confusion I want to be clear that I am not a committer, but I am adding=20 these notes in hopes that it will help a committer process these patches=20 more efficiently. Regards, Skyler From unknown Sun Jun 22 08:07:20 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#69126] [PATCH 1/2] gnu: Add debug-assert. Resent-From: Skyler Ferris Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 14 Feb 2024 21:30:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69126 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: "Paul A. Patience" , 69126@debbugs.gnu.org Received: via spool by 69126-submit@debbugs.gnu.org id=B69126.170794619617598 (code B ref 69126); Wed, 14 Feb 2024 21:30:02 +0000 Received: (at 69126) by debbugs.gnu.org; 14 Feb 2024 21:29:56 +0000 Received: from localhost ([127.0.0.1]:53448 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1raMpI-0004Zm-1W for submit@debbugs.gnu.org; Wed, 14 Feb 2024 16:29:56 -0500 Received: from mail-40134.protonmail.ch ([185.70.40.134]:44729) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1raMpF-0004ZY-O1 for 69126@debbugs.gnu.org; Wed, 14 Feb 2024 16:29:54 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail3; t=1707946169; x=1708205369; bh=sKlq2lyyyivDJwieL+dSDBO4bwt2yBcA95oKy5PmzXc=; h=Date:To:From:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=jph0fGGI4z3aKpoJVHT2UcnC/ZEetk0Uvq2wyugMJUlgCgzJk7sRQaYe0WbzEHR4T jtn5v8ladcahI08Dd0Sov21NcLJ1fsM9I2nF0BfhRNah/COk+C+JqYjvK4z4EMuSHf E7cobI1mfs2n8o/59bt2n/WPadHuYBPLOpxP1HWDd/SQK//Q644W7+fNEHfGHOOy8o MdfcdVd0U+MPV6dorGZk3hIE3oZDh9tN4liVFTVBkm5HuKTyQzPKFqRY9VpkNanoCF pmTgcymrEXMbcX6D7y0ClC95Z/qT5awFQ9FVOVfLrZPMaRJEZ3XXnKbGRVuUrDbCyW iJG4JORC5qFRw== Date: Wed, 14 Feb 2024 21:29:05 +0000 From: Skyler Ferris Message-ID: <3bee2280-c098-4c23-9161-6d3c5a487768@protonmail.com> In-Reply-To: <0191a95edf076b5cd24326d49e54ce13f2bdb0d4.1707924715.git.paul@apatience.com> References: <0191a95edf076b5cd24326d49e54ce13f2bdb0d4.1707924715.git.paul@apatience.com> Feedback-ID: 40635331:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -1.9 (-) 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.9 (--) Things needing attention: `guix lint` issues a warning that the beginning of the description=20 starts with a lowercase letter. IMO this is reasonable because the first=20 word is the name of the project, and it is a common convention for=20 project names to remain lowercased (the README in the project follows=20 this convention). However I am not sure how the Guix maintainers=20 consider this. The arguments form is attached to a comment saying that there are no=20 tests, but it looks like the repository does contain a test in the=20 `test_package` directory with a separate CMakelists.txt file. I haven't=20 spent much time with the cmake build system in Guix, would it be=20 reasonable to replace the check phase with a procedure that uses the=20 file in this directory? If not then it might be helpful to replace the=20 comment with one explaining that, while tests exist, it is not feasible=20 to run them for some specific reason. More details: This diff applies cleanly to commit=20 ac470c516e19f194228edf9e348bdbc7fc10f97a. The following paragraph contains notes about the confidence level of=20 source integrity. These notes are provided to indicate that due=20 attention has been given to this matter and to provide transparency into=20 the level of confidence in the source as well as the entities trusted=20 with maintaining integrity. The "optimal" level of confidence is=20 use-case dependent, as is the trustability of any given entity. These=20 notes are provided for transparency to the committer and any other=20 interested parties and should not be interpreted as criticism of the commit= . The commit used in the source form is signed by PGP key=20 5DE3E0509C47EA3CF04A42D34AEE18F83AFDEB23. The key is expired but NOT=20 revoked. It is available on the Ubuntu keyserver=20 (http://keyserver.ubuntu.com/pks/lookup?op=3Dget&search=3D0x5de3e0509c47ea3= cf04a42d34aee18f83afdeb23)=20 with several other signatures, though none that are trusted by my=20 keyring. It is also available on the OpenPGP keyserver=20 (https://keys.openpgp.org/vks/v1/by-fingerprint/5DE3E0509C47EA3CF04A42D34AE= E18F83AFDEB23)=20 but without a UID, meaning the email address was not verified. Note that=20 one of the UIDs listed in the Ubuntu server is "GitHub (web-flow=20 commit)", implying that the GitHub server is ultimately responsible for=20 maintaining integrity. `./pre-inst-env guix build debug-assert` succeeded on my machine, an=20 x86_64 Xen guest. Additionally, the following program (based on the=20 example in the README) successfully compiled and produced the expected=20 output. main.cpp ``` #include struct mymodule : debug_assert::default_handler,=20 debug_assert::set_level(-1)> {}; int main(void) { =C2=A0=C2=A0 =C2=A0DEBUG_ASSERT(1 +1 =3D=3D 3, my_module{}, debug_assert::= level<2>{}); } ``` ``` $ ./pre-inst-env guix shell gcc-toolchain debug-assert -C -- g++=20 -std=3Dc++11 main.cpp $ ./a.out [debug assert] main.cpp:6: Assertion '1 +1 =3D=3D 3' failed. Aborted ``` The LICENSE file provided in the source repository matches the contents=20 I see at https://directory.fsf.org/wiki/License:Zlib. From unknown Sun Jun 22 08:07:20 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#69126] [PATCH 2/2] gnu: Add type-safe. Resent-From: Skyler Ferris Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 14 Feb 2024 21:32:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69126 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: "Paul A. Patience" , 69126@debbugs.gnu.org Received: via spool by 69126-submit@debbugs.gnu.org id=B69126.170794629717880 (code B ref 69126); Wed, 14 Feb 2024 21:32:02 +0000 Received: (at 69126) by debbugs.gnu.org; 14 Feb 2024 21:31:37 +0000 Received: from localhost ([127.0.0.1]:53453 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1raMqu-0004eJ-MI for submit@debbugs.gnu.org; Wed, 14 Feb 2024 16:31:37 -0500 Received: from mail-4322.protonmail.ch ([185.70.43.22]:50719) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1raMqs-0004e4-Va for 69126@debbugs.gnu.org; Wed, 14 Feb 2024 16:31:35 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail3; t=1707946270; x=1708205470; bh=+kGYfODXV6slpFzdno6Y8Qn5zehKAlKxYuDwaVRG6SQ=; h=Date:To:From:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=L+PSb1wANxH+ShecgF34CP081TC30aVhO5IK2SUdgOlFanEcGBpCEiw08JBX2uqf4 0a5QehWZ8+r2W8n3sMX5CssnbPuScLScgmSPVdnEePgdjMcRN3wT3qbXI6diloULkp rRN98tGtVDG5KLG5sCzzJjJdLNLo/8ZkPFumclUJAZg0wuCQ6rn9xAMHdu3hCsVHx6 DIL+xQmNP4xs4PIE1PI591hfvrJHWg18DTUFNla2B1OeXQ0wfkgKA/tStnJ3WhWYbI 6zMyDzXfM8qCMpxUopRdI4Vy503VQu+64JqwRk1PYPpM/G4uaA6YrcBRclGIM9kw86 aLrCsHCkJKxkA== Date: Wed, 14 Feb 2024 21:30:57 +0000 From: Skyler Ferris Message-ID: <3463adf6-964b-4b52-a554-4575e5d8d237@protonmail.com> In-Reply-To: References: Feedback-ID: 40635331:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -1.9 (-) 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.9 (--) Things needing attention: When I tried to compile a file which included `type_safe/integer.hpp`=20 from a container (see below for exact commands & source), I got an error=20 that the debug_assert header could not be found. I resolved this by=20 changing the debug-assert package from a normal input into a propagated=20 input, but there could be other ways to solve this. main.cpp ``` #include int main(void) { =C2=A0=C2=A0 =C2=A0type_safe::integer tsi(1); =C2=A0=C2=A0 =C2=A0return tsi.get(); } ``` ``` $ ./pre-inst-env guix shell gcc-toolchain type-safe -C -- g++ -std=3Dc++11= =20 main.cpp ``` More details: This diff applies cleanly to commit=20 ac470c516e19f194228edf9e348bdbc7fc10f97a, after applying the previous=20 commit in this series. As with the review on the previous patch, notes about confidence in=20 source integrity are provided as an indication of attention and to=20 provide transparency. The commit tagged v0.2.3 does not have a signature=20 on it, but the commit 3 steps prior has a good signature. It uses the=20 same signing key as debug-assert, so all of the notes from there apply=20 here as well. `./pre-inst-env guix build type-safe` succeeded on my machine, an x86_64=20 Xen guest. Additionally, after fixing the issue noted in the "Things=20 needing attention" section, the following test file produced an expected=20 compiler error indicating that the type_safe::integer needs an initial=20 value. main.cpp ``` #include int main(void) { =C2=A0=C2=A0 =C2=A0type_safe::integer tsi; =C2=A0=C2=A0 =C2=A0return tsi.get(); } ``` Once I added an initial value as shown in the "Things needing attention"=20 section, the file built successfully and the executable returned the=20 expected exit code. ``` $ ./pre-inst-env guix shell gcc-toolchain type-safe -C -- g++ -std=3Dc++11= =20 main.cpp $ ./a.out $ echo $? 1 ``` The license file in the project matches the contents I see at=20 https://directory.fsf.org/wiki/License:Expat. From unknown Sun Jun 22 08:07:20 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#69126] [PATCH 1/2] gnu: Add debug-assert. Resent-From: "Paul A. Patience" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 15 Feb 2024 14:04:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69126 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Skyler Ferris Cc: 69126@debbugs.gnu.org Received: via spool by 69126-submit@debbugs.gnu.org id=B69126.170800581127116 (code B ref 69126); Thu, 15 Feb 2024 14:04:02 +0000 Received: (at 69126) by debbugs.gnu.org; 15 Feb 2024 14:03:31 +0000 Received: from localhost ([127.0.0.1]:54709 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1racKo-00073H-Nv for submit@debbugs.gnu.org; Thu, 15 Feb 2024 09:03:31 -0500 Received: from mail-4018.proton.ch ([185.70.40.18]:18833) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1racKk-00072w-LW for 69126@debbugs.gnu.org; Thu, 15 Feb 2024 09:03:28 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=apatience.com; s=protonmail2; t=1708005780; x=1708264980; bh=2q8/PQg/hAWlYtpKZXiUt0J4s4X39tv04+eRqfiXzOA=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=i5CcCB8K1lrIVE7s05gppfRsuGs9ANr51hjsmnPnMgeI1qTRzb6CZNH0NqWRB3QqT yU2G6WbH0lj6GM+nLDz3LpumRlbQA3gpI3HttRVxRxMeZdSSB6+CtjmSKtOJofYDYc 0CtO1D4Ld4nWWWgMtYXFtL+ezVbSqEJ21nWEA6hhcZep4D0nNZfRytd9Zfg85CqZXz xWC//fO7g+kchCttMswkCZVCM9wutPSmyXfM37r4YLZVVkkVAR4XulP8d5lIL6EAFX sYAVotzrr4i0gNMi8Zkq6NcaaoTcP/As3Sbb8JmIsv7FoicnhELNkiVNa6FoPJp4hn Ay5BGqB7pf5Qw== Date: Thu, 15 Feb 2024 14:02:42 +0000 From: "Paul A. Patience" Message-ID: <877cj5n7uq.fsf@apatience.com> In-Reply-To: <3bee2280-c098-4c23-9161-6d3c5a487768@protonmail.com> References: <0191a95edf076b5cd24326d49e54ce13f2bdb0d4.1707924715.git.paul@apatience.com> <3bee2280-c098-4c23-9161-6d3c5a487768@protonmail.com> Feedback-ID: 19227857:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -1.9 (-) 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.9 (--) Hello, Thanks for reviewing my patches. On 2024-02-14 16:29:05-05:00, Skyler Ferris wrote: > `guix lint` issues a warning that the beginning of the description > starts with a lowercase letter. IMO this is reasonable because the first > word is the name of the project, and it is a common convention for > project names to remain lowercased (the README in the project follows > this convention). However I am not sure how the Guix maintainers > consider this. I was aware of the issue, and I share your opinion. Sometimes project authors write the project name lowercased but in a fixed-width font, in which case I use either @samp{} or @code{}, which guix lint does not raise an error for. However, this author does not, so I left it as such. For what it's worth, I counted a few hundred instances of a lowercased project name without @samp{} or @code{} in the first line of the description across the Guix codebase. I will leave it to the discretion of the committer. > The arguments form is attached to a comment saying that there are no > tests, but it looks like the repository does contain a test in the > `test_package` directory with a separate CMakelists.txt file. I haven't > spent much time with the cmake build system in Guix, would it be > reasonable to replace the check phase with a procedure that uses the > file in this directory? If not then it might be helpful to replace the > comment with one explaining that, while tests exist, it is not feasible > to run them for some specific reason. The test_package directory seems to test the installation of debug_assert with the Conan package manager, so there is nothing to do here. Best regards, Paul From unknown Sun Jun 22 08:07:20 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#69126] [PATCH 2/2] gnu: Add type-safe. Resent-From: "Paul A. Patience" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 15 Feb 2024 14:25:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69126 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Skyler Ferris Cc: 69126@debbugs.gnu.org Received: via spool by 69126-submit@debbugs.gnu.org id=B69126.170800707628953 (code B ref 69126); Thu, 15 Feb 2024 14:25:01 +0000 Received: (at 69126) by debbugs.gnu.org; 15 Feb 2024 14:24:36 +0000 Received: from localhost ([127.0.0.1]:54727 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1racfD-0007Wu-OM for submit@debbugs.gnu.org; Thu, 15 Feb 2024 09:24:36 -0500 Received: from mail-4022.proton.ch ([185.70.40.22]:46457) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1racfA-0007Wg-2P for 69126@debbugs.gnu.org; Thu, 15 Feb 2024 09:24:33 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=apatience.com; s=protonmail2; t=1708007046; x=1708266246; bh=39Xa+fi+up51nkJek3pwXuYcZT7ttQS5pxC3I7e7mpM=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=QuprKfsuTr/VlKMke8Jx4pq9PTw00XZWIaThUOD0gkLWCULv0PCgCX5WzwKsPtjKT SmkUsFmpM/aly3Oa6ciz14A2Lz+Z46obPHicEwwfzB3uRHc6mGlNBPt7cE9lHbFWbw o9bfJjqCPJUHIPVMXoLnktZ/vRnRs9OI3QR+VCa07sxabJjME7ZYdXFFGzrWZdiHUG 0GLdqRjSyUekC5zDfANFL9DzEfKzOg2L1uzAbQPx+EWW97rVJWcbszAQOvgOSF4fgx kqMK5X4lD4AR72ULUMz6gvwDrYHltQoOAkhhWkeoYorvLouRZil8lOJo5VAN+JRnbG 22IAVXx2ESk2Q== Date: Thu, 15 Feb 2024 14:23:53 +0000 From: "Paul A. Patience" Message-ID: <8734ttn6vj.fsf@apatience.com> In-Reply-To: <3463adf6-964b-4b52-a554-4575e5d8d237@protonmail.com> References: <3463adf6-964b-4b52-a554-4575e5d8d237@protonmail.com> Feedback-ID: 19227857:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -1.9 (-) 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.9 (--) On 2024-02-14 16:30:57-05:00, Skyler Ferris wrote: > When I tried to compile a file which included `type_safe/integer.hpp` > from a container (see below for exact commands & source), I got an error > that the debug_assert header could not be found. I resolved this by > changing the debug-assert package from a normal input into a propagated > input, but there could be other ways to solve this. Nice catch. I have been using the type_safe library via CMake, which I made work in the fix-cmake-config phase, but I forgot to consider the case you raised. I've fixed the issue and will submit a patch presently. Thanks for providing sample code and invocation, it made it quicker to test. Best regards, Paul From unknown Sun Jun 22 08:07:20 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#69126] [PATCH v2] gnu: Add type-safe. References: In-Reply-To: Resent-From: "Paul A. Patience" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 15 Feb 2024 14:27:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69126 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69126@debbugs.gnu.org Cc: "Paul A. Patience" Received: via spool by 69126-submit@debbugs.gnu.org id=B69126.170800719429121 (code B ref 69126); Thu, 15 Feb 2024 14:27:02 +0000 Received: (at 69126) by debbugs.gnu.org; 15 Feb 2024 14:26:34 +0000 Received: from localhost ([127.0.0.1]:54733 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rach8-0007Zd-71 for submit@debbugs.gnu.org; Thu, 15 Feb 2024 09:26:34 -0500 Received: from mail-40136.proton.ch ([185.70.40.136]:24711) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rach5-0007ZO-K2 for 69126@debbugs.gnu.org; Thu, 15 Feb 2024 09:26:32 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=apatience.com; s=protonmail2; t=1708007166; x=1708266366; bh=qPvRBlGWo092HAhWGefM5IJS0uOBDi7ZR9rEiOuS/t4=; h=Date:To:From:Cc:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector; b=a0Mjr/EjB7RRLoChquv68vGpmFSSFNQAXKD0QCza4qbjA8hUJuh1IOyEgOwIx2xNk oJJrJV223x2H4obK+M//FcCwBR+osfLwF4HLg+3Cfm8juhdDOEH5s8cy8Meyfx/Bx2 1SyugRQObB0qvYqLgaKs8Lzwwxq4/no8TQDhE4ndf+0Xfe6OEMF7uo5YU6TXUJr23l 4xQc4rBdOyAWSgvRyF5/pdxZxV694+85eVbP6EIkqkT1I0H2QgfZDZa8vCCuLhZQJ8 3gZFtv8TssWcbJE65EZUhzX2kFY2Hlp6w1s5gzHgY0PtpVR/SoVEwhEa0llYtNymab 4zpY/f2qYuyrQ== Date: Thu, 15 Feb 2024 14:25:55 +0000 From: "Paul A. Patience" Message-ID: <6c2fafee4c064a64bc918781c106d4e67732d45d.1708006480.git.paul@apatience.com> Feedback-ID: 19227857:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -1.9 (-) 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.9 (--) * gnu/packages/cpp.scm (type-safe): New variable. Change-Id: I96a690b41af78e331744daacba1cf5ee77f8257a --- This patch addresses the issue raised by Skylar Ferris. gnu/packages/cpp.scm | 60 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 60 insertions(+) diff --git a/gnu/packages/cpp.scm b/gnu/packages/cpp.scm index 2456de5002..f7e502d1bf 100644 --- a/gnu/packages/cpp.scm +++ b/gnu/packages/cpp.scm @@ -3074,3 +3074,63 @@ (define-public debug-assert @code{DEBUG_ASSERT()} macro, which among other features can be selectively enabled in different parts of your code.") (license license:zlib)))) + +(define-public type-safe + (package + (name "type-safe") + (version "0.2.3") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/foonathan/type_safe") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0ijd5grkbzfcmkqydka5ncl7ab4rc3307qr0ywwgzqsifr3ks0fd")) + (modules '((guix build utils))) + ;; Remove bundled debug_assert. + ;; Keep external/external.cmake because it enables + ;; TYPE_SAFE_HAS_IMPORTED_TARGETS, required for installing the CMak= e + ;; config files. + (snippet #~(delete-file-recursively "external/debug_assert")))) + (build-system cmake-build-system) + (arguments + (list #:configure-flags + #~(list "-DTYPE_SAFE_BUILD_TEST_EXAMPLE=3DON" + "-DTYPE_SAFE_BUILD_DOC=3DOFF") ; needs standardese + #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'fix-dependencies + (lambda _ + (substitute* + (list "include/type_safe/detail/assert.hpp" + "include/type_safe/detail/force_inline.hpp") + (("#include ") + (string-append "#include <" + #$(this-package-input "debug-assert") + "/include/debug_assert.hpp>"))) + (substitute* "test/CMakeLists.txt" + (("^if\\(NOT EXISTS .*/catch\\.hpp\\)") "if(FALSE)") + (("^(target_include_directories\\(type_safe_test) .*" + all prefix) + (string-append all prefix " PRIVATE \"" + #$(this-package-native-input "catch2"= ) + "/include/catch2\")\n"))))) + (add-after 'install 'fix-cmake-config + (lambda _ + (substitute* (string-append + #$output + "/lib/cmake/type_safe/type_safe-config.cm= ake") + (("^(find_dependency\\(debug_assert)\\)" _ prefix) + (string-append prefix " PATHS \"" + #$(this-package-input "debug-assert") + "/lib/cmake/debug_assert\")")))))))) + (native-inputs (list catch2)) + (inputs (list debug-assert)) + (home-page "https://github.com/foonathan/type_safe") + (synopsis "C++ abstractions for preventing bugs via the type system") + (description "type_safe is a C++ header-only library which provides +abstractions for defining more appropriate types, thus allowing C++'s type +system to prevent more bugs.") + (license license:expat))) base-commit: 0191a95edf076b5cd24326d49e54ce13f2bdb0d4 --=20 2.41.0 From unknown Sun Jun 22 08:07:20 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#69126] [PATCH v2] gnu: Add type-safe. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 17 Feb 2024 08:46:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69126 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: "Paul A. Patience" , 69126@debbugs.gnu.org Received: via spool by 69126-submit@debbugs.gnu.org id=B69126.170815952822897 (code B ref 69126); Sat, 17 Feb 2024 08:46:02 +0000 Received: (at 69126) by debbugs.gnu.org; 17 Feb 2024 08:45:28 +0000 Received: from localhost ([127.0.0.1]:60441 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rbGK7-0005xE-Em for submit@debbugs.gnu.org; Sat, 17 Feb 2024 03:45:27 -0500 Received: from mail-ej1-f67.google.com ([209.85.218.67]:46106) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rbGK1-0005wq-Ss for 69126@debbugs.gnu.org; Sat, 17 Feb 2024 03:45:25 -0500 Received: by mail-ej1-f67.google.com with SMTP id a640c23a62f3a-a30f7c9574eso375808566b.0 for <69126@debbugs.gnu.org>; Sat, 17 Feb 2024 00:45:01 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708159436; x=1708764236; darn=debbugs.gnu.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:from:to:cc:subject:date :message-id:reply-to; bh=Ij3CFzN0j4y+Bq/Y4G4q9HcwlFCpoNHalfjr+vfozjw=; b=m+OgKBKAY26dq/3Z+PZ0g20UeDX3MXOVKgAIj/j7Lk1blbkqpv71TLzL6h0DbMWCAO dMNfWkR1Jf/6HfrhXlKUV58Xe7F/42Nwb1U8bmhhuKDfgoEQrpN+tf0PvUM6TwGbgkFT NFHQR41yZdXg0B3gsj7XMX/OG2YjXZ74GL3VRfxO4qiANCkjQKDGsvpitRYf0qrB59i2 s5IGjKmP/6GSkwhaheacKh+6ViZejXzMjLO/d6iszhW6r0Q9EYQ4NC1Nn6M5sswedmfZ 86Pf57bODlbbhUqmvSbtIdMIJU9taqIOEkUAkLISUv7o0jEW8w0wOMBct7OOxe+Wgo1b rRaA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708159436; x=1708764236; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=Ij3CFzN0j4y+Bq/Y4G4q9HcwlFCpoNHalfjr+vfozjw=; b=w0SIzFY3IKn457ozIraXkKxHYDaiwrFkKmFhlDNs2fdYoNDMJXcwzrn4C1DqHOCM+v mWL7SYGFr45ohMyOzLnn0K089rn38FW1w42HKjBrt172MHMg7OauNm+JTl7J5xBktYU0 0pdDKgYn8C1tENsbfSloX6DcsE68dhIwaDOvthx/JNXPVfabENOsVciFITmbeZ4PO7F3 lM8x+9+suIcs7Vd3ON+5NJQQJkYo9oqokcgkm1a/FH/8g/pZz6fwTUaGQAuS8bhgpcSK VOikPd9snJ3cdsItHYpTBfaF9dxRRx/Wt3O7QGsXStoFzPdtOgoDvBbBNPh38F/mVARb iNaQ== X-Forwarded-Encrypted: i=1; AJvYcCUiAgzayB0aHYmxPyKNLWdDBDhRT0X8C/1uNgxA4Dh+/lvOR4a2mUsJLMaWOM8eE8fBTXz5eWLa0nix7rv+yfk3FDuuJcA= X-Gm-Message-State: AOJu0Ywv85q+gjdMKVoJ7nLN1sEXUb4VaKS2TMRmwZ/n4a5UBHTc8DiN lBuhYse25HJUdh1SvDI2G96OrBdBAdjhab/B11Lglw1nItNKwqve X-Google-Smtp-Source: AGHT+IH6RP81cBTB0GQCGw2Y53zsF4ChME2G4ZcIb5hlzr/rZlbxlW86UWohJcQ9P06ZQtXoLlJ/FQ== X-Received: by 2002:a17:906:c4a:b0:a3d:303d:c6c1 with SMTP id t10-20020a1709060c4a00b00a3d303dc6c1mr4829649ejf.62.1708159436048; Sat, 17 Feb 2024 00:43:56 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id b13-20020a1709062b4d00b00a3bd8a34b1bsm776153ejg.164.2024.02.17.00.43.55 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 17 Feb 2024 00:43:55 -0800 (PST) Message-ID: <543f0537937e104e9e030503ab880d19b070eb29.camel@gmail.com> From: Liliana Marie Prikler Date: Sat, 17 Feb 2024 09:43:53 +0100 In-Reply-To: <6c2fafee4c064a64bc918781c106d4e67732d45d.1708006480.git.paul@apatience.com> References: <6c2fafee4c064a64bc918781c106d4e67732d45d.1708006480.git.paul@apatience.com> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 User-Agent: Evolution 3.46.4 MIME-Version: 1.0 X-Spam-Score: -1.9 (-) 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.9 (--) QW0gRG9ubmVyc3RhZywgZGVtIDE1LjAyLjIwMjQgdW0gMTQ6MjUgKzAwMDAgc2NocmllYiBQYXVs IEEuIFBhdGllbmNlOgo+ICogZ251L3BhY2thZ2VzL2NwcC5zY20gKHR5cGUtc2FmZSk6IE5ldyB2 YXJpYWJsZS4KPiAKPiBDaGFuZ2UtSWQ6IEk5NmE2OTBiNDFhZjc4ZTMzMTc0NGRhYWNiYTFjZjVl ZTc3ZjgyNTdhCj4gLS0tCj4gVGhpcyBwYXRjaCBhZGRyZXNzZXMgdGhlIGlzc3VlIHJhaXNlZCBi eSBTa3lsYXIgRmVycmlzLgpIaSwgdGhlIGNvbnZlbnRpb24gd2hlbiByZW5ld2luZyBwYXRjaGVz IGlzIHRvIGtlZXAgdGhlIG9yZGVyIG9mIHRoZQpvbGQuICBFdmVuIGlmIHlvdSBkb24ndCByZXNl bmQgYWxsIG9mIHRoZW0gKHdoaWNoIG1hbnkgZm9yIHRoZSByZWNvcmQKZG8pLCBpdCBtYWtlcyBz ZW5zZSB0byBzdGlsbCBjYWxscyB0aGlzIHYyIDIvMiB1bmxlc3MgMS8yIGlzIGFscmVhZHkKcHVz aGVkLgoKPiDCoGdudS9wYWNrYWdlcy9jcHAuc2NtIHwgNjAKPiArKysrKysrKysrKysrKysrKysr KysrKysrKysrKysrKysrKysrKysrKysrKwo+IMKgMSBmaWxlIGNoYW5nZWQsIDYwIGluc2VydGlv bnMoKykKPiAKPiBkaWZmIC0tZ2l0IGEvZ251L3BhY2thZ2VzL2NwcC5zY20gYi9nbnUvcGFja2Fn ZXMvY3BwLnNjbQo+IGluZGV4IDI0NTZkZTUwMDIuLmY3ZTUwMmQxYmYgMTAwNjQ0Cj4gLS0tIGEv Z251L3BhY2thZ2VzL2NwcC5zY20KPiArKysgYi9nbnUvcGFja2FnZXMvY3BwLnNjbQo+IEBAIC0z MDc0LDMgKzMwNzQsNjMgQEAgKGRlZmluZS1wdWJsaWMgZGVidWctYXNzZXJ0Cj4gwqBAY29kZXtE RUJVR19BU1NFUlQoKX0gbWFjcm8sIHdoaWNoIGFtb25nIG90aGVyIGZlYXR1cmVzIGNhbiBiZQo+ IHNlbGVjdGl2ZWx5Cj4gwqBlbmFibGVkIGluIGRpZmZlcmVudCBwYXJ0cyBvZiB5b3VyIGNvZGUu IikKPiDCoMKgwqDCoMKgwqAgKGxpY2Vuc2UgbGljZW5zZTp6bGliKSkpKQo+ICsKPiArKGRlZmlu ZS1wdWJsaWMgdHlwZS1zYWZlCj4gK8KgIChwYWNrYWdlCj4gK8KgwqDCoCAobmFtZSAidHlwZS1z YWZlIikKPiArwqDCoMKgICh2ZXJzaW9uICIwLjIuMyIpCj4gK8KgwqDCoCAoc291cmNlCj4gK8Kg wqDCoMKgIChvcmlnaW4KPiArwqDCoMKgwqDCoMKgIChtZXRob2QgZ2l0LWZldGNoKQo+ICvCoMKg wqDCoMKgwqAgKHVyaSAoZ2l0LXJlZmVyZW5jZQo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAg KHVybCAiaHR0cHM6Ly9naXRodWIuY29tL2Zvb25hdGhhbi90eXBlX3NhZmUiKQo+ICvCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqAgKGNvbW1pdCAoc3RyaW5nLWFwcGVuZCAidiIgdmVyc2lvbikpKSkK PiArwqDCoMKgwqDCoMKgIChmaWxlLW5hbWUgKGdpdC1maWxlLW5hbWUgbmFtZSB2ZXJzaW9uKSkK PiArwqDCoMKgwqDCoMKgIChzaGEyNTYKPiArwqDCoMKgwqDCoMKgwqAgKGJhc2UzMgo+ICIwaWpk NWdya2J6ZmNta3F5ZGthNW5jbDdhYjRyYzMzMDdxcjB5d3dnenFzaWZyM2tzMGZkIikpCj4gK8Kg wqDCoMKgwqDCoCAobW9kdWxlcyAnKChndWl4IGJ1aWxkIHV0aWxzKSkpCj4gK8KgwqDCoMKgwqDC oCA7OyBSZW1vdmUgYnVuZGxlZCBkZWJ1Z19hc3NlcnQuCj4gK8KgwqDCoMKgwqDCoCA7OyBLZWVw IGV4dGVybmFsL2V4dGVybmFsLmNtYWtlIGJlY2F1c2UgaXQgZW5hYmxlcwo+ICvCoMKgwqDCoMKg wqAgOzsgVFlQRV9TQUZFX0hBU19JTVBPUlRFRF9UQVJHRVRTLCByZXF1aXJlZCBmb3IgaW5zdGFs bGluZwo+IHRoZSBDTWFrZQo+ICvCoMKgwqDCoMKgwqAgOzsgY29uZmlnIGZpbGVzLgo+ICvCoMKg wqDCoMKgwqAgKHNuaXBwZXQgI34oZGVsZXRlLWZpbGUtcmVjdXJzaXZlbHkKPiAiZXh0ZXJuYWwv ZGVidWdfYXNzZXJ0IikpKSkKWW91IGNvdWxkIGFsc28gcmV3cml0ZSB0aGUgdG9wLWxldmVsIENN YWtlIGZpbGUgc28gdGhhdCB0aGlzIGlzIG5vdCBhbgppc3N1ZS4gIEFsdGVybmF0aXZlbHksIHVz ZSB0aGUgKGxldCAoKGtlZXAg4oCmKSkg4oCmKSBwYXR0ZXJuLCBzbyB0aGF0IHRoZQpjb2RlIGlz IHNlbGYtZXhwbGFuYXRvcnkuCj4gK8KgwqDCoCAoYnVpbGQtc3lzdGVtIGNtYWtlLWJ1aWxkLXN5 c3RlbSkKPiArwqDCoMKgIChhcmd1bWVudHMKPiArwqDCoMKgwqAgKGxpc3QgIzpjb25maWd1cmUt ZmxhZ3MKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqAgI34obGlzdCAiLURUWVBFX1NBRkVfQlVJTERf VEVTVF9FWEFNUExFPU9OIgo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAg Ii1EVFlQRV9TQUZFX0JVSUxEX0RPQz1PRkYiKSA7IG5lZWRzIHN0YW5kYXJkZXNlCkNhbiB3ZSBw YWNrYWdlIHRoYXQgb3IgaXMgdGhlcmUgc29tZSBib290c3RyYXBwaW5nIGlzc3VlPwo+ICvCoMKg wqDCoMKgwqDCoMKgwqDCoCAjOnBoYXNlcwo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoCAjfihtb2Rp ZnktcGhhc2VzICVzdGFuZGFyZC1waGFzZXMKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oCAoYWRkLWFmdGVyICd1bnBhY2sgJ2ZpeC1kZXBlbmRlbmNpZXMKPiArwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqAgKGxhbWJkYSBfCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoCAoc3Vic3RpdHV0ZSoKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqAgKGxpc3QgImluY2x1ZGUvdHlwZV9zYWZlL2RldGFpbC9hc3NlcnQuaHBw Igo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoAo+ICJpbmNsdWRlL3R5cGVfc2FmZS9kZXRhaWwvZm9yY2VfaW5saW5lLmhwcCIpCj4gK8Kg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKCgiI2luY2x1ZGUgPGRlYnVn X2Fzc2VydC5ocHA+IikKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgIChzdHJpbmctYXBwZW5kICIjaW5jbHVkZSA8Igo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgIyQodGhp cy1wYWNrYWdlLWlucHV0ICJkZWJ1Zy0KPiBhc3NlcnQiKQo+ICvCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgIi9p bmNsdWRlL2RlYnVnX2Fzc2VydC5ocHA+IikpKQpVc2Ugc2VhcmNoLWlucHV0LWZpbGUuCj4gK8Kg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoc3Vic3RpdHV0ZSogInRlc3QvQ01h a2VMaXN0cy50eHQiCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAg KCgiXmlmXFwoTk9UIEVYSVNUUyAuKi9jYXRjaFxcLmhwcFxcKSIpCj4gImlmKEZBTFNFKSIpCj4g K8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAKPiAoKCJeKHRhcmdldF9p bmNsdWRlX2RpcmVjdG9yaWVzXFwodHlwZV9zYWZlX3Rlc3QpIC4qIgo+ICvCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBhbGwgcHJlZml4KQo+ICvCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKHN0cmluZy1hcHBlbmQgYWxsIHByZWZp eCAiIFBSSVZBVEUgXCIiCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAjJCh0aGlzLXBhY2thZ2UtbmF0aXZl LWlucHV0Cj4gImNhdGNoMiIpCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAiL2luY2x1ZGUvY2F0Y2gyXCIp XG4iKSkpKSkKVXNlIHNlYXJjaC1pbnB1dC1kaXJlY3RvcnkuCj4gK8KgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqAgKGFkZC1hZnRlciAnaW5zdGFsbCAnZml4LWNtYWtlLWNvbmZpZwo+ICvCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAobGFtYmRhIF8KPiArwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgIChzdWJzdGl0dXRlKiAoc3RyaW5nLWFwcGVuZAo+ICvCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgICMkb3V0cHV0Cj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgIi9saWIvY21ha2UvdHlwZV9zYWZlL3R5cGVfc2FmZS0K PiBjb25maWcuY21ha2UiKQo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgICgoIl4oZmluZF9kZXBlbmRlbmN5XFwoZGVidWdfYXNzZXJ0KVxcKSIgXwo+IHByZWZpeCkK PiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChzdHJpbmctYXBw ZW5kIHByZWZpeCAiIFBBVEhTIFwiIgo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgIyQodGhpcy1wYWNrYWdl LWlucHV0ICJkZWJ1Zy0KPiBhc3NlcnQiKQo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAKPiAiL2xpYi9jbWFr ZS9kZWJ1Z19hc3NlcnRcIikiKSkpKSkpKSkKSW4gZ2VuZXJhbCwgSSdkIGVuY291cmFnZSB3cml0 aW5nIGEgcGF0Y2ggdG8gZml4IGJvdGggdGhpcyBhbmQgdGhlCmlzc3VlcyBwb2ludGVkIG91dCBh Ym92ZS4gIE5vdGUsIHRoYXQgQ01ha2UgaGFzIGl0cyB3YXkgb2YgbG9jYXRpbmcKcGFja2FnZXMg cGVyIGNtYWtlIGZpbGVzIG9yIHBrZ2NvbmZpZywgc28gaGFyZC1jb2RpbmcgZGlyZWN0b3JpZXMg YXMKZG9uZSBoZXJlIGlzIHR5cGljYWxseSAqbm90KiBuZWVkZWQuCj4gK8KgwqDCoCAobmF0aXZl LWlucHV0cyAobGlzdCBjYXRjaDIpKQo+ICvCoMKgwqAgKGlucHV0cyAobGlzdCBkZWJ1Zy1hc3Nl cnQpKQo+ICvCoMKgwqAgKGhvbWUtcGFnZSAiaHR0cHM6Ly9naXRodWIuY29tL2Zvb25hdGhhbi90 eXBlX3NhZmUiKQo+ICvCoMKgwqAgKHN5bm9wc2lzICJDKysgYWJzdHJhY3Rpb25zIGZvciBwcmV2 ZW50aW5nIGJ1Z3MgdmlhIHRoZSB0eXBlCj4gc3lzdGVtIikKPiArwqDCoMKgIChkZXNjcmlwdGlv biAidHlwZV9zYWZlIGlzIGEgQysrIGhlYWRlci1vbmx5IGxpYnJhcnkgd2hpY2gKPiBwcm92aWRl cwo+ICthYnN0cmFjdGlvbnMgZm9yIGRlZmluaW5nIG1vcmUgYXBwcm9wcmlhdGUgdHlwZXMsIHRo dXMgYWxsb3dpbmcKPiBDKysncyB0eXBlCj4gK3N5c3RlbSB0byBwcmV2ZW50IG1vcmUgYnVncy4i KQo+ICvCoMKgwqAgKGxpY2Vuc2UgbGljZW5zZTpleHBhdCkpKQoKQ2hlZXJzCg== From unknown Sun Jun 22 08:07:20 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#69126] [PATCH v3 0/2] gnu: Add type-safe. References: In-Reply-To: Resent-From: "Paul A. Patience" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 20 Feb 2024 19:35:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69126 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69126@debbugs.gnu.org Cc: "Paul A. Patience" Received: via spool by 69126-submit@debbugs.gnu.org id=B69126.17084576498844 (code B ref 69126); Tue, 20 Feb 2024 19:35:02 +0000 Received: (at 69126) by debbugs.gnu.org; 20 Feb 2024 19:34:09 +0000 Received: from localhost ([127.0.0.1]:46592 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rcVsX-0002Ia-02 for submit@debbugs.gnu.org; Tue, 20 Feb 2024 14:34:09 -0500 Received: from mail-4317.proton.ch ([185.70.43.17]:11393) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rcVsR-0002I0-8x for 69126@debbugs.gnu.org; Tue, 20 Feb 2024 14:34:07 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=apatience.com; s=protonmail2; t=1708457614; x=1708716814; bh=8fXVSEZu89BHemwiMbcq9ZQODG9CNvEHf+EkeMSMNiU=; h=Date:To:From:Cc:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector; b=N0t9TcSas06B4C/WcWaU+lVUJT3eCPMtL1TZJ/9bxx97w59oL2mMMBJTd/CQmV85v oRJ6vj6M5Auc7Su1qwSRgdIxgT+nKbUUOs1+mglWvKkCNkBNqBlT79poG4vVT2fFpP 4m9ZKOGepMoCCWr8XLFp8a+PSaRTBTXpthv8urFoYLmKTrrcRrrge+whwFNQvyLTyt zbepej8O4bSHrrIg7X85aowPUJBEzMMSe2wNTr+UqK459K04GqlyqOervYKblyL4vz uOTU+LgSxO2dkw01qApcVGnI9cuh6VNlezbFfro25xzWf0SLDsvkK++zWGeY+sifZd VptUKL6Xw0tuA== Date: Tue, 20 Feb 2024 19:33:18 +0000 From: "Paul A. Patience" Message-ID: Feedback-ID: 19227857:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -1.9 (-) 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.9 (--) Resubmitting the patch series as per Liliana Marie Prikler's suggestion. No changes since the last. Paul A. Patience (2): gnu: Add debug-assert. gnu: Add type-safe. gnu/packages/cpp.scm | 88 +++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 87 insertions(+), 1 deletion(-) base-commit: 570ef13a87bb54d3410c431700ba78316a2641e2 --=20 2.41.0 From unknown Sun Jun 22 08:07:20 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#69126] [PATCH v3 1/2] gnu: Add debug-assert. Resent-From: "Paul A. Patience" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 20 Feb 2024 19:35:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69126 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69126@debbugs.gnu.org Cc: "Paul A. Patience" Received: via spool by 69126-submit@debbugs.gnu.org id=B69126.17084576558864 (code B ref 69126); Tue, 20 Feb 2024 19:35:02 +0000 Received: (at 69126) by debbugs.gnu.org; 20 Feb 2024 19:34:15 +0000 Received: from localhost ([127.0.0.1]:46596 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rcVsd-0002It-A0 for submit@debbugs.gnu.org; Tue, 20 Feb 2024 14:34:15 -0500 Received: from mail-4018.proton.ch ([185.70.40.18]:28203) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rcVsb-0002IS-0a for 69126@debbugs.gnu.org; Tue, 20 Feb 2024 14:34:13 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=apatience.com; s=protonmail2; t=1708457624; x=1708716824; bh=+/fvejRtlnpThsbW+RH0UD564o9BAb8gSeVfKxOCwN8=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=UOOwHaDbJxI9xObVcYN1nUiM+K0gtYHr2hcZkG5/54LcSvH/cyPSFig4HCspmzrRN tMndVSOpTtgND8UOoiPumbJ1atZ+Ra14XOMwtZd84mMwo0WKst45vkXctcBv/2oCRx hr9/vEHoZzJGTaSv0MG4+FU3+Qci2f5YNywpIKPUxqdxqcbrIu1W5DhEMSBc09WDoU 8M/CnCIBLGQy4ZEr3ISxLLC4pDOmcOt6IaLpvCZaBVOvLolgBekuqo9yBX2KK7a2id GlUs6Nh0TJH8Osz2bk+fO45gs2x5QfRGcvPYNqKMMiT5n9RLjFzIrSQ0SyO/TVFvIq UOILkX4t0B/gA== Date: Tue, 20 Feb 2024 19:33:26 +0000 From: "Paul A. Patience" Message-ID: <0191a95edf076b5cd24326d49e54ce13f2bdb0d4.1708457406.git.paul@apatience.com> In-Reply-To: References: Feedback-ID: 19227857:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -1.9 (-) 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.9 (--) * gnu/packages/cpp.scm (debug-assert): New variable. Change-Id: I4cee49ea2f5b761ab72bb7b063c2ea8fd99b991c --- gnu/packages/cpp.scm | 28 +++++++++++++++++++++++++++- 1 file changed, 27 insertions(+), 1 deletion(-) diff --git a/gnu/packages/cpp.scm b/gnu/packages/cpp.scm index 62a1923571..2456de5002 100644 --- a/gnu/packages/cpp.scm +++ b/gnu/packages/cpp.scm @@ -38,7 +38,7 @@ ;;; Copyright =C2=A9 2023 Liliana Marie Prikler ;;; Copyright =C2=A9 2023 Denis 'GNUtoo' Carikli ;;; Copyright =C2=A9 2023 Foundation Devices, Inc. -;;; Copyright =C2=A9 2023 Paul A. Patience +;;; Copyright =C2=A9 2023-2024 Paul A. Patience ;;; ;;; This file is part of GNU Guix. ;;; @@ -3048,3 +3048,29 @@ (define-public tl-optional the std::optional for C++11/14/17, with support for monadic operations add= ed in C++23.") (license license:cc0))) + +(define-public debug-assert + ;; Newer version than last release, which was in 2018, is required for + ;; type_safe. + (let ((commit "d33781479baccf52a28e5c3c5a6da5ac59b09179") + (revision "0")) + (package + (name "debug-assert") + (version (git-version "1.3.3" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/foonathan/debug_assert") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0njbzx767pndpl8hq5falr4c8m0xsr6njh0943xf8xkcqq6splpz"))= )) + (build-system cmake-build-system) + (arguments (list #:tests? #f)) ; no tests + (home-page "https://github.com/foonathan/debug_assert") + (synopsis "Assertion macro for C++") + (description "debug_assert is a C++11 header-only library which prov= ides the +@code{DEBUG_ASSERT()} macro, which among other features can be selectively +enabled in different parts of your code.") + (license license:zlib)))) --=20 2.41.0 From unknown Sun Jun 22 08:07:20 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#69126] [PATCH v3 2/2] gnu: Add type-safe. Resent-From: "Paul A. Patience" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 20 Feb 2024 19:35:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69126 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69126@debbugs.gnu.org Cc: "Paul A. Patience" Received: via spool by 69126-submit@debbugs.gnu.org id=B69126.17084576688891 (code B ref 69126); Tue, 20 Feb 2024 19:35:03 +0000 Received: (at 69126) by debbugs.gnu.org; 20 Feb 2024 19:34:28 +0000 Received: from localhost ([127.0.0.1]:46600 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rcVsp-0002JK-Nk for submit@debbugs.gnu.org; Tue, 20 Feb 2024 14:34:28 -0500 Received: from mail-4323.proton.ch ([185.70.43.23]:61727) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rcVsn-0002J4-2L for 69126@debbugs.gnu.org; Tue, 20 Feb 2024 14:34:26 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=apatience.com; s=protonmail2; t=1708457637; x=1708716837; bh=mjdr2Qiz5+akJ2ZE3A4FraIo/dnAxo1XBtHaVxF6VQ0=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=cLx9uVR0B8lV45GTifQ2VZBpJfkoCtMwcU25GLVfc5Jww2/Xq4FLmJ7O5Gf1uPuCx xIbcZLg69EUZ+HVtmKFVYI7tJoSuET/oneNWSua/GrFNUZ6CrfTu4N3fWS1QDbGnJ/ cwrTrODQ+t3Fl66p6FN0TPYBBvJmOTwh64OSdiKcsKU0kZrPcwCdHnhv8q5d2Y7CeE XWVzRIVjkQklKrqtIZYAnx/J+FJ2dRDEB1fYKWcFAjrVpceqtBXRDttjDNX+Cf2reK XYFQjXFTrdtIPi+CX5W41NtCwkTqPUiJIyWfN5eaOc4zfDb+oxATDlxySrREYtzleR TjYW6VDyZLgjg== Date: Tue, 20 Feb 2024 19:33:33 +0000 From: "Paul A. Patience" Message-ID: <6c2fafee4c064a64bc918781c106d4e67732d45d.1708457406.git.paul@apatience.com> In-Reply-To: References: Feedback-ID: 19227857:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -1.9 (-) 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.9 (--) * gnu/packages/cpp.scm (type-safe): New variable. Change-Id: I96a690b41af78e331744daacba1cf5ee77f8257a --- gnu/packages/cpp.scm | 60 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 60 insertions(+) diff --git a/gnu/packages/cpp.scm b/gnu/packages/cpp.scm index 2456de5002..f7e502d1bf 100644 --- a/gnu/packages/cpp.scm +++ b/gnu/packages/cpp.scm @@ -3074,3 +3074,63 @@ (define-public debug-assert @code{DEBUG_ASSERT()} macro, which among other features can be selectively enabled in different parts of your code.") (license license:zlib)))) + +(define-public type-safe + (package + (name "type-safe") + (version "0.2.3") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/foonathan/type_safe") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0ijd5grkbzfcmkqydka5ncl7ab4rc3307qr0ywwgzqsifr3ks0fd")) + (modules '((guix build utils))) + ;; Remove bundled debug_assert. + ;; Keep external/external.cmake because it enables + ;; TYPE_SAFE_HAS_IMPORTED_TARGETS, required for installing the CMak= e + ;; config files. + (snippet #~(delete-file-recursively "external/debug_assert")))) + (build-system cmake-build-system) + (arguments + (list #:configure-flags + #~(list "-DTYPE_SAFE_BUILD_TEST_EXAMPLE=3DON" + "-DTYPE_SAFE_BUILD_DOC=3DOFF") ; needs standardese + #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'fix-dependencies + (lambda _ + (substitute* + (list "include/type_safe/detail/assert.hpp" + "include/type_safe/detail/force_inline.hpp") + (("#include ") + (string-append "#include <" + #$(this-package-input "debug-assert") + "/include/debug_assert.hpp>"))) + (substitute* "test/CMakeLists.txt" + (("^if\\(NOT EXISTS .*/catch\\.hpp\\)") "if(FALSE)") + (("^(target_include_directories\\(type_safe_test) .*" + all prefix) + (string-append all prefix " PRIVATE \"" + #$(this-package-native-input "catch2"= ) + "/include/catch2\")\n"))))) + (add-after 'install 'fix-cmake-config + (lambda _ + (substitute* (string-append + #$output + "/lib/cmake/type_safe/type_safe-config.cm= ake") + (("^(find_dependency\\(debug_assert)\\)" _ prefix) + (string-append prefix " PATHS \"" + #$(this-package-input "debug-assert") + "/lib/cmake/debug_assert\")")))))))) + (native-inputs (list catch2)) + (inputs (list debug-assert)) + (home-page "https://github.com/foonathan/type_safe") + (synopsis "C++ abstractions for preventing bugs via the type system") + (description "type_safe is a C++ header-only library which provides +abstractions for defining more appropriate types, thus allowing C++'s type +system to prevent more bugs.") + (license license:expat))) --=20 2.41.0 From unknown Sun Jun 22 08:07:20 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: "Paul A. Patience" Subject: bug#69126: closed ([PATCH 0/2] gnu: Add type-safe.) Message-ID: References: <87plnbubvz.fsf@gmail.com> X-Gnu-PR-Message: they-closed 69126 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 69126@debbugs.gnu.org Date: Sun, 03 Nov 2024 23:39:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1730677142-7017-1" This is a multi-part message in MIME format... ------------=_1730677142-7017-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #69126: [PATCH 0/2] gnu: Add type-safe. 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 69126@debbugs.gnu.org. --=20 69126: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D69126 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1730677142-7017-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 69126-done) by debbugs.gnu.org; 3 Nov 2024 23:38:59 +0000 Received: from localhost ([127.0.0.1]:35684 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t7kBO-0001oz-M0 for submit@debbugs.gnu.org; Sun, 03 Nov 2024 18:38:58 -0500 Received: from mail-wr1-f43.google.com ([209.85.221.43]:46223) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t7kBM-0001ot-4B for 69126-done@debbugs.gnu.org; Sun, 03 Nov 2024 18:38:57 -0500 Received: by mail-wr1-f43.google.com with SMTP id ffacd0b85a97d-37d63a79bb6so2424070f8f.0 for <69126-done@debbugs.gnu.org>; Sun, 03 Nov 2024 15:38:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1730677075; x=1731281875; darn=debbugs.gnu.org; h=mime-version:message-id:date:subject:to:from:from:to:cc:subject :date:message-id:reply-to; bh=eOCf7JS5zl5Z6aVWENdtL2AG1IQVYZMP7Bsg1SNfhTc=; b=byJ6xzn82qJ2oWHMvpZ3XzHqVxnnP0n0cbT1OXQm2jDxYjBzULiN7zriz2w07QGEyA 8rfOaiQUW5WQIgJfsmlaAiDJHE+ALunBQ41vsZdqTn5oKBsl6tz1kZDd65VoC+XlmwpN MTCGbdWfKdasMcDKmZIHZAS4kCH8G7t69b1QtH+o7Zwb/HXDOReHUxFGfV43PcQBdToR gqsMx6jtf0KzV/5PcZ8AjLTFtK73Yx/+h/KXMot0tFzWIY33aiVpZvRKrfSu8V70AQys fowfpiFo/a/0hSpGBA39O0gOwMF1vDPCLm06jhtCU32fEIc0J1WcWh9DyqCHCjFpupgf 9rSQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1730677075; x=1731281875; h=mime-version:message-id:date:subject:to:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=eOCf7JS5zl5Z6aVWENdtL2AG1IQVYZMP7Bsg1SNfhTc=; b=BZWgBytUlfU3aoxoL1X1oF3FT/E7rnDtNwV5sVaIyZT+Ih3dHgeTo0aFMEJCyFn56c Oa6wWToTeeQ0AFq8uLaNOQoLqi5CSH3q+QZjqUjf7gdJNgq0bfuKmwYb0rAleb7fSHp5 l/bHCS1zOPahWObHhSGq0Ae5vIchmweGt0hK8MtDM1PYaGhPdooJsJi/h9V1FQg4H5SO bEQMWNp2yvY1q6jgFgGAjd/euxyrHDGgTxNR1ly8pqHlqXG5RSiTnFyTHiDX4vkTPLqE OOdQ914CODgdEjF6svFZrc57vDLxMud82vqaLvbCuVnGgYBRyEw/Jr8MKrT7r042mlu3 sucA== X-Gm-Message-State: AOJu0Yyy7yVR3fIgrG69MbBZatTXxNgotQNHIyIrvJ/FQGGK6qNLDUqe DqtXLQ3J29xzGfReE5gNiBKc6SVotL+jxJFkex5Qz/EEJMsb50Zl6XXkOWOQ X-Google-Smtp-Source: AGHT+IGxrK1Kp59gojlPYFYVqIVP6FQQPWy5UzwtOKkiFhOLkXL+mzLRR5ml2FNW9juY9RlYN8Xuew== X-Received: by 2002:a5d:59a5:0:b0:37c:cd1d:b87e with SMTP id ffacd0b85a97d-381be7c76f9mr11293049f8f.18.1730677075159; Sun, 03 Nov 2024 15:37:55 -0800 (PST) Received: from guxtil (cpc100684-bagu15-2-0-cust967.1-3.cable.virginm.net. [86.8.111.200]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-381c116a781sm11706739f8f.96.2024.11.03.15.37.53 for <69126-done@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 03 Nov 2024 15:37:54 -0800 (PST) From: Sharlatan Hellseher To: 69126-done@debbugs.gnu.org Subject: [PATCH 0/2] gnu: Add type-safe. Date: Sun, 03 Nov 2024 23:37:52 +0000 Message-ID: <87plnbubvz.fsf@gmail.com> 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: 69126-done 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 Hi, I've refreshed versions, built, lint locally. Pushed 84266a8f74..d33626fb07 to master. -- Thanks, Oleg --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEmEeB3micIcJkGAhndtcnv/Ys0rUFAmcoCVAACgkQdtcnv/Ys 0rUNHg//aVSA8ab9fz7GEourQ2mHsBI0WxkAm5KuRhTPpQVeaIgOQkSyMWyfBBTG Ungaa6uYYW7BynUyh2Rl+ItnjYuPGNLq5HLpclYMrka7HpO0wmjcMeRw3CUTFIeM yT37SiQm8o9//wSvt48LPeayz5oY3tFdHz7bfoTbAYvEDQ156HRjv2D7+VxJtWIo /M6Ggjp3diVSzITqw4ZAToVnrfD1kzUndS2IQ6lF3GrK82uqV8qlFjM6yxDXP64S uew65cStjO1zUzbfwPWX0J6WMXLe1V1t3ftGUcI95PfHI8f7gEUxIsHyoQ8GIC8Y wZQ3vOtUIUFBaS1pDSZCoglIOtF6awYlwyku9AHLXmTmFW0TWTTGJPahLg+YA4F5 Nu5e29bRzqbu1JcjfeyABxui0OcrOguQdGpqur/X2D1dI6gRl3PNkm3cla67dXsM Fk5pF9Bi8W3ouyunlOPMEAXMuskzH6s3I+P55nBLK0dBcczr9nhhUiB0uwqgrEev rWXrouwSHMqF0H4gq2z0LDPpesOcrd/J2EhnSXvr/PpiYsNZrpuV8QyKSBJ4scFr Tui/sUtDNZg/JF1emFtStciAvUH9qNjpe6hL3E7GER9XPGfIgmbqLUnfnQyUkkkj RnBgB9VtXiknGC28j+DbLURkuDVnMQpw5LV0ZgL8sKa3nyaMD54= =yrF9 -----END PGP SIGNATURE----- --=-=-=-- ------------=_1730677142-7017-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 14 Feb 2024 15:34:26 +0000 Received: from localhost ([127.0.0.1]:52804 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1raHHG-0003Hg-0S for submit@debbugs.gnu.org; Wed, 14 Feb 2024 10:34:26 -0500 Received: from lists.gnu.org ([209.51.188.17]:56068) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1raHHD-0003HX-Hs for submit@debbugs.gnu.org; Wed, 14 Feb 2024 10:34:24 -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 1raHGu-0004pG-Kl for guix-patches@gnu.org; Wed, 14 Feb 2024 10:34:04 -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 1raHGr-0004GP-Fb for guix-patches@gnu.org; Wed, 14 Feb 2024 10:34:04 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=apatience.com; s=protonmail2; t=1707924837; x=1708184037; bh=PcUcHD1MRvDYWmTGKd3rkVEs7MlalaSKV2hua1snyZw=; h=Date:To:From:Cc:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector; b=Yv0kWNWF8jC2lqh7IwBXse7gDlfUCBWOrahuTw6hxuHoK0N4t1bA3w4jFFOvDnZW5 7FLEtb1XcmqrUxM4M8oQMyCJM9nMPF6XxWught6lCxgZ0q5lv0Lf29kVpKVKmz//i/ wCniQ1ccPjOXz6S+EiXeb1dAvlR0jJWHMyp0JmeU+SkycJeQ0VSoyuOZZgltge9goI n9Bm3EdLigt7q0dr5drWLeEmavTZoNvJF65XBeIX8kkPnWIsWqGvecfHzrFIVHwtKV tysWqo60tql9vRKVzW1J5szFdLsowlXCNhfHHV3Y4ujGd5kKnNBJigA1YRdULNJu6D QjY3bhY+UVPXw== Date: Wed, 14 Feb 2024 15:33:36 +0000 To: guix-patches@gnu.org From: "Paul A. Patience" Subject: [PATCH 0/2] gnu: Add type-safe. Message-ID: 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_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -3.5 (---) 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: -4.5 (----) Paul A. Patience (2): gnu: Add debug-assert. gnu: Add type-safe. gnu/packages/cpp.scm | 81 +++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 80 insertions(+), 1 deletion(-) base-commit: 570ef13a87bb54d3410c431700ba78316a2641e2 --=20 2.41.0 ------------=_1730677142-7017-1-- From unknown Sun Jun 22 08:07:20 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69126: closing 69126 Reply-To: Steve George , 69126-quiet@debbugs.gnu.org Mail-Followup-To: Steve George , 69126-quiet@debbugs.gnu.org Original-Sender: "Debbugs-submit" Resent-To: "Paul A. Patience" Resent-Date: Mon, 04 Nov 2024 13:13:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 69126 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: control@debbugs.gnu.org Cc: 69126-submitter@debbugs.gnu.org Received: via spool by 69126-submitter@debbugs.gnu.org id=U69126.17307259528996 (code U ref 69126); Mon, 04 Nov 2024 13:13:02 +0000 Received: (at 69126-submitter) by debbugs.gnu.org; 4 Nov 2024 13:12:32 +0000 Received: from localhost ([127.0.0.1]:39822 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t7wsi-0002Kx-BZ for submit@debbugs.gnu.org; Mon, 04 Nov 2024 08:12:32 -0500 Received: from mailtransmit04.runbox.com ([185.226.149.37]:58006) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t7wsh-0002Kg-1L; Mon, 04 Nov 2024 08:12:31 -0500 Received: from mailtransmit03.runbox ([10.9.9.163] helo=aibo.runbox.com) by mailtransmit04.runbox.com with esmtps (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.93) (envelope-from ) id 1t7wsb-00973U-5Z; Mon, 04 Nov 2024 14:12:25 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=futurile.net; s=selector1; h=Content-Type:MIME-Version:Message-ID:Subject: Cc:To:From:Date; bh=ZIGqUnZPB/MIZtszQzblCEs/NGLVzxHMdZAry7VshsY=; b=MFfa9+fmG zJ/sn2o5rzE4IibBH97IVNLvK4B4fZqDg18aQg90LH8OW8Lo7XYJtjlMw2yV5PE557CNrSB8OnrlX p+qE55Ffz4wY7EqZN1pkiAMlW+4Q2Bghn/HAP9/CwyMgpBzE4yvQyztqhLZYObXCesoVD3IZhfK69 NcAF5clKA+F+UdoxB43kddj5k+0WhxZMFytNNdOnNuZRJMK/obQQuFd2fHzbegBm185Hx9DL8pK0f YtER8+TBm8jAD2gRawLWLDw2Xu13dHZ9Y75JdGqMtJnh3qV54r9/EzuNGeHiTY6sS2GkU7G2pYfFx doesMkqcWHhNW/GV4w8b1DR6g==; Received: from [10.9.9.74] (helo=submission03.runbox) by mailtransmit03.runbox with esmtp (Exim 4.86_2) (envelope-from ) id 1t7wsa-0005Tj-LV; Mon, 04 Nov 2024 14:12:24 +0100 Received: by submission03.runbox with esmtpsa [Authenticated ID (641962)] (TLS1.2:ECDHE_SECP256R1__RSA_SHA256__AES_256_GCM:256) (Exim 4.93) id 1t7wsO-003toO-Ai; Mon, 04 Nov 2024 14:12:12 +0100 Date: Mon, 4 Nov 2024 13:12:11 +0000 From: Steve George Message-ID: <1730725853-3453-bts-steve@futurile.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline User-Agent: devscripts bts/2.22.1ubuntu1 X-Spam-Score: 0.0 (/) 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 (-) close 69126 # Hi Paul - committed d33626fb07e5a8369b1be1dff87f399be90d85d4 # Thanks for sending! quit