GNU bug report logs - #49371
Removing the broken ‘corrode’ package

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: guix; Reported by: Tobias Geerinckx-Rice <me@HIDDEN>; dated Sun, 4 Jul 2021 00:49:01 UTC; Maintainer for guix is bug-guix@HIDDEN.

Message received at submit <at>

Received: (at submit) by; 4 Jul 2021 00:48:26 +0000
From debbugs-submit-bounces <at> Sat Jul 03 20:48:26 2021
Received: from localhost ([]:40104
	by with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at>>)
	id 1lzqJ8-0003eH-8M
	for submit <at>; Sat, 03 Jul 2021 20:48:26 -0400
Received: from ([]:60334)
 by with esmtp (Exim 4.84_2)
 (envelope-from <me@HIDDEN>) id 1lzqJ4-0003e8-MB
 for submit <at>; Sat, 03 Jul 2021 20:48:25 -0400
Received: from ([2001:470:142:3::10]:44534)
 by with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <me@HIDDEN>) id 1lzqJ4-0007wG-Dw
 for bug-guix@HIDDEN; Sat, 03 Jul 2021 20:48:22 -0400
Received: from ([2a02:c205:2020:6054::1]:58612)
 by with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <me@HIDDEN>) id 1lzqJ1-0002uR-Um
 for bug-guix@HIDDEN; Sat, 03 Jul 2021 20:48:22 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=2018; bh=gWnuUnNVLQfB4
 f+W7qHGNvfchPJgXXMRBZHEKXO4WyY=; h=date:subject:to:from;; 
Received: by (OpenSMTPD) with ESMTPSA id f0d5bda7
 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO) for <bug-guix@HIDDEN>;
 Sun, 4 Jul 2021 00:48:14 +0000 (UTC)
From: Tobias Geerinckx-Rice <me@HIDDEN>
To: Bug reports for GNU Guix <bug-guix@HIDDEN>
Subject: Removing the broken =?utf-8?B?4oCYY29ycm9kZeKAmQ==?= package
Date: Sat, 03 Jul 2021 17:46:03 +0200
BIMI-Selector: v=BIMI1; s=default;
Message-ID: <875yxqsy40.fsf@nckx>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="==-=-=";
 micalg=pgp-sha512; protocol="application/pgp-signature"
Received-SPF: pass client-ip=2a02:c205:2020:6054::1; envelope-from=me@HIDDEN;
X-Spam_score_int: -5
X-Spam_score: -0.6
X-Spam_bar: /
X-Spam_report: (-0.6 / 5.0 requ) BAYES_00=-1.9, DATE_IN_PAST_06_12=1.543,
 SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -0.3 (/)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at>
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <>
List-Unsubscribe: <>, 
 <mailto:debbugs-submit-request <at>>
List-Archive: <>
List-Post: <mailto:debbugs-submit <at>>
List-Help: <mailto:debbugs-submit-request <at>>
List-Subscribe: <>, 
 <mailto:debbugs-submit-request <at>>
Errors-To: debbugs-submit-bounces <at>
Sender: "Debbugs-submit" <debbugs-submit-bounces <at>>
X-Spam-Score: -1.3 (-)

Content-Type: multipart/mixed; boundary="=-=-="

Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: quoted-printable


Cool hack though it was, I propose to remove the broken =E2=80=98corrode=E2=
package.  This is your chance to protest by fixing it!

With the patches below applied corrode still fails to build as it=20
does elsewhere:=20

The code hasn't seen commits since 2017, nor did I find any newer=20
posts by the author on their GitHub issue tracker.  The project is=20
quite dead.

Kind regards,


Content-Type: text/x-patch
Content-Disposition: inline; filename=0001-gnu-Add-ghc-language-c-0.6.patch
Content-Transfer-Encoding: quoted-printable

From=20879b32a49b606eef976062aee06bdf8a6ec028a0 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@HIDDEN>
Date: Sat, 3 Jul 2021 17:39:13 +0200
Subject: [PATCH 1/2] gnu: Add ghc-language-c@HIDDEN

* gnu/packages/haskell-xyz.scm (ghc-language-c-0.6): New public variable.
 gnu/packages/haskell-xyz.scm | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 4b80410346..daa64ac8fd 100644
=2D-- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -7000,6 +7000,18 @@ It features a complete, well-tested parser and prett=
y printer for all of C99
 and a large set of GNU extensions.")
     (license license:bsd-3)))
+(define-public ghc-language-c-0.6
+  (package
+    (inherit ghc-language-c)
+    (version "0.6.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append ""
+                           "language-c/language-c-" version ".tar.gz"))
+       (sha256
+        (base32 "1s1pz8lxnc3fbs84a4spayzrww1avkn7jszmazn90r740jfxrji3"))))=
 (define-public ghc-language-glsl
     (name "ghc-language-glsl")

Content-Type: text/x-patch
Content-Disposition: inline;
Content-Transfer-Encoding: quoted-printable

From=207fb3a504056862ca5577a3cfd6ce0eaa1b364551 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@HIDDEN>
Date: Sat, 3 Jul 2021 17:40:52 +0200
Subject: [PATCH 2/2] gnu: corrode: Update to 0.0.0-1.3405334.

* gnu/packages/haskell-apps.scm (corrode): Update to 0.0.0-1.3405334.
[native-inputs]: Add ghc-tasty and ghc-tasty-quickcheck.
[inputs]: Use older ghc-language-c-0.6 instead of ghc-language-c.
 gnu/packages/haskell-apps.scm | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/gnu/packages/haskell-apps.scm b/gnu/packages/haskell-apps.scm
index 9e49bbfd9e..10c0dadbc4 100644
=2D-- a/gnu/packages/haskell-apps.scm
+++ b/gnu/packages/haskell-apps.scm
@@ -145,8 +145,8 @@ installation of Haskell libraries and programs.")
    (license license:bsd-3)))
 (define-public corrode
=2D  (let ((revision "0")
=2D        (commit "b6699fb2fa552a07c6091276285a44133e5c9789"))
+  (let ((revision "1")
+        (commit "34053342c2f1ca04f23ad94d67057f14e74d9fb9"))
       (name "corrode")
       (version (git-version "0.0.0" revision commit))
@@ -158,10 +158,14 @@ installation of Haskell libraries and programs.")
                (commit commit)))
          (file-name (git-file-name name version))
=2D          (base32 "02v0yyj6sk4gpg2222wzsdqjxn8w66scbnf6b20x0kbmc69qcz4r"=
+          (base32 "0qwglbbcm96hm44yinzlyspfb60bi2iql750qv0psk5651jfrrdf"))=
       (build-system haskell-build-system)
+      (native-inputs
+       `(("ghc-tasty" ,ghc-tasty)
+         ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck)))
=2D       `(("ghc-language-c" ,ghc-language-c)
+       ;; XXX When updating, check if the 0.6 variant can be removed entir=
+       `(("ghc-language-c" ,ghc-language-c-0.6)
          ("ghc-markdown-unlit" ,ghc-markdown-unlit)))
       (home-page "")
       (synopsis "Automatic semantics-preserving translation from C to Rust=


Content-Type: application/pgp-signature; name="signature.asc"



Acknowledgement sent to Tobias Geerinckx-Rice <me@HIDDEN>:
New bug report received and forwarded. Copy sent to bug-guix@HIDDEN. Full text available.
Report forwarded to bug-guix@HIDDEN:
bug#49371; Package guix. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Sun, 4 Jul 2021 01:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.