From unknown Sat Aug 09 01:45:09 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#75778] [PATCH] gnu: Add microhs. Resent-From: Homo Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 23 Jan 2025 07:38:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 75778 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 75778@debbugs.gnu.org, lars@6xq.net, divya@subvertising.org Cc: Homo X-Debbugs-Original-To: guix-patches@gnu.org, lars@6xq.net, divya@subvertising.org Received: via spool by submit@debbugs.gnu.org id=B.173761783610399 (code B ref -1); Thu, 23 Jan 2025 07:38:02 +0000 Received: (at submit) by debbugs.gnu.org; 23 Jan 2025 07:37:16 +0000 Received: from localhost ([127.0.0.1]:38930 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tarm7-0002he-Ej for submit@debbugs.gnu.org; Thu, 23 Jan 2025 02:37:16 -0500 Received: from lists.gnu.org ([2001:470:142::17]:38412) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tarm5-0002hO-Hf for submit@debbugs.gnu.org; Thu, 23 Jan 2025 02:37:14 -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 1tarlw-0005cl-Ta for guix-patches@gnu.org; Thu, 23 Jan 2025 02:37:06 -0500 Received: from layka.disroot.org ([178.21.23.139]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1tarlp-0000dc-Lh for guix-patches@gnu.org; Thu, 23 Jan 2025 02:37:03 -0500 Received: from mail01.disroot.lan (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 98ADC25C79; Thu, 23 Jan 2025 08:36:54 +0100 (CET) X-Virus-Scanned: SPAM Filter at disroot.org Received: from layka.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavis, port 10024) with ESMTP id cMK3kk7Ft-kc; Thu, 23 Jan 2025 08:36:50 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1737617810; bh=CX6oHJ+pRfcLeq2dMU5DPTnAGFEvdjcDzjKWiw3scJI=; h=From:To:Cc:Subject:Date; b=S1i1KIby2YpKhXSP3zG2e1R0rDn5TjDFOVn5JG6kUVDSXtzjNxvUZchiVMQJSH8NX AupTkVG111Lh56/ttSwdEwQel5fg1GF165GcsvIaqNxrTxgsLaQHvygUES/2sgL8Qm NMHFi0nwOVj0asXJ//hPLcUVoEOGAuIgIHSxrlK12uUAII9v3zC/570P+LZckr/D2t hbhJK7ccBK1t6CFf8LJVpYaUvcqnpNbD0i3bM5AwyTlte5NvDd7+oLmhg5WCscJkg1 1wmA/a1R2GmQgFh1VY4VR6xTo23Gudf6MFROU4g2foV0RjPaXSennXEArOCortCYZv eZi9PeHN2fQ4Q== From: Homo Date: Thu, 23 Jan 2025 09:36:26 +0200 Message-ID: <20250123073630.11285-1-gay@disroot.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=178.21.23.139; envelope-from=gay@disroot.org; helo=layka.disroot.org X-Spam_score_int: 0 X-Spam_score: -0.1 X-Spam_bar: / X-Spam_report: (-0.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, LONGWORDS=2.035, RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 3.5 (+++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Thanks to cooperative work with Lennart Augustsson, MicroHs is now bootstrappable with Hugs. Skipping build of CPPHS because it depends on CPPHS, as well as skipping build of MicroCabal because its source lives in , so need to package it separately. Content analysis details: (3.5 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.9 SPF_FAIL SPF: sender does not match SPF record (fail) [SPF failed: Please see http://www.openspf.org/Why?s=mfrom; id=gay%40disroot.org; ip=2001%3A470%3A142%3A%3A17; r=debbugs.gnu.org] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2001:470:142:0:0:0:0:17 listed in] [list.dnswl.org] 0.8 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.8 LONGWORDS Long string of long words 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.5 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Thanks to cooperative work with Lennart Augustsson, MicroHs is now bootstrappable with Hugs. Skipping build of CPPHS because it depends on CPPHS, as well as skipping build of MicroCabal because its source lives in , so need to package it separately. Content analysis details: (2.5 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2001:470:142:0:0:0:0:17 listed in] [list.dnswl.org] 0.9 SPF_FAIL SPF: sender does not match SPF record (fail) [SPF failed: Please see http://www.openspf.org/Why?s=mfrom;id=gay%40disroot.org;ip=2001%3A470%3A142%3A%3A17;r=debbugs.gnu.org] 0.8 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.8 LONGWORDS Long string of long words -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager Thanks to cooperative work with Lennart Augustsson, MicroHs is now bootstrappable with Hugs. Skipping build of CPPHS because it depends on CPPHS, as well as skipping build of MicroCabal because its source lives in , so need to package it separately. Depends on . * gnu/packages/patches/microhs-Makefile.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/haskell.scm (microhs): New variable. Change-Id: Iedbec3fef125044a36f7beed0d5db0d7ad123d5d --- gnu/local.mk | 1 + gnu/packages/haskell.scm | 42 ++++++++++++ gnu/packages/patches/microhs-Makefile.patch | 76 +++++++++++++++++++++ 3 files changed, 119 insertions(+) create mode 100644 gnu/packages/patches/microhs-Makefile.patch diff --git a/gnu/local.mk b/gnu/local.mk index ecea6ae9c7..0a56634eb5 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1824,6 +1824,7 @@ dist_patch_DATA = \ %D%/packages/patches/mia-vtk9.patch \ %D%/packages/patches/mia-vtk92.patch \ %D%/packages/patches/mia-vtk-version.patch \ + %D%/packages/patches/microhs-Makefile.patch \ %D%/packages/patches/minisat-friend-declaration.patch \ %D%/packages/patches/minisat-install.patch \ %D%/packages/patches/miniz-for-pytorch.patch \ diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 10803f5afe..43774dbc54 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -24,6 +24,7 @@ ;;; Copyright © 2021 Xinglu Chen ;;; Copyright © 2021 Simon Tournier ;;; Copyright © 2023 Maxim Cournoyer +;;; Copyright © 2025 Homo ;;; ;;; This file is part of GNU Guix. ;;; @@ -54,6 +55,7 @@ (define-module (gnu packages haskell) #:use-module (gnu packages gawk) #:use-module (gnu packages gcc) #:use-module (gnu packages ghostscript) + #:use-module (gnu packages hugs) #:use-module (gnu packages libffi) #:use-module (gnu packages linux) #:use-module (gnu packages lisp) @@ -113,6 +115,46 @@ (define-public cl-yale-haskell top of CLISP.") (license license:bsd-4)))) +(define-public microhs + ;; There are no tags, using latest commit from branch "hugs". + (let ((commit "c478ae10b84b722dc41b58d016fd28c8f7e97695") + (revision "0")) + (package + (name "microhs") + (version (git-version "0.11.2.4" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/augustss/MicroHs") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "09rx5zaygc0f3wx4pjxk58q7cfh9ac06194ha2gbqjdis71llfs4")) + (patches (search-patches "microhs-Makefile.patch")) + (modules '((guix build utils))) + ;; Remove pre-build binaries. + (snippet '(delete-file-recursively "generated")))) + (build-system gnu-build-system) + (arguments + (list + ;; TODO: CONF=unix-32 if CPU is 32-bit. + #:make-flags #~(list "CC=gcc" (string-append "PREFIX=" #$output)) + ;; Some tests require GHC and CPPHS. + #:tests? #f + #:phases + #~(modify-phases %standard-phases + (delete 'configure)))) + (inputs (list hugs)) + (native-search-paths + (list (search-path-specification + (variable "MHSDIR") + (files '("lib/mhs"))))) + (home-page "https://github.com/augustss/MicroHs") + (synopsis "A small compiler for Haskell") + (description "A compiler for an extended subset of Haskell-2010. +The compiler translates to combinators and can compile itself.") + (license license:asl2.0)))) + ;; This package contains lots of generated .hc files containing C code to ;; bootstrap the compiler without a Haskell compiler. The included .hc files ;; cover not just the compiler sources but also all Haskell libraries. diff --git a/gnu/packages/patches/microhs-Makefile.patch b/gnu/packages/patches/microhs-Makefile.patch new file mode 100644 index 0000000000..1f407a860d --- /dev/null +++ b/gnu/packages/patches/microhs-Makefile.patch @@ -0,0 +1,76 @@ +Avoid verbosity in (arguments) in Guile code. + +diff --git a/Makefile b/Makefile +index 2b98363b..86d2260e 100644 +--- a/Makefile ++++ b/Makefile +@@ -34,7 +34,7 @@ MAINMODULE=src/MicroHs/Main.hs + # + .PHONY: clean bootstrap install ghcgen newmhs newmhsz cachelib timecompile exampletest cachetest runtest runtestmhs everytest everytestmhs nfibtest info + +-all: bin/mhs bin/cpphs bin/mcabal ++all: bin/mhs + + targets.conf: + echo [default] > targets.conf +@@ -56,11 +56,6 @@ newmhsz: newmhs + sanitizemhs: ghcgen targets.conf + $(CCEVAL) -fsanitize=undefined -fsanitize=address -fsanitize=pointer-compare -fsanitize=pointer-subtract generated/mhs.c -o bin/mhssane + +-# Compile mhs from distribution, with C compiler +-bin/mhs: src/runtime/*.c src/runtime/*.h targets.conf #generated/mhs.c +- @mkdir -p bin +- $(CCEVAL) generated/mhs.c -o bin/mhs +- + # Compile cpphs from distribution, with C compiler + bin/cpphs: src/runtime/*.c src/runtime/config*.h generated/cpphs.c + @mkdir -p bin +@@ -108,16 +103,16 @@ mhs.js: src/*/*.hs src/runtime/*.[ch] targets.conf + bin/mhs $(MHSINC) -temscripten $(MAINMODULE) -o mhs.js + + # Make sure boottrapping works +-bootstrap: bin/mhs-stage2 ++bin/mhs: bin/mhs-stage2 + @echo "*** copy stage2 to bin/mhs" + cp bin/mhs-stage2 bin/mhs + cp generated/mhs-stage2.c generated/mhs.c + + # Build stage1 compiler with existing compiler +-bin/mhs-stage1: bin/mhs src/*/*.hs ++bin/mhs-stage1: bin/hmhs src/*/*.hs + @mkdir -p generated + @echo "*** Build stage1 compiler, using bin/mhs" +- bin/mhs -z $(MHSINC) $(MAINMODULE) -ogenerated/mhs-stage1.c ++ bin/hmhs -z $(MHSINC) $(MAINMODULE) -ogenerated/mhs-stage1.c + $(CCEVAL) generated/mhs-stage1.c -o bin/mhs-stage1 + + # Build stage2 compiler with stage1 compiler, and compare +@@ -178,10 +173,9 @@ clean: + cd tests; make clean + -cabal clean + +-oldinstall: ++install: + mkdir -p $(PREFIX)/bin + cp bin/mhs $(PREFIX)/bin +- -cp bin/cpphs $(PREFIX)/bin + mkdir -p $(PREFIX)/lib/mhs/src/runtime + cp -r lib $(PREFIX)/lib/mhs + cp src/runtime/* $(PREFIX)/lib/mhs/src/runtime +@@ -253,7 +247,7 @@ $(MCABALMHS)/packages/$(BASE).pkg: bin/mhs lib/*.hs lib/*/*.hs lib/*/*/*.hs + bin/mhs -Q $(BASE).pkg $(MCABALMHS) + @rm $(BASE).pkg + +-install: $(MCABALBIN)/mhs $(MCABALBIN)/cpphs $(MCABALBIN)/mcabal $(MCABALMHS)/packages/$(BASE).pkg ++newinstall: $(MCABALBIN)/mhs $(MCABALBIN)/cpphs $(MCABALBIN)/mcabal $(MCABALMHS)/packages/$(BASE).pkg + @echo $$PATH | tr ':' '\012' | grep -q $(MCABALBIN) || echo '***' Add $(MCABALBIN) to the PATH + + # mkdir ~/.mcabal/packages/array-0.5.6.0 +@@ -277,6 +271,6 @@ generated/hmhs.c: + @mkdir -p generated + $(HUGS) $(HUGSINCS) $(MAINMODULE) $(MHSINC) $(MAINMODULE) -ogenerated/hmhs.c + +-bin/hmhs: generated/hmhs.c ++bin/hmhs: generated/hmhs.c src/runtime/*.c src/runtime/*.h targets.conf + @mkdir -p bin + $(CCEVAL) generated/hmhs.c -o bin/hmhs -- 2.47.1 From unknown Sat Aug 09 01:45:09 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#75778] [PATCH] gnu: Add microhs. References: <20250123073630.11285-1-gay@disroot.org> In-Reply-To: <20250123073630.11285-1-gay@disroot.org> Resent-From: gay@disroot.org Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 25 Jan 2025 18:17:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75778 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 75778@debbugs.gnu.org, Lars-Dominik Braun , divya@subvertising.org Received: via spool by 75778-submit@debbugs.gnu.org id=B75778.173782899624218 (code B ref 75778); Sat, 25 Jan 2025 18:17:01 +0000 Received: (at 75778) by debbugs.gnu.org; 25 Jan 2025 18:16:36 +0000 Received: from localhost ([127.0.0.1]:52499 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tbkhw-0006IY-3z for submit@debbugs.gnu.org; Sat, 25 Jan 2025 13:16:36 -0500 Received: from layka.disroot.org ([178.21.23.139]:57218) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1tbkht-0006IH-PN for 75778@debbugs.gnu.org; Sat, 25 Jan 2025 13:16:34 -0500 Received: from mail01.disroot.lan (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 0045525BD7; Sat, 25 Jan 2025 19:16:32 +0100 (CET) X-Virus-Scanned: SPAM Filter at disroot.org Received: from layka.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavis, port 10024) with ESMTP id vusit1LdjRNO; Sat, 25 Jan 2025 19:16:31 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1737828991; bh=44oal0RNAXt9V8T3VzniSqfz3L5NOUInjyi3tA8OA9Y=; h=Date:From:To:Subject; b=VbauA1L0KSPKEgErWLy03dyGDUFTQ0+h2kRKQ+mNXTEkN4FfXaAKAfQ1ujLjegtt7 h3/AqXo4P1kMUCsA9tCip899wINdlDybhjeY+YexpRKlVOFssKVPaaONawzy+rcm// Zf0Ns84xQLpaFr/P7nNKPn4LXUVrp/VkU0izylyEesoLXftc1L/6ckh6exCTK9i4al hxgMsf4gvsQIILBU2d+xYeEvApt7PGCZGMIb9Jhnq9vZV6Or6j5ovj1nn31bBPG1KC hrJE0SwkAfT9+McEPzUiqDJhj//0lU7BmdEHHZgfr2VWY1eEwucE7SLWF8NDPBol8S TKlta2/sRJR7w== MIME-Version: 1.0 Date: Sat, 25 Jan 2025 20:16:31 +0200 From: gay@disroot.org Message-ID: <25ce8eba9245ce9ea517a9b33e811d2e@disroot.org> X-Sender: gay@disroot.org Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit 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 (-) Need help to change CONF=unix-64 to CONF=unix-32 on all 32-bit architectures, MicroHs should work on every architecture without any other modifications, provided Hugs itself is available for bootstrap. From unknown Sat Aug 09 01:45:09 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#75778] [PATCH] gnu: Add microhs. Resent-From: Lars-Dominik Braun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 26 Jan 2025 07:09:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75778 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: gay@disroot.org Cc: 75778@debbugs.gnu.org, divya@subvertising.org Received: via spool by 75778-submit@debbugs.gnu.org id=B75778.173787529018532 (code B ref 75778); Sun, 26 Jan 2025 07:09:02 +0000 Received: (at 75778) by debbugs.gnu.org; 26 Jan 2025 07:08:10 +0000 Received: from localhost ([127.0.0.1]:54049 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tbwkb-0004op-46 for submit@debbugs.gnu.org; Sun, 26 Jan 2025 02:08:09 -0500 Received: from mout-p-201.mailbox.org ([80.241.56.171]:46108) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tbwkX-0004ny-IX for 75778@debbugs.gnu.org; Sun, 26 Jan 2025 02:08:07 -0500 Received: from smtp202.mailbox.org (smtp202.mailbox.org [10.196.197.202]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-201.mailbox.org (Postfix) with ESMTPS id 4YgjLL6jrYz9sJ2; Sun, 26 Jan 2025 08:07:54 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=6xq.net; s=MBO0001; t=1737875275; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=EkharMGZzbXLUKEkhVAAR/xtPpq9gmnYP7rvzZqnCu0=; b=Vp2grb3Q3osT2WSHQc59WcflDVfG3tFDlGBVejNDibyw6pil5Ctw0zGdLbcoduDJqeHCGr ZuttTWTMzl8l8I/iurLy4gJQJObV38V9Yw3r3fQh2WO1j1gAh0RnxUG3WmS5xFCVyzRt6u 4KzrmSTg0/j0PSVPfnkMf0dS7uorZVTO2gDqsxxrO5BcXLQKLltkhzmCrwVOWCw7zvCm6X lI5G6eikQn2ukNZ+OkzJG1cNEwOdcdRCyUpl4Xe0x4aaMgFEGqFBCUBBH1Ptuu4Jhs3HhE FrDrN/Weog3XhKP4bnHoncnJkz41SgqmmetfacG6gUNX2o9SkB4WKPu0zyeI8g== Date: Sun, 26 Jan 2025 08:07:52 +0100 From: Lars-Dominik Braun Message-ID: References: <25ce8eba9245ce9ea517a9b33e811d2e@disroot.org> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="zJSeZZzBM0S66QEs" Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <25ce8eba9245ce9ea517a9b33e811d2e@disroot.org> X-Spam-Score: 1.9 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Hi, > Need help to change CONF=unix-64 to CONF=unix-32 on all 32-bit > architectures, MicroHs should work on every architecture without any > other modifications, provided Hugs itself is available for boo [...] Content analysis details: (1.9 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 RCVD_IN_VALIDITY_RPBL_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [80.241.56.171 listed in bl.score.senderscore.com] -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.7 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at https://www.dnswl.org/, low trust [80.241.56.171 listed in list.dnswl.org] 0.0 RCVD_IN_VALIDITY_CERTIFIED_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [80.241.56.171 listed in sa-trusted.bondedsender.org] 1.8 LONGWORDS Long string of long words -0.0 T_SCC_BODY_TEXT_LINE No description available. 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.9 (/) --zJSeZZzBM0S66QEs Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Hi, > Need help to change CONF=unix-64 to CONF=unix-32 on all 32-bit > architectures, MicroHs should work on every architecture without any > other modifications, provided Hugs itself is available for bootstrap. the attached patch should work and also enables tests. Lars --zJSeZZzBM0S66QEs Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: attachment; filename="0001-gnu-Add-microhs.patch" Content-Transfer-Encoding: 8bit >From 30612fd4a49d73a9c9747b68d98ce94c1993ee08 Mon Sep 17 00:00:00 2001 Message-ID: <30612fd4a49d73a9c9747b68d98ce94c1993ee08.1737875219.git.lars@6xq.net> From: Homo Date: Thu, 23 Jan 2025 09:36:26 +0200 Subject: [PATCH] gnu: Add microhs. Thanks to cooperative work with Lennart Augustsson, MicroHs is now bootstrappable with Hugs. Skipping build of CPPHS because it depends on CPPHS, as well as skipping build of MicroCabal because its source lives in , so need to package it separately. * gnu/packages/patches/microhs-Makefile.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/haskell.scm (microhs): New variable. Change-Id: Iedbec3fef125044a36f7beed0d5db0d7ad123d5d Signed-off-by: Lars-Dominik Braun --- gnu/local.mk | 1 + gnu/packages/haskell.scm | 43 ++++++++++++ gnu/packages/patches/microhs-Makefile.patch | 76 +++++++++++++++++++++ 3 files changed, 120 insertions(+) create mode 100644 gnu/packages/patches/microhs-Makefile.patch diff --git a/gnu/local.mk b/gnu/local.mk index 5091f93eb8..9a44bdfc02 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1835,6 +1835,7 @@ dist_patch_DATA = \ %D%/packages/patches/mia-vtk9.patch \ %D%/packages/patches/mia-vtk92.patch \ %D%/packages/patches/mia-vtk-version.patch \ + %D%/packages/patches/microhs-Makefile.patch \ %D%/packages/patches/minisat-friend-declaration.patch \ %D%/packages/patches/minisat-install.patch \ %D%/packages/patches/miniz-for-pytorch.patch \ diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 10803f5afe..05d2de878a 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -24,6 +24,7 @@ ;;; Copyright © 2021 Xinglu Chen ;;; Copyright © 2021 Simon Tournier ;;; Copyright © 2023 Maxim Cournoyer +;;; Copyright © 2025 Homo ;;; ;;; This file is part of GNU Guix. ;;; @@ -54,6 +55,7 @@ (define-module (gnu packages haskell) #:use-module (gnu packages gawk) #:use-module (gnu packages gcc) #:use-module (gnu packages ghostscript) + #:use-module (gnu packages hugs) #:use-module (gnu packages libffi) #:use-module (gnu packages linux) #:use-module (gnu packages lisp) @@ -113,6 +115,47 @@ (define-public cl-yale-haskell top of CLISP.") (license license:bsd-4)))) +(define-public microhs + ;; There are no tags, using latest commit from branch "hugs". + (let ((commit "c478ae10b84b722dc41b58d016fd28c8f7e97695") + (revision "0")) + (package + (name "microhs") + (version (git-version "0.11.2.4" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/augustss/MicroHs") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "09rx5zaygc0f3wx4pjxk58q7cfh9ac06194ha2gbqjdis71llfs4")) + (patches (search-patches "microhs-Makefile.patch")) + (modules '((guix build utils))) + ;; Remove pre-build binaries. + (snippet '(delete-file-recursively "generated")))) + (build-system gnu-build-system) + (arguments + (list + #:make-flags #~(list "CC=gcc" + (string-append "PREFIX=" #$output) + (string-append "CONF=unix-" + #$(if (target-64bit?) "64" "32"))) + #:test-target "runtestmhs" + #:phases + #~(modify-phases %standard-phases + (delete 'configure)))) + (inputs (list hugs)) + (native-search-paths + (list (search-path-specification + (variable "MHSDIR") + (files '("lib/mhs"))))) + (home-page "https://github.com/augustss/MicroHs") + (synopsis "A small compiler for Haskell") + (description "A compiler for an extended subset of Haskell-2010. +The compiler translates to combinators and can compile itself.") + (license license:asl2.0)))) + ;; This package contains lots of generated .hc files containing C code to ;; bootstrap the compiler without a Haskell compiler. The included .hc files ;; cover not just the compiler sources but also all Haskell libraries. diff --git a/gnu/packages/patches/microhs-Makefile.patch b/gnu/packages/patches/microhs-Makefile.patch new file mode 100644 index 0000000000..1f407a860d --- /dev/null +++ b/gnu/packages/patches/microhs-Makefile.patch @@ -0,0 +1,76 @@ +Avoid verbosity in (arguments) in Guile code. + +diff --git a/Makefile b/Makefile +index 2b98363b..86d2260e 100644 +--- a/Makefile ++++ b/Makefile +@@ -34,7 +34,7 @@ MAINMODULE=src/MicroHs/Main.hs + # + .PHONY: clean bootstrap install ghcgen newmhs newmhsz cachelib timecompile exampletest cachetest runtest runtestmhs everytest everytestmhs nfibtest info + +-all: bin/mhs bin/cpphs bin/mcabal ++all: bin/mhs + + targets.conf: + echo [default] > targets.conf +@@ -56,11 +56,6 @@ newmhsz: newmhs + sanitizemhs: ghcgen targets.conf + $(CCEVAL) -fsanitize=undefined -fsanitize=address -fsanitize=pointer-compare -fsanitize=pointer-subtract generated/mhs.c -o bin/mhssane + +-# Compile mhs from distribution, with C compiler +-bin/mhs: src/runtime/*.c src/runtime/*.h targets.conf #generated/mhs.c +- @mkdir -p bin +- $(CCEVAL) generated/mhs.c -o bin/mhs +- + # Compile cpphs from distribution, with C compiler + bin/cpphs: src/runtime/*.c src/runtime/config*.h generated/cpphs.c + @mkdir -p bin +@@ -108,16 +103,16 @@ mhs.js: src/*/*.hs src/runtime/*.[ch] targets.conf + bin/mhs $(MHSINC) -temscripten $(MAINMODULE) -o mhs.js + + # Make sure boottrapping works +-bootstrap: bin/mhs-stage2 ++bin/mhs: bin/mhs-stage2 + @echo "*** copy stage2 to bin/mhs" + cp bin/mhs-stage2 bin/mhs + cp generated/mhs-stage2.c generated/mhs.c + + # Build stage1 compiler with existing compiler +-bin/mhs-stage1: bin/mhs src/*/*.hs ++bin/mhs-stage1: bin/hmhs src/*/*.hs + @mkdir -p generated + @echo "*** Build stage1 compiler, using bin/mhs" +- bin/mhs -z $(MHSINC) $(MAINMODULE) -ogenerated/mhs-stage1.c ++ bin/hmhs -z $(MHSINC) $(MAINMODULE) -ogenerated/mhs-stage1.c + $(CCEVAL) generated/mhs-stage1.c -o bin/mhs-stage1 + + # Build stage2 compiler with stage1 compiler, and compare +@@ -178,10 +173,9 @@ clean: + cd tests; make clean + -cabal clean + +-oldinstall: ++install: + mkdir -p $(PREFIX)/bin + cp bin/mhs $(PREFIX)/bin +- -cp bin/cpphs $(PREFIX)/bin + mkdir -p $(PREFIX)/lib/mhs/src/runtime + cp -r lib $(PREFIX)/lib/mhs + cp src/runtime/* $(PREFIX)/lib/mhs/src/runtime +@@ -253,7 +247,7 @@ $(MCABALMHS)/packages/$(BASE).pkg: bin/mhs lib/*.hs lib/*/*.hs lib/*/*/*.hs + bin/mhs -Q $(BASE).pkg $(MCABALMHS) + @rm $(BASE).pkg + +-install: $(MCABALBIN)/mhs $(MCABALBIN)/cpphs $(MCABALBIN)/mcabal $(MCABALMHS)/packages/$(BASE).pkg ++newinstall: $(MCABALBIN)/mhs $(MCABALBIN)/cpphs $(MCABALBIN)/mcabal $(MCABALMHS)/packages/$(BASE).pkg + @echo $$PATH | tr ':' '\012' | grep -q $(MCABALBIN) || echo '***' Add $(MCABALBIN) to the PATH + + # mkdir ~/.mcabal/packages/array-0.5.6.0 +@@ -277,6 +271,6 @@ generated/hmhs.c: + @mkdir -p generated + $(HUGS) $(HUGSINCS) $(MAINMODULE) $(MHSINC) $(MAINMODULE) -ogenerated/hmhs.c + +-bin/hmhs: generated/hmhs.c ++bin/hmhs: generated/hmhs.c src/runtime/*.c src/runtime/*.h targets.conf + @mkdir -p bin + $(CCEVAL) generated/hmhs.c -o bin/hmhs base-commit: b226a1007a9111adacb05984b8d74def24257dce -- 2.45.3 --zJSeZZzBM0S66QEs-- From unknown Sat Aug 09 01:45:09 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#75778] [PATCH] gnu: Add microhs. Resent-From: gay@disroot.org Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 26 Jan 2025 14:52:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75778 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Lars-Dominik Braun , 75778 <75778@debbugs.gnu.org> Received: via spool by 75778-submit@debbugs.gnu.org id=B75778.17379030906486 (code B ref 75778); Sun, 26 Jan 2025 14:52:01 +0000 Received: (at 75778) by debbugs.gnu.org; 26 Jan 2025 14:51:30 +0000 Received: from localhost ([127.0.0.1]:55533 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tc3z0-0001gY-0c for submit@debbugs.gnu.org; Sun, 26 Jan 2025 09:51:30 -0500 Received: from layka.disroot.org ([178.21.23.139]:50390) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1tc3yx-0001gI-R2 for 75778@debbugs.gnu.org; Sun, 26 Jan 2025 09:51:28 -0500 Received: from mail01.disroot.lan (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 3BD21259FE; Sun, 26 Jan 2025 15:51:26 +0100 (CET) X-Virus-Scanned: SPAM Filter at disroot.org Received: from layka.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavis, port 10024) with ESMTP id SRGk4XLPsiPT; Sun, 26 Jan 2025 15:51:25 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1737903085; bh=CykBKMTXYogyQ0mni0kp9k4Y+ELxQ5OmsMnJEFziL7Y=; h=Date:From:To:Subject:In-Reply-To:References; b=Hj1ni82P7FuErXBwpVWhAEJFcpekZq0U37nqtQUvlIOCXXtGu4Y106XKF3A8sTcC+ KvPTB+620tHmJIQmNsLpfXn0veWgMs8VKxRXg+YcGECAR5sgCt8SYLGVX4xmDpEv5t nU9EhoTLx6FVBYg15skAZSEOIxTqZa94szUdJlSDv7GSOdzlwMeG5gUi4wnoh7vEgW J4RlOe+GgR0tP9mYuHKfAap/p8kpQq/MQ0BDK0Twu/IhWEliFTvm2k6kA425yb6nNT ivFINGpppCIy0MdZ1E18kh1NiwLweUuGRLg/N8ZR8IQIjRm8Ig+dcdnhJGzDbclxYn IHf8zEU5eqjLw== MIME-Version: 1.0 Date: Sun, 26 Jan 2025 16:51:25 +0200 From: gay@disroot.org In-Reply-To: References: <25ce8eba9245ce9ea517a9b33e811d2e@disroot.org> Message-ID: <046ba89455944db143aa84f1e3062443@disroot.org> X-Sender: gay@disroot.org Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit 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 (-) Nice, thank you :) To anyone having non-x86 hardware: testing would be helpful, especially considering there is bug in Hugs that triggers randomly depending on hardware and/or OS. From unknown Sat Aug 09 01:45:09 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#75778] [PATCH] gnu: Add microhs. Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 12 Feb 2025 10:00:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75778 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Lars-Dominik Braun Cc: 75778@debbugs.gnu.org, divya@subvertising.org, gay@disroot.org Received: via spool by 75778-submit@debbugs.gnu.org id=B75778.173935436114782 (code B ref 75778); Wed, 12 Feb 2025 10:00:02 +0000 Received: (at 75778) by debbugs.gnu.org; 12 Feb 2025 09:59:21 +0000 Received: from localhost ([127.0.0.1]:32777 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ti9Wa-0003qM-Qj for submit@debbugs.gnu.org; Wed, 12 Feb 2025 04:59:21 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:51192) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1ti9WY-0003q6-58 for 75778@debbugs.gnu.org; Wed, 12 Feb 2025 04:59:19 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ti9WS-0000RF-Bq; Wed, 12 Feb 2025 04:59:12 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=aYsLoGx77BxDXPrKsxTCKnF4UsfvmkVQNwnXv3k/VAU=; b=Ja4aoC0shgbKt27ZY+Dt wvtzD+wY621rbLKiJfbVdRvvUtkqRLp0peWQcjHxrlOjBJGOATspf6twjllthkTkY4CyPlZuNLhxm eiCGDNInwDE1zpwj992MduceTtYMbhWYTUTrAhqyBwHaDoOdaEWFmdZlLh5gP+TXNKlnfnasA4zzP CNoomfxXOaiN5KEJ3UkUsjiBWu+wertLLznZ2VkCT1X1OBowy+q9xm5XVsX8a/lwnVWCbdY0+KZFh yyRX6sc3xCrbrT1zv1LOGSBQEZG5i99xqdZDbjoc02xOzm5EnpM/CZeVI6SDdjHxjqZPGmYRxo+Ia +7mWsrq2n2tKVA==; From: Ludovic =?UTF-8?Q?Court=C3=A8s?= In-Reply-To: (Lars-Dominik Braun's message of "Sun, 26 Jan 2025 08:07:52 +0100") References: <25ce8eba9245ce9ea517a9b33e811d2e@disroot.org> Date: Wed, 12 Feb 2025 10:59:09 +0100 Message-ID: <878qqb7ac2.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.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: -3.3 (---) Hello, Lars-Dominik Braun skribis: >>>From 30612fd4a49d73a9c9747b68d98ce94c1993ee08 Mon Sep 17 00:00:00 2001 > Message-ID: <30612fd4a49d73a9c9747b68d98ce94c1993ee08.1737875219.git.lars= @6xq.net> > From: Homo > Date: Thu, 23 Jan 2025 09:36:26 +0200 > Subject: [PATCH] gnu: Add microhs. > > Thanks to cooperative work with Lennart Augustsson, MicroHs is now bootst= rappable with Hugs. > > Skipping build of CPPHS because it depends on CPPHS, as well as skipping = build of MicroCabal because its source lives in , so need to package it separately. > > * gnu/packages/patches/microhs-Makefile.patch: New file. > * gnu/local.mk (dist_patch_DATA): Register it. > * gnu/packages/haskell.scm (microhs): New variable. > > Change-Id: Iedbec3fef125044a36f7beed0d5db0d7ad123d5d > Signed-off-by: Lars-Dominik Braun Lars, please commit if you think it=E2=80=99s ready. Thanks, Ludo=E2=80=99. From unknown Sat Aug 09 01:45:09 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#75778] [PATCH] gnu: Add microhs. Resent-From: Lars-Dominik Braun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 12 Feb 2025 15:03:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75778 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 75778@debbugs.gnu.org, divya@subvertising.org, gay@disroot.org Received: via spool by 75778-submit@debbugs.gnu.org id=B75778.17393725445891 (code B ref 75778); Wed, 12 Feb 2025 15:03:02 +0000 Received: (at 75778) by debbugs.gnu.org; 12 Feb 2025 15:02:24 +0000 Received: from localhost ([127.0.0.1]:37731 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tiEFs-0001Wx-6N for submit@debbugs.gnu.org; Wed, 12 Feb 2025 10:02:24 -0500 Received: from mout-p-202.mailbox.org ([2001:67c:2050:0:465::202]:54638) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tiEFp-0001Wb-9H for 75778@debbugs.gnu.org; Wed, 12 Feb 2025 10:02:22 -0500 Received: from smtp102.mailbox.org (smtp102.mailbox.org [10.196.197.102]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-202.mailbox.org (Postfix) with ESMTPS id 4YtM3l1X5xz9t74; Wed, 12 Feb 2025 16:02:11 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=6xq.net; s=MBO0001; t=1739372531; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=kI0Km2c9HutPomI+L0qQEIDkvaKk2LH+oJ4roZE20po=; b=KeDm5aFdVfCbsqemUv7zlnZgZURdlmcjdjEmTEp3/Kb/+Kl5kX2VC1qXzT9qOwiBb5yjw2 wDGh5K8j/uNhQpnXY4OmEhA5rHf35FE9lz/BHIEjuBUubpkQg9e5pZnlEzemnGqG8Z4+Gz knPswHnU6HBV02jsGmdpupgjKPtJ5HM0hU8JySQFXEIgcR+xZgFLQ4ttHskAEzU5kLsO9F oeSZWi71bomftTwM/hLcTt5oVPrxCSI3KsX7+P9yZBxhGN5BfRakEwyLOuht4WAUK6mta8 hmlo5FbkFAZm3P8Fj2wPtdU4PnfEiZ0C+wOiv6yH4hzM2ZnMDqdYEEZWYs4PBA== Date: Wed, 12 Feb 2025 16:02:08 +0100 From: Lars-Dominik Braun Message-ID: References: <25ce8eba9245ce9ea517a9b33e811d2e@disroot.org> <878qqb7ac2.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <878qqb7ac2.fsf@gnu.org> 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, > Lars, please commit if you think it’s ready. I’m not sure we should add microhs in its current state. This package uses a random commit on the upstream hugs branch. And over at https://issues.guix.gnu.org/75787 we’re unsure how to actually make use of it (i.e. make it build Haskell packages). So I would like to wait until a) the hugs branch is merged into master and packaged into a proper release b) we can figure out how to make microcabal work. Lars From unknown Sat Aug 09 01:45:09 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#75778] [PATCH] gnu: Add microhs. Resent-From: Divya Ranjan Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 05 Apr 2025 15:10:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75778 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Lars-Dominik Braun Cc: 75778@debbugs.gnu.org, Ludovic =?UTF-8?Q?Court=C3=A8s?= , lennart@augustsson.net, gay@disroot.org Received: via spool by 75778-submit@debbugs.gnu.org id=B75778.17438657609505 (code B ref 75778); Sat, 05 Apr 2025 15:10:01 +0000 Received: (at 75778) by debbugs.gnu.org; 5 Apr 2025 15:09:20 +0000 Received: from localhost ([127.0.0.1]:44310 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u1595-0002TF-PR for submit@debbugs.gnu.org; Sat, 05 Apr 2025 11:09:20 -0400 Received: from devianza.investici.org ([198.167.222.108]:64403) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u1592-0002T3-Ki for 75778@debbugs.gnu.org; Sat, 05 Apr 2025 11:09:17 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=subvertising.org; s=stigmate; t=1743865755; bh=5+8UU8Octscy63kGigkGgyC8p9ZzSRPQ57nD9eH3m8o=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=YslhBoS0bfk4ge3gpsAiNlydXaOJOAZCkCQjrAZguHlJXkB/dfeIfudEKu3e/fgvj hYI1mOd8F7gpiptXMUDx8mHTximsUBA0rKSpnubQjZ4THzusPlGB2F1j2fYFUZkqP6 EbELXaY6QNHiGp2IYFFx/FgQY2c1W9PfrnnIy6e4= Received: from mx2.investici.org (unknown [127.0.0.1]) by devianza.investici.org (Postfix) with ESMTP id 4ZVJlv2Gf1z6vGQ; Sat, 5 Apr 2025 15:09:15 +0000 (UTC) Received: from [198.167.222.108] (mx2.investici.org [198.167.222.108]) (Authenticated sender: divya@subvertising.org) by localhost (Postfix) with ESMTPSA id 4ZVJlt0YJ3z6v8h; Sat, 5 Apr 2025 15:09:13 +0000 (UTC) From: Divya Ranjan In-Reply-To: (Lars-Dominik Braun's message of "Wed, 12 Feb 2025 16:02:08 +0100") References: <25ce8eba9245ce9ea517a9b33e811d2e@disroot.org> <878qqb7ac2.fsf@gnu.org> Date: Sat, 05 Apr 2025 15:09:06 +0000 Message-ID: <87bjtalk6l.fsf@subvertising.org> User-Agent: Gnus/5.13 (Gnus v5.13) 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 (-) Hello Lars, > I=E2=80=99m not sure we should add microhs in its current state. This > package uses a random commit on the upstream hugs branch. And over at > https://issues.guix.gnu.org/75787 we=E2=80=99re unsure how to actually ma= ke > use of it (i.e. make it build Haskell packages). So I would like to > wait until a) the hugs branch is merged into master and packaged into > a proper release b) we can figure out how to make microcabal work. Have you looked into microhs since then? It would be nice to have a bootstrappable implementation of Haskell, and mo= reover, have you considered if we could compile any version of GHC through = MicroHS. I=E2=80=99ve CC=E2=80=99ed Lennard (author of MicroHS), hopefully = he can provide us with more input. Regards, --=20 Divya Ranjan, Philosophy, Mathematics, Libre Software. PGP Fingerprint: F0B3 1A69 8006 8FB8 096A 2F12 B245 10C6 108C 8D4A From unknown Sat Aug 09 01:45:09 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#75778] [PATCH] gnu: Add microhs. Resent-From: Lars-Dominik Braun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 23 Apr 2025 14:22:07 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75778 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Divya Ranjan Cc: 75778@debbugs.gnu.org Received: via spool by 75778-submit@debbugs.gnu.org id=B75778.17454180792711 (code B ref 75778); Wed, 23 Apr 2025 14:22:07 +0000 Received: (at 75778) by debbugs.gnu.org; 23 Apr 2025 14:21:19 +0000 Received: from localhost ([127.0.0.1]:58178 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u7ayU-0000hV-01 for submit@debbugs.gnu.org; Wed, 23 Apr 2025 10:21:19 -0400 Received: from mout-p-102.mailbox.org ([80.241.56.152]:37038) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u7ayM-0000fD-0C for 75778@debbugs.gnu.org; Wed, 23 Apr 2025 10:21:13 -0400 Received: from smtp1.mailbox.org (smtp1.mailbox.org [10.196.197.1]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-102.mailbox.org (Postfix) with ESMTPS id 4ZjLqx4ZsFz9t5m; Wed, 23 Apr 2025 16:21:01 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=6xq.net; s=MBO0001; t=1745418061; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=6BeizJIkHuO15+4GA+uY0vMhFU8DM1354XpX6vv7Zd0=; b=pocmANtAtBfIflrXsBks42zwUI/FMYt1bnmgu1aYu8eyJ/rSCxaAjvc1pzy0lZAz3+Ni1D ZT8q+i1LBnmhsg3xgwDCvlKTyYZUPqA26XJg/hsqoVAKWBQqksHchQCGARxeqscipbtPhx m7XOOl17vqJiFZB2VJDmT5ZbN6LbEmbKkjIjO31wGl3CMEgf4paU/cifCn/U9Fx91f2uRd igsQVsVBe0eIp46FyUAtuqJ8eNjIgcmIAV1oS1I15aEnYU8oxGNISbCBunhC2ybyBx+rfV 3BUqLB4k2ezK5aUYwFASjBpUuRu8YNq9shjdCwlgdEj2t7fGdnnFvz6zoFJ93w== Date: Wed, 23 Apr 2025 16:20:59 +0200 From: Lars-Dominik Braun Message-ID: References: <25ce8eba9245ce9ea517a9b33e811d2e@disroot.org> <878qqb7ac2.fsf@gnu.org> <87bjtalk6l.fsf@subvertising.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <87bjtalk6l.fsf@subvertising.org> 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, > Have you looked into microhs since then? unfortunately I have not, so I cannot provide any updates. Lars