From unknown Fri Sep 12 19:35:13 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#46865] [PATCH] gnu: racket: update to 8.0. Resent-From: Philip McGrath Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 02 Mar 2021 00:51:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 46865 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 46865@debbugs.gnu.org Cc: Philip McGrath X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.161464621324910 (code B ref -1); Tue, 02 Mar 2021 00:51:02 +0000 Received: (at submit) by debbugs.gnu.org; 2 Mar 2021 00:50:13 +0000 Received: from localhost ([127.0.0.1]:51225 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lGtEn-0006Tb-Cv for submit@debbugs.gnu.org; Mon, 01 Mar 2021 19:50:13 -0500 Received: from lists.gnu.org ([209.51.188.17]:55380) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lGt8J-0006Jc-HQ for submit@debbugs.gnu.org; Mon, 01 Mar 2021 19:43:28 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:57804) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lGt8J-0004jU-80 for guix-patches@gnu.org; Mon, 01 Mar 2021 19:43:27 -0500 Received: from mail-qt1-x831.google.com ([2607:f8b0:4864:20::831]:44023) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lGt8G-0002CG-Va for guix-patches@gnu.org; Mon, 01 Mar 2021 19:43:26 -0500 Received: by mail-qt1-x831.google.com with SMTP id b3so13564635qtj.10 for ; Mon, 01 Mar 2021 16:43:23 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=philipmcgrath.com; s=google; h=from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=wMpgZcgUsMiTuLQBeMPP7wujh9NM6XO9us/IllmHMIg=; b=QXcpO4CSfUNdSPc7spWyImfGjRdC2ZyBhu49cYv2XcflSX1RmGvYMrdWJvYE/eMNot iwJstDM928wuWxcOiYgMTECgjlRV54K9czlT7AOi07m8UOQV7cLoP/SngndvXL8L/RuX 5qQoYgY8Yt99gh2li9cJjndA6oSPcuAG2VbtTvaf0V3LfZ3vCP9WzemqVPbMYRCvQcoM sXeEaoUdYMlgSgeAVUF3BPd08sJVbWcA8ZIpDnoSljaKjPeYA+MHGH8I7R+R7uSdzqTr eTBELNcf0NYFBgkg6nzmec7x7tIqRyG0TTqElfS4eZYMaNglenVtrEfQtdQ1+AgMBetj NDsQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=wMpgZcgUsMiTuLQBeMPP7wujh9NM6XO9us/IllmHMIg=; b=MOt4GAmy/5NSfAX7kSRZ/BxEUIDpM74IOHlqCyRDd/8GAJRg646ec1Azpun7+Mte5L VCbdOlxLykqDN6AAQ5q07UuxU5Xbuor0LPWROtkub2PRGNapHeWIoWnnrkGIM5fejTiG cbU/cDQJ7ah4rYy64G5rCLLeagEnPIi3AOPdZvCJCuNLZOmprenvC5LzgHa8Ss5ZtVnx vyzAobzhO2GltzCZjpSbVo2sO7+iutv6DtItzCM48LLTByS8dI1EhpXXwjuLcbVoum6C Mvc1ebkAulvipYQV8Hj/qQT84QzEtKyI0fpFSafP8E+qbRZdFVNnuKzx5h5h76fkvwTO E65Q== X-Gm-Message-State: AOAM531beNs2JCR0CsszpwqXvuuv4XvO/7HETMsQDKLvyzhIm/XkDa8f x8+pAT6RrHnz/odBcXnEZC3lIciuqDS+Z9Aa X-Google-Smtp-Source: ABdhPJwUCu/RRGhfTGPDY8/1NnBkbjmEc8zlfXicKxV8gFvHmTLH7C8c+avO/ge0L0EH0xArKPzC3g== X-Received: by 2002:ac8:5d50:: with SMTP id g16mr15770793qtx.321.1614645802555; Mon, 01 Mar 2021 16:43:22 -0800 (PST) Received: from localhost (c-73-125-89-242.hsd1.fl.comcast.net. [73.125.89.242]) by smtp.gmail.com with ESMTPSA id l65sm13977256qkf.113.2021.03.01.16.43.21 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 01 Mar 2021 16:43:22 -0800 (PST) From: Philip McGrath Date: Mon, 1 Mar 2021 19:43:18 -0500 Message-Id: <20210302004318.26523-1-philip@philipmcgrath.com> X-Mailer: git-send-email 2.21.1 (Apple Git-122.3) MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: neutral client-ip=2607:f8b0:4864:20::831; envelope-from=philip@philipmcgrath.com; helo=mail-qt1-x831.google.com X-Spam_score_int: -12 X-Spam_score: -1.3 X-Spam_bar: - X-Spam_report: (-1.3 / 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_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_NEUTRAL=0.779 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.6 (-) X-Mailman-Approved-At: Mon, 01 Mar 2021 19:50:08 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/packages/scheme.scm (racket, racket-minimal): Update to 8.0. --- gnu/packages/scheme.scm | 98 +++++++++++++++++++++++++++++------------ 1 file changed, 71 insertions(+), 27 deletions(-) diff --git a/gnu/packages/scheme.scm b/gnu/packages/scheme.scm index 6c30ed8bf6..10be0aa28a 100644 --- a/gnu/packages/scheme.scm +++ b/gnu/packages/scheme.scm @@ -398,22 +398,26 @@ implementation techniques and as an expository tool.") (define-public racket (package (name "racket") - (version "7.9") ; note: remember to also update racket-minimal! + (version "8.0") ; note: remember to also update racket-minimal! (source (origin (method url-fetch) - (uri (list (string-append "http://mirror.racket-lang.org/installers/" - version "/racket-" version "-src.tgz") + (uri (list (string-append "https://mirror.racket-lang.org/installers/" + version "/racket-src.tgz") + ;; this mirror seems to have broken HTTPS: (string-append "http://mirror.informatik.uni-tuebingen.de/mirror/racket/" - version "/racket-" version "-src.tgz"))) + version "/racket-src.tgz"))) (sha256 (base32 - "0gmp2ahmfd97nn9bwpfx9lznjmjkd042slnrrbdmyh59cqh98y2m")) + "047wpjblfzmf1msz7snrp2c2h0zxyzlmbsqr9bwsyvz3frcg0888")) (patches (search-patches "racket-store-checksum-override.patch")))) (build-system gnu-build-system) (arguments - '(#:phases + '(#:configure-flags + '("--enable-libz" + "--enable-liblz4") + #:phases (modify-phases %standard-phases (add-before 'configure 'pre-configure-minimal (lambda* (#:key inputs #:allow-other-keys) @@ -493,13 +497,45 @@ implementation techniques and as an expository tool.") (lambda _ (substitute* "collects/racket/system.rkt" (("/bin/sh") (which "sh"))) - #t))) + #t)) + (add-after 'patch-/bin/sh 'patch-chez-configure + (lambda* (#:key inputs outputs #:allow-other-keys) + (substitute* "src/cs/c/Makefile.in" + (("/bin/sh") (which "sh"))) + ;; TODO: Racket CS uses a fork of Chez Scheme. + ;; Most of this is copy-pasted from the "chez.scm", + ;; but maybe there's a way to reuse more directly. + (with-directory-excursion "src/ChezScheme" + (substitute* (find-files "mats" "Mf-.*") + (("^[[:space:]]+(cc ) *") "\tgcc ")) + (substitute* + (find-files "." (string-append + "(" + "Mf-[a-zA-Z0-9.]+" + "|Makefile[a-zA-Z0-9.]*" + "|checkin" + "|stex\\.stex" + "|newrelease" + "|workarea" + "|unix\\.ms" + "|^6\\.ms" + ;;"|[a-zA-Z0-9.]+\\.ms" ; guile can't read + ")")) + (("/bin/rm") (which "rm")) + (("/bin/ln") (which "ln")) + (("/bin/cp") (which "cp")) + (("/bin/echo") (which "echo"))) + (substitute* "makefiles/installsh" + (("/bin/true") (which "true"))))))) ;; XXX: how to run them? #:tests? #f)) (inputs - `(("libffi" ,libffi) - ;; Hardcode dynamically loaded libraries for better functionality. + `(;; Hardcode dynamically loaded libraries for better functionality. ;; sqlite and libraries for `racket/draw' are needed to build the doc. + ("zlib" ,zlib) + ("zlib:static" ,zlib "static") + ("lz4" ,lz4) + ("lz4:static" ,lz4 "static") ("cairo" ,cairo) ("fontconfig" ,fontconfig) ("glib" ,glib) @@ -519,10 +555,14 @@ implementation techniques and as an expository tool.") (home-page "https://racket-lang.org") (synopsis "Implementation of Scheme and related languages") (description - "Racket is an implementation of the Scheme programming language (R5RS and -R6RS) and related languages, such as Typed Racket. It features a compiler and -a virtual machine with just-in-time native compilation, as well as a large set -of libraries.") + "Racket is a general-purpose programming language in the Scheme family, +with a large set of libraries and a compiler based on Chez Scheme. Racket is +also a platform for language-oriented programming, from small domain-specific +languages to complete language implementations. + +The main Racket distribution comes with many bundled packages, including +the DrRacket IDE, libraries for GUI and web programming, and implementations +of languages such as Typed Racket, R5RS and R6RS Scheme, and Datalog.") ;; https://download.racket-lang.org/license.html (license (list lgpl3+ asl2.0 expat)))) @@ -533,14 +573,15 @@ of libraries.") (version (package-version racket)) (source (origin (method url-fetch) - (uri (list (string-append "http://mirror.racket-lang.org/installers/" - version "/racket-minimal-" version "-src.tgz") + (uri (list (string-append "https://mirror.racket-lang.org/installers/" + version "/racket-minimal-src.tgz") + ;; this mirror seems to have broken HTTPS: (string-append "http://mirror.informatik.uni-tuebingen.de/mirror/racket/" - version "/racket-minimal-" version "-src.tgz"))) + version "/racket-minimal-src.tgz"))) (sha256 (base32 - "0yc5zkpq1bavj64h67pllw6mfjhmdp65fgdpyqcaan3syy6b5cia")) + "0mwyffw4gcci8wmzxa3j28h03h0gsz55aard8qrk3lri8r2xyg21")) (patches (search-patches "racket-store-checksum-override.patch")))) (synopsis "Racket without bundled packages such as Dr. Racket") @@ -551,18 +592,21 @@ of libraries.") ;; Delete fix that applies to files not included in the minimal package. (delete 'pre-configure))))) (inputs - `(("libffi" ,libffi) - ("openssl" ,openssl) - ("sqlite" ,sqlite))) + `(("openssl" ,openssl) + ("sqlite" ,sqlite) + ("zlib" ,zlib) + ("zlib:static" ,zlib "static") + ("lz4" ,lz4) + ("lz4:static" ,lz4 "static"))) (description - "Racket is an implementation of the Scheme programming language (R5RS and -R6RS) and related languages, such as Typed Racket. It features a compiler and -a virtual machine with just-in-time native compilation, as well as a large set -of libraries. + "Racket is a general-purpose programming language in the Scheme family, +with a large set of libraries and a compiler based on Chez Scheme. Racket is +also a platform for language-oriented programming, from small domain-specific +languages to complete language implementations. -In this minimal package, the essential package racket-libs is included, as -well as libraries that live in collections. In particular, @command{raco} and -the @code{pkg} library are still bundled."))) +The ``minimal Racket'' distribution includes just enough of Racket for you to +use @command{raco pkg} to install more. Bundled packages, such as the +Dr. Racket IDE, are not included."))) (define-public gambit-c (package -- 2.21.1 (Apple Git-122.3) From unknown Fri Sep 12 19:35:13 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#46865] [PATCH] gnu: racket: update to 8.0. References: <20210302004318.26523-1-philip@philipmcgrath.com> In-Reply-To: <20210302004318.26523-1-philip@philipmcgrath.com> Resent-From: Philip McGrath Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 03 Mar 2021 16:15:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 46865 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 46865@debbugs.gnu.org Received: via spool by 46865-submit@debbugs.gnu.org id=B46865.161478807416602 (code B ref 46865); Wed, 03 Mar 2021 16:15:03 +0000 Received: (at 46865) by debbugs.gnu.org; 3 Mar 2021 16:14:34 +0000 Received: from localhost ([127.0.0.1]:56731 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lHU8v-0004Jg-Fd for submit@debbugs.gnu.org; Wed, 03 Mar 2021 11:14:34 -0500 Received: from mail-qk1-f179.google.com ([209.85.222.179]:41798) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lHT4w-0000Nw-8o for 46865@debbugs.gnu.org; Wed, 03 Mar 2021 10:06:22 -0500 Received: by mail-qk1-f179.google.com with SMTP id q85so24224798qke.8 for <46865@debbugs.gnu.org>; Wed, 03 Mar 2021 07:06:22 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=philipmcgrath.com; s=google; h=to:from:subject:message-id:date:user-agent:mime-version :content-language:content-transfer-encoding; bh=rmesclTrRBdfd4xqUm3JrsSAAy+gzN2UcJPgFuLhzGY=; b=fWBxX5bo8QxVmtwMGm0DAxg4mtMJFhcqJshxfDV6HrXIR7GQYPzzmDdG4y4hqNWrVt zAe2tdUrl7++X8QLT+jKEMRsej8ktsyvGPZQQvM68qjfZKGS7rqcsWABLNBW5lmflxWI +SLIS1BLhxlXWHHbc4Bw3223WNkQsElYqVfZoQCqv30ZYdR5s2JGAv4yP1uhpmHtphL7 MINhqaxEpfIShqYSKcnhuxZpbMbYHnqvjA9IWiOsv/V7hjHXIJFXe1u5pk64hxq8f/br e1x11FSh9xjYQ6mr1NC62Bi0tBD5CIvnyPdzcb+udCRfzcmiUoz4h/8Y7Dtd22BYikss cIlg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version:content-language:content-transfer-encoding; bh=rmesclTrRBdfd4xqUm3JrsSAAy+gzN2UcJPgFuLhzGY=; b=t1mc5i3+CTuSF4D9dhioGV1m0ydVzKMDrC0X+BksajRjuhMJ6o+1A46IgUKFkAWcPX Lhbrf/MRgp/Ma+rOtFOQ+pUB6wYl61qEIhJi6j0ZasBR+KyJ36ivpCs5BhsEOsmiso2M 3rm4nAZYcAbMjN5IRhTgqzH2ippxhr37Zn7c7kA2jIsROI+LD9Ft4Ejt5Rm6DNV+Ds4t AcrYEmcCJmIf5mMAgdvqNOFj31MW5LokbOtTqTJo6QHmNCyHRBxL2P9LG83ifbxGSVdj 5y7ipFUbYnKDA+NSSu9ru9p+LVxzlSNyeA7mCgGP7Qtm+9gQKBfpb+wlsUHLqkjg7dOL o/MQ== X-Gm-Message-State: AOAM530yZa4R3tkK0C1287e3EbgYPhi1srqF0NuBoj1VC3p+hrcYkeuy VsvQOzHu+ac2VvlC9dAzjpXokqiYLxQE17k8aCQ= X-Google-Smtp-Source: ABdhPJyOpQCcLwCMD/40hB2en5SRQeIls8IN/bpvn65yElo2rt40js9rFgYim+8mE5g38Y0O0MwZKg== X-Received: by 2002:ae9:e80b:: with SMTP id a11mr18589903qkg.65.1614783976651; Wed, 03 Mar 2021 07:06:16 -0800 (PST) Received: from Sapientia.local (c-73-125-89-242.hsd1.fl.comcast.net. [73.125.89.242]) by smtp.gmail.com with ESMTPSA id r125sm3195238qkf.132.2021.03.03.07.06.16 for <46865@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 03 Mar 2021 07:06:16 -0800 (PST) From: Philip McGrath Message-ID: <98899839-7ce4-28a6-28c0-a215780e698d@philipmcgrath.com> Date: Wed, 3 Mar 2021 10:06:14 -0500 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:68.0) Gecko/20100101 Thunderbird/68.12.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit X-Spam-Score: 0.7 (/) X-Mailman-Approved-At: Wed, 03 Mar 2021 11:14:32 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) I changed the description primarily because, as of Racket 8.0, it is no longer accurate to say, "It features a compiler and a virtual machine with just-in-time native compilation"—the default implementation is now a native code compiler based on Chez Scheme. But there's certainly still room for improvement. In particular, I see that Nix is using the description: > Racket is a full-spectrum programming language. It goes beyond > Lisp and Scheme with dialects that support objects, types, > laziness, and more. Racket enables programmers to link > components written in different dialects, and it empowers > programmers to create new, project-specific dialects. Racket's > libraries support applications from web servers and databases to > GUIs and charts. The Racket project has used descriptions along those lines in other places before. I left the synopsis, "Implementation of Scheme and related languages", alone, but that's also debatable. From a Racketeer's perspective, Racket contains a Scheme implementation, but it is not primarily a Scheme implementation. Nix uses the short description, "A programmable programming language". From unknown Fri Sep 12 19:35:13 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: Philip McGrath Subject: bug#46865: closed (Re: bug#46865: [PATCH] gnu: racket: update to 8.0.) Message-ID: References: <87czwdlt1m.fsf@gnu.org> <20210302004318.26523-1-philip@philipmcgrath.com> X-Gnu-PR-Message: they-closed 46865 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 46865@debbugs.gnu.org Date: Fri, 05 Mar 2021 11:50:01 +0000 Content-Type: multipart/mixed; boundary="----------=_1614945001-17732-1" This is a multi-part message in MIME format... ------------=_1614945001-17732-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #46865: [PATCH] gnu: racket: update to 8.0. 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 46865@debbugs.gnu.org. --=20 46865: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D46865 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1614945001-17732-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 46865-done) by debbugs.gnu.org; 5 Mar 2021 11:49:19 +0000 Received: from localhost ([127.0.0.1]:33044 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lI8xL-0004aw-Co for submit@debbugs.gnu.org; Fri, 05 Mar 2021 06:49:19 -0500 Received: from eggs.gnu.org ([209.51.188.92]:45760) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lI8xJ-0004ai-PB for 46865-done@debbugs.gnu.org; Fri, 05 Mar 2021 06:49:18 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:34068) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lI8xE-0000GX-DX; Fri, 05 Mar 2021 06:49:12 -0500 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=39920 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1lI8xD-0001yf-Ca; Fri, 05 Mar 2021 06:49:11 -0500 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Philip McGrath Subject: Re: bug#46865: [PATCH] gnu: racket: update to 8.0. References: <20210302004318.26523-1-philip@philipmcgrath.com> Date: Fri, 05 Mar 2021 12:49:09 +0100 In-Reply-To: <20210302004318.26523-1-philip@philipmcgrath.com> (Philip McGrath's message of "Mon, 1 Mar 2021 19:43:18 -0500") Message-ID: <87czwdlt1m.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 46865-done Cc: 46865-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.7 (-) Hi Philip, Philip McGrath skribis: > * gnu/packages/scheme.scm (racket, racket-minimal): Update to 8.0. I applied it and tweak the commit log to mention the fields that were changed. The new synopsis and description LGTM! Did you try unbundling Chez? It would be great if we could do that. (In Guix we unbundle software as much as possible, notably for security reasons.) Thanks! Ludo=E2=80=99. ------------=_1614945001-17732-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 2 Mar 2021 00:50:13 +0000 Received: from localhost ([127.0.0.1]:51225 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lGtEn-0006Tb-Cv for submit@debbugs.gnu.org; Mon, 01 Mar 2021 19:50:13 -0500 Received: from lists.gnu.org ([209.51.188.17]:55380) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lGt8J-0006Jc-HQ for submit@debbugs.gnu.org; Mon, 01 Mar 2021 19:43:28 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:57804) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lGt8J-0004jU-80 for guix-patches@gnu.org; Mon, 01 Mar 2021 19:43:27 -0500 Received: from mail-qt1-x831.google.com ([2607:f8b0:4864:20::831]:44023) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lGt8G-0002CG-Va for guix-patches@gnu.org; Mon, 01 Mar 2021 19:43:26 -0500 Received: by mail-qt1-x831.google.com with SMTP id b3so13564635qtj.10 for ; Mon, 01 Mar 2021 16:43:23 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=philipmcgrath.com; s=google; h=from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=wMpgZcgUsMiTuLQBeMPP7wujh9NM6XO9us/IllmHMIg=; b=QXcpO4CSfUNdSPc7spWyImfGjRdC2ZyBhu49cYv2XcflSX1RmGvYMrdWJvYE/eMNot iwJstDM928wuWxcOiYgMTECgjlRV54K9czlT7AOi07m8UOQV7cLoP/SngndvXL8L/RuX 5qQoYgY8Yt99gh2li9cJjndA6oSPcuAG2VbtTvaf0V3LfZ3vCP9WzemqVPbMYRCvQcoM sXeEaoUdYMlgSgeAVUF3BPd08sJVbWcA8ZIpDnoSljaKjPeYA+MHGH8I7R+R7uSdzqTr eTBELNcf0NYFBgkg6nzmec7x7tIqRyG0TTqElfS4eZYMaNglenVtrEfQtdQ1+AgMBetj NDsQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=wMpgZcgUsMiTuLQBeMPP7wujh9NM6XO9us/IllmHMIg=; b=MOt4GAmy/5NSfAX7kSRZ/BxEUIDpM74IOHlqCyRDd/8GAJRg646ec1Azpun7+Mte5L VCbdOlxLykqDN6AAQ5q07UuxU5Xbuor0LPWROtkub2PRGNapHeWIoWnnrkGIM5fejTiG cbU/cDQJ7ah4rYy64G5rCLLeagEnPIi3AOPdZvCJCuNLZOmprenvC5LzgHa8Ss5ZtVnx vyzAobzhO2GltzCZjpSbVo2sO7+iutv6DtItzCM48LLTByS8dI1EhpXXwjuLcbVoum6C Mvc1ebkAulvipYQV8Hj/qQT84QzEtKyI0fpFSafP8E+qbRZdFVNnuKzx5h5h76fkvwTO E65Q== X-Gm-Message-State: AOAM531beNs2JCR0CsszpwqXvuuv4XvO/7HETMsQDKLvyzhIm/XkDa8f x8+pAT6RrHnz/odBcXnEZC3lIciuqDS+Z9Aa X-Google-Smtp-Source: ABdhPJwUCu/RRGhfTGPDY8/1NnBkbjmEc8zlfXicKxV8gFvHmTLH7C8c+avO/ge0L0EH0xArKPzC3g== X-Received: by 2002:ac8:5d50:: with SMTP id g16mr15770793qtx.321.1614645802555; Mon, 01 Mar 2021 16:43:22 -0800 (PST) Received: from localhost (c-73-125-89-242.hsd1.fl.comcast.net. [73.125.89.242]) by smtp.gmail.com with ESMTPSA id l65sm13977256qkf.113.2021.03.01.16.43.21 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 01 Mar 2021 16:43:22 -0800 (PST) From: Philip McGrath To: guix-patches@gnu.org Subject: [PATCH] gnu: racket: update to 8.0. Date: Mon, 1 Mar 2021 19:43:18 -0500 Message-Id: <20210302004318.26523-1-philip@philipmcgrath.com> X-Mailer: git-send-email 2.21.1 (Apple Git-122.3) MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: neutral client-ip=2607:f8b0:4864:20::831; envelope-from=philip@philipmcgrath.com; helo=mail-qt1-x831.google.com X-Spam_score_int: -12 X-Spam_score: -1.3 X-Spam_bar: - X-Spam_report: (-1.3 / 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_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_NEUTRAL=0.779 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.6 (-) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Mon, 01 Mar 2021 19:50:08 -0500 Cc: Philip McGrath X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/packages/scheme.scm (racket, racket-minimal): Update to 8.0. --- gnu/packages/scheme.scm | 98 +++++++++++++++++++++++++++++------------ 1 file changed, 71 insertions(+), 27 deletions(-) diff --git a/gnu/packages/scheme.scm b/gnu/packages/scheme.scm index 6c30ed8bf6..10be0aa28a 100644 --- a/gnu/packages/scheme.scm +++ b/gnu/packages/scheme.scm @@ -398,22 +398,26 @@ implementation techniques and as an expository tool.") (define-public racket (package (name "racket") - (version "7.9") ; note: remember to also update racket-minimal! + (version "8.0") ; note: remember to also update racket-minimal! (source (origin (method url-fetch) - (uri (list (string-append "http://mirror.racket-lang.org/installers/" - version "/racket-" version "-src.tgz") + (uri (list (string-append "https://mirror.racket-lang.org/installers/" + version "/racket-src.tgz") + ;; this mirror seems to have broken HTTPS: (string-append "http://mirror.informatik.uni-tuebingen.de/mirror/racket/" - version "/racket-" version "-src.tgz"))) + version "/racket-src.tgz"))) (sha256 (base32 - "0gmp2ahmfd97nn9bwpfx9lznjmjkd042slnrrbdmyh59cqh98y2m")) + "047wpjblfzmf1msz7snrp2c2h0zxyzlmbsqr9bwsyvz3frcg0888")) (patches (search-patches "racket-store-checksum-override.patch")))) (build-system gnu-build-system) (arguments - '(#:phases + '(#:configure-flags + '("--enable-libz" + "--enable-liblz4") + #:phases (modify-phases %standard-phases (add-before 'configure 'pre-configure-minimal (lambda* (#:key inputs #:allow-other-keys) @@ -493,13 +497,45 @@ implementation techniques and as an expository tool.") (lambda _ (substitute* "collects/racket/system.rkt" (("/bin/sh") (which "sh"))) - #t))) + #t)) + (add-after 'patch-/bin/sh 'patch-chez-configure + (lambda* (#:key inputs outputs #:allow-other-keys) + (substitute* "src/cs/c/Makefile.in" + (("/bin/sh") (which "sh"))) + ;; TODO: Racket CS uses a fork of Chez Scheme. + ;; Most of this is copy-pasted from the "chez.scm", + ;; but maybe there's a way to reuse more directly. + (with-directory-excursion "src/ChezScheme" + (substitute* (find-files "mats" "Mf-.*") + (("^[[:space:]]+(cc ) *") "\tgcc ")) + (substitute* + (find-files "." (string-append + "(" + "Mf-[a-zA-Z0-9.]+" + "|Makefile[a-zA-Z0-9.]*" + "|checkin" + "|stex\\.stex" + "|newrelease" + "|workarea" + "|unix\\.ms" + "|^6\\.ms" + ;;"|[a-zA-Z0-9.]+\\.ms" ; guile can't read + ")")) + (("/bin/rm") (which "rm")) + (("/bin/ln") (which "ln")) + (("/bin/cp") (which "cp")) + (("/bin/echo") (which "echo"))) + (substitute* "makefiles/installsh" + (("/bin/true") (which "true"))))))) ;; XXX: how to run them? #:tests? #f)) (inputs - `(("libffi" ,libffi) - ;; Hardcode dynamically loaded libraries for better functionality. + `(;; Hardcode dynamically loaded libraries for better functionality. ;; sqlite and libraries for `racket/draw' are needed to build the doc. + ("zlib" ,zlib) + ("zlib:static" ,zlib "static") + ("lz4" ,lz4) + ("lz4:static" ,lz4 "static") ("cairo" ,cairo) ("fontconfig" ,fontconfig) ("glib" ,glib) @@ -519,10 +555,14 @@ implementation techniques and as an expository tool.") (home-page "https://racket-lang.org") (synopsis "Implementation of Scheme and related languages") (description - "Racket is an implementation of the Scheme programming language (R5RS and -R6RS) and related languages, such as Typed Racket. It features a compiler and -a virtual machine with just-in-time native compilation, as well as a large set -of libraries.") + "Racket is a general-purpose programming language in the Scheme family, +with a large set of libraries and a compiler based on Chez Scheme. Racket is +also a platform for language-oriented programming, from small domain-specific +languages to complete language implementations. + +The main Racket distribution comes with many bundled packages, including +the DrRacket IDE, libraries for GUI and web programming, and implementations +of languages such as Typed Racket, R5RS and R6RS Scheme, and Datalog.") ;; https://download.racket-lang.org/license.html (license (list lgpl3+ asl2.0 expat)))) @@ -533,14 +573,15 @@ of libraries.") (version (package-version racket)) (source (origin (method url-fetch) - (uri (list (string-append "http://mirror.racket-lang.org/installers/" - version "/racket-minimal-" version "-src.tgz") + (uri (list (string-append "https://mirror.racket-lang.org/installers/" + version "/racket-minimal-src.tgz") + ;; this mirror seems to have broken HTTPS: (string-append "http://mirror.informatik.uni-tuebingen.de/mirror/racket/" - version "/racket-minimal-" version "-src.tgz"))) + version "/racket-minimal-src.tgz"))) (sha256 (base32 - "0yc5zkpq1bavj64h67pllw6mfjhmdp65fgdpyqcaan3syy6b5cia")) + "0mwyffw4gcci8wmzxa3j28h03h0gsz55aard8qrk3lri8r2xyg21")) (patches (search-patches "racket-store-checksum-override.patch")))) (synopsis "Racket without bundled packages such as Dr. Racket") @@ -551,18 +592,21 @@ of libraries.") ;; Delete fix that applies to files not included in the minimal package. (delete 'pre-configure))))) (inputs - `(("libffi" ,libffi) - ("openssl" ,openssl) - ("sqlite" ,sqlite))) + `(("openssl" ,openssl) + ("sqlite" ,sqlite) + ("zlib" ,zlib) + ("zlib:static" ,zlib "static") + ("lz4" ,lz4) + ("lz4:static" ,lz4 "static"))) (description - "Racket is an implementation of the Scheme programming language (R5RS and -R6RS) and related languages, such as Typed Racket. It features a compiler and -a virtual machine with just-in-time native compilation, as well as a large set -of libraries. + "Racket is a general-purpose programming language in the Scheme family, +with a large set of libraries and a compiler based on Chez Scheme. Racket is +also a platform for language-oriented programming, from small domain-specific +languages to complete language implementations. -In this minimal package, the essential package racket-libs is included, as -well as libraries that live in collections. In particular, @command{raco} and -the @code{pkg} library are still bundled."))) +The ``minimal Racket'' distribution includes just enough of Racket for you to +use @command{raco pkg} to install more. Bundled packages, such as the +Dr. Racket IDE, are not included."))) (define-public gambit-c (package -- 2.21.1 (Apple Git-122.3) ------------=_1614945001-17732-1-- From unknown Fri Sep 12 19:35:13 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#46865] [PATCH] gnu: racket: update to 8.0. Resent-From: Philip McGrath Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 05 Mar 2021 13:37:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 46865 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 46865-done@debbugs.gnu.org Received: via spool by 46865-done@debbugs.gnu.org id=D46865.161495136219780 (code D ref 46865); Fri, 05 Mar 2021 13:37:02 +0000 Received: (at 46865-done) by debbugs.gnu.org; 5 Mar 2021 13:36:02 +0000 Received: from localhost ([127.0.0.1]:33250 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lIAcb-00058k-Tm for submit@debbugs.gnu.org; Fri, 05 Mar 2021 08:36:02 -0500 Received: from mail-qv1-f52.google.com ([209.85.219.52]:39966) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lIAca-00058U-40 for 46865-done@debbugs.gnu.org; Fri, 05 Mar 2021 08:36:00 -0500 Received: by mail-qv1-f52.google.com with SMTP id x13so949288qvj.7 for <46865-done@debbugs.gnu.org>; Fri, 05 Mar 2021 05:36:00 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=philipmcgrath.com; s=google; h=subject:to:cc:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:content-transfer-encoding; bh=X84CC0OzX8rDibzX5YKbthLftNpDD2K/iXqqg36/5FA=; b=A+b2ELzW8/m3b98dfXnjidEtB7PtdgglsilHJXp+aNZMQg7qwLGXDxwGgmjdcoTXbg BdDP0qIeblLmlHtQ6UKq9W30uo4GkXctHYnUUrrVpkqok9kKCcKlNNFKNDILZ6U3Uimr wnJIHqPNDYnITQb8tpoAZ4KdvO6SLaOEBEWOj5xmW5KIN/YjbFlnwnlmsaOzkZZ9krUT WI19lKgvK7/J4INIfYc+W0i+G8sy+gmTruDwQgYmO2BSnPqNq61It19GAI75RJN6reTG EK1XEk3zoTFf9Hx3UptZRpPuV2vG7W567+NNoiJBt5ZyhJgSTHAEhOXpGzhJE6pTXlSc OcjQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:cc:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=X84CC0OzX8rDibzX5YKbthLftNpDD2K/iXqqg36/5FA=; b=l+8uYWWDhgrK+hxQgm87ICILCg0shKkMg+VL6yockt0ZK0GzqX6yqOheaehArksnQ0 wKRKxELMt6mspYS0lD8Gz7AUpt/qZQfqxTkKM+87wAr8KwX+3HaQNMdqo3MM9o4dAkfE 5qGbjSuSR8WWnatldI4aXjjCxgHhh1wJWkwnbMmcEQ1uJxgLmSF55lgx5I/VW8h7MX9G 0PPz3LFFB1teNkj8RtZliSK9Wttb5RVXs0i1ZRs21Wg4pOwFMos+lkI0ptBXTm7PId1m CkDkAcbzvkn11XIqhTs6+WiDwRHADIrZSECEbR2b86lIyJbRHdcZF6iZqyjEiBGIpILY f54Q== X-Gm-Message-State: AOAM532Dhb4VlwuyDxe2vuJ6LiJsPtVtpcUtMiVpc0pgiJw5ryYS/sGf y1XarsEPi8dwtHjdDiJFbM6OPSMimZOjHE7rfow= X-Google-Smtp-Source: ABdhPJyeoF4M5EuLxQXBpVvaj6SSIiWrdgzkFD7LwXtkLX1bwhC226YqhZLryYoM3tFA+th+DJYPmg== X-Received: by 2002:a0c:99d2:: with SMTP id y18mr9149324qve.8.1614951354209; Fri, 05 Mar 2021 05:35:54 -0800 (PST) Received: from Sapientia.local (c-73-125-89-242.hsd1.fl.comcast.net. [73.125.89.242]) by smtp.gmail.com with ESMTPSA id g11sm1773988qkk.5.2021.03.05.05.35.53 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 05 Mar 2021 05:35:53 -0800 (PST) References: <20210302004318.26523-1-philip@philipmcgrath.com> <87czwdlt1m.fsf@gnu.org> From: Philip McGrath Message-ID: Date: Fri, 5 Mar 2021 08:35:52 -0500 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:68.0) Gecko/20100101 Thunderbird/68.12.1 MIME-Version: 1.0 In-Reply-To: <87czwdlt1m.fsf@gnu.org> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit X-Spam-Score: 0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) Hi! On 3/5/21 6:49 AM, Ludovic Courtès wrote: > I applied it and tweak the commit log to mention the fields that were > changed. The new synopsis and description LGTM! That's great! > Did you try unbundling Chez? It would be great if we could do that. > (In Guix we unbundle software as much as possible, notably for security > reasons.) The Racket fork of Chez Scheme has diverged significantly from upstream. Racket regularly syncs with upstream Chez and contributes patches back, but they are likely to coexist as two different "flavors" of Chez for the foreseeable future. There's a detailed (though almost two-year-old) review of the differences in their ICFP report[1]. In essence, some of Racket's "changes to Chez Scheme are either controversial or heavyweight compared to the expected benefit for applications other than Racket". You can see how one controversial pull request[2] became a Flatt and Dybvig 2020 PLDI paper.[3] At this point, for example, Racket's Chez has gained an Aarch64 backend, floating-point unboxing, and a type-reconstruction compiler pass. So, no, I don't think there's a prospect of unbundling Chez. On the other hand, since sending this patch, I saw that much of the work Guix and Nix had to do with around absolute paths could be better addressed upstream. Racket has merged my fixes for most of them[4] (and Matthew solved another in C [5]), which means we can greatly simplify the package definition. I hope to get those fixes into upstream Chez, too. I do think I should be able to unbundle Nanopass, as the Chez Guix package does. Just now I've been working on bootstrapping. Chez has the usual problem that you need the old version of Chez (specifically "bootfiles") to compile the new version. Racket's fork added an architecture-independent backend: those bootfiles are in the source distribution, which are how the Guix package is building now. But Racket is also able to simulate enough of Chez to (slowly) compile the Chez compiler, providing a path to Chez from just a C compiler. Racket does its whole bootstrapping process regularly in CI, and I'm working on getting the Guix package to do likewise. (I knew from previous discussions that Racket on Guix could benefit from some attention, so I'm hoping to use it as an opportunity to learn more about Guix.) -Philip [1]: https://www.cs.utah.edu/plt/publications/icfp19-fddkmstz.pdf [2]: https://github.com/cisco/ChezScheme/pull/336 [3]: https://www.cs.utah.edu/plt/publications/pldi20-fd.pdf [4]: https://github.com/racket/racket/pull/3710 [5]: https://github.com/mflatt/racket/commit/7319a22ed605fb3110b98f6c9aa1e8ed3aa03794 From unknown Fri Sep 12 19:35:13 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#46865] [PATCH] gnu: racket: update to 8.0. Resent-From: Christopher Lemmer Webber Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 05 Mar 2021 13:50:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 46865 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 46865@debbugs.gnu.org, philip@philipmcgrath.com, 46865-done@debbugs.gnu.org X-Debbugs-Original-Cc: guix-patches@gnu.org, Philip McGrath , 46865-done@debbugs.gnu.org Received: via spool by submit@debbugs.gnu.org id=B.161495220029214 (code B ref -1); Fri, 05 Mar 2021 13:50:01 +0000 Received: (at submit) by debbugs.gnu.org; 5 Mar 2021 13:50:00 +0000 Received: from localhost ([127.0.0.1]:33285 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lIAq7-0007b8-Qw for submit@debbugs.gnu.org; Fri, 05 Mar 2021 08:49:59 -0500 Received: from lists.gnu.org ([209.51.188.17]:39654) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lIAq6-0007av-Q3 for submit@debbugs.gnu.org; Fri, 05 Mar 2021 08:49:59 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:36646) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lIAq6-0006Mk-Hl for guix-patches@gnu.org; Fri, 05 Mar 2021 08:49:58 -0500 Received: from dustycloud.org ([2600:3c02::f03c:91ff:feae:cb51]:55992) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lIAq5-0004c1-1w; Fri, 05 Mar 2021 08:49:58 -0500 Received: from twig (localhost [127.0.0.1]) by dustycloud.org (Postfix) with ESMTPS id 62A122663C; Fri, 5 Mar 2021 08:49:55 -0500 (EST) References: <20210302004318.26523-1-philip@philipmcgrath.com> <87czwdlt1m.fsf@gnu.org> User-agent: mu4e 1.4.15; emacs 27.1 From: Christopher Lemmer Webber In-reply-to: <87czwdlt1m.fsf@gnu.org> Date: Fri, 05 Mar 2021 08:49:55 -0500 Message-ID: <87a6rh7lrw.fsf@dustycloud.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2600:3c02::f03c:91ff:feae:cb51; envelope-from=cwebber@dustycloud.org; helo=dustycloud.org X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, 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-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 (--) Ludovic Court=C3=A8s writes: > Hi Philip, > > Philip McGrath skribis: > >> * gnu/packages/scheme.scm (racket, racket-minimal): Update to 8.0. > > I applied it and tweak the commit log to mention the fields that were > changed. The new synopsis and description LGTM! > > Did you try unbundling Chez? It would be great if we could do that. > (In Guix we unbundle software as much as possible, notably for security > reasons.) > > Thanks! > > Ludo=E2=80=99. My understanding is that Racket is shipping a modified Chez, which could make that difficult (but the goal is for the Chez it ships to be less-modified-over-time). From unknown Fri Sep 12 19:35:13 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#46865] [PATCH] gnu: racket: update to 8.0. Resent-From: Jack Hill Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 05 Mar 2021 16:07:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 46865 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Philip McGrath Cc: 46865@debbugs.gnu.org, 46865-done@debbugs.gnu.org X-Debbugs-Original-Cc: guix-patches@gnu.org, 46865-done@debbugs.gnu.org Received: via spool by submit@debbugs.gnu.org id=B.161496040519795 (code B ref -1); Fri, 05 Mar 2021 16:07:01 +0000 Received: (at submit) by debbugs.gnu.org; 5 Mar 2021 16:06:45 +0000 Received: from localhost ([127.0.0.1]:35228 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lICyT-00059C-4a for submit@debbugs.gnu.org; Fri, 05 Mar 2021 11:06:45 -0500 Received: from lists.gnu.org ([209.51.188.17]:60214) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lICyR-000595-GB for submit@debbugs.gnu.org; Fri, 05 Mar 2021 11:06:43 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:43286) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lICyR-00007j-96 for guix-patches@gnu.org; Fri, 05 Mar 2021 11:06:43 -0500 Received: from minsky.hcoop.net ([104.248.1.95]:58546) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lICyN-0000iW-2V for guix-patches@gnu.org; Fri, 05 Mar 2021 11:06:42 -0500 Received: from marsh.hcoop.net ([45.55.52.66]) by minsky.hcoop.net with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lICyK-0001T3-4z; Fri, 05 Mar 2021 11:06:36 -0500 Date: Fri, 5 Mar 2021 11:06:35 -0500 (EST) From: Jack Hill X-X-Sender: jackhill@marsh.hcoop.net In-Reply-To: Message-ID: References: <20210302004318.26523-1-philip@philipmcgrath.com> <87czwdlt1m.fsf@gnu.org> User-Agent: Alpine 2.21 (DEB 202 2017-01-01) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="925712948-401488496-1614960396=:24664" Received-SPF: pass client-ip=104.248.1.95; envelope-from=jackhill@jackhill.us; helo=minsky.hcoop.net X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URI_DOTEDU=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) 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.4 (--) This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --925712948-401488496-1614960396=:24664 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8BIT Philip, On Fri, 5 Mar 2021, Philip McGrath wrote: > The Racket fork of Chez Scheme has diverged significantly from upstream. […] > [1]: https://www.cs.utah.edu/plt/publications/icfp19-fddkmstz.pdf > [2]: https://github.com/cisco/ChezScheme/pull/336 > [3]: https://www.cs.utah.edu/plt/publications/pldi20-fd.pdf > [4]: https://github.com/racket/racket/pull/3710 > [5]: https://github.com/mflatt/racket/commit/7319a22ed605fb3110b98f6c9aa1e8ed3aa03794 Thanks for pulling all this information together and writing a nice summer. It definitely helped me better understand what was going on with Racket CS. I'm excited to hear about that possibility of a full-source bootstrap as well. Thanks! Jack --925712948-401488496-1614960396=:24664-- From unknown Fri Sep 12 19:35:13 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#46865] [PATCH] gnu: racket: update to 8.0. Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 08 Mar 2021 14:35:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 46865 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Philip McGrath Cc: 46865-done@debbugs.gnu.org Received: via spool by 46865-done@debbugs.gnu.org id=D46865.161521404612607 (code D ref 46865); Mon, 08 Mar 2021 14:35:01 +0000 Received: (at 46865-done) by debbugs.gnu.org; 8 Mar 2021 14:34:06 +0000 Received: from localhost ([127.0.0.1]:42488 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lJGxS-0003HG-8G for submit@debbugs.gnu.org; Mon, 08 Mar 2021 09:34:06 -0500 Received: from eggs.gnu.org ([209.51.188.92]:47808) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lJGxR-0003Gn-Dh for 46865-done@debbugs.gnu.org; Mon, 08 Mar 2021 09:34:05 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:48689) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lJGxL-0002vF-L7; Mon, 08 Mar 2021 09:33:59 -0500 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=41130 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1lJGxG-0006TA-Pm; Mon, 08 Mar 2021 09:33:57 -0500 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20210302004318.26523-1-philip@philipmcgrath.com> <87czwdlt1m.fsf@gnu.org> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 18 =?UTF-8?Q?Vent=C3=B4se?= an 229 de la =?UTF-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Mon, 08 Mar 2021 15:33:53 +0100 In-Reply-To: (Philip McGrath's message of "Fri, 5 Mar 2021 08:35:52 -0500") Message-ID: <87h7llbtpq.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) 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.7 (-) Hi, Philip McGrath skribis: >> Did you try unbundling Chez? It would be great if we could do that. >> (In Guix we unbundle software as much as possible, notably for security >> reasons.) > > The Racket fork of Chez Scheme has diverged significantly from upstream. > Racket regularly syncs with upstream Chez and contributes patches > back, but they are likely to coexist as two different "flavors" of > Chez for the foreseeable future. There's a detailed (though almost > two-year-old) review of the differences in their ICFP report[1]. In > essence, some of Racket's "changes to Chez Scheme are either > controversial or heavyweight compared to the expected benefit for > applications other than Racket". You can see how one controversial > pull request[2] became a Flatt and Dybvig 2020 PLDI paper.[3] At this > point, for example, Racket's Chez has gained an Aarch64 backend, > floating-point unboxing, and a type-reconstruction compiler pass. > > So, no, I don't think there's a prospect of unbundling Chez. OK, that makes sense; thanks for explaining. > On the other hand, since sending this patch, I saw that much of the > work Guix and Nix had to do with around absolute paths could be better=20 > addressed upstream. Racket has merged my fixes for most of them[4] > (and Matthew solved another in C [5]), which means we can greatly > simplify the package definition. I hope to get those fixes into > upstream Chez, too. Nice! > I do think I should be able to unbundle Nanopass, as the Chez Guix > package does. Cool, that=E2=80=99d be a welcome improvement. > Just now I've been working on bootstrapping. Chez has the usual > problem that you need the old version of Chez (specifically > "bootfiles") to compile the new version. Racket's fork added an > architecture-independent backend: those bootfiles are in the source > distribution, which are how the Guix package is building now. But > Racket is also able to simulate enough of Chez to (slowly) compile the > Chez compiler, providing a path to Chez from just a C compiler. Racket > does its whole bootstrapping process regularly in CI, and I'm working > on getting the Guix package to do likewise. Awesome. > (I knew from previous discussions that Racket on Guix could benefit > from some attention, so I'm hoping to use it as an opportunity to > learn more about Guix.) Yup! There have been discussions about having a raco importer (for the =E2=80=9Cguix import=E2=80=9D command), but I think the effort stalled. It= =E2=80=99d go a long way bringing the Racket/Guix/Guile communities together, and it can be hacked in a language all three communities love. :-) Thanks for your work! Ludo=E2=80=99.