From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:403:4789::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id kNIsB7UOAGVtMgEA9RJhRA:P1 (envelope-from ) for ; Tue, 12 Sep 2023 09:09:41 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:4789::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id kNIsB7UOAGVtMgEA9RJhRA (envelope-from ) for ; Tue, 12 Sep 2023 09:09:41 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 816D140CA7 for ; Tue, 12 Sep 2023 09:09:40 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=posteo.net header.s=2017 header.b=cM6ysU+y; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=posteo.net ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1694502581; h=from:from:sender:sender: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:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=iD3q8VXUhcfhRCJb+aODA4ZBmiOkmnamMqck73IsHWY=; b=bMlHqjKsdYFvmaaFKokU2wyodlE1BsLIWwp08M90OGvKgd5Dv/ZPRnB2lH1SevWtaeoFTr vqh+y0x/EXatSA82X2s+d/sqgcUjDqzbYmKnlJjCiTs5kQ76Dh3tbWGLIOkg8taYx2Wucl 0USXTDwXs5mhK8NkPdPDnOAxI6mIbuFnRfnf1e74PBcOt2k6qw8RKZTAocT0f8IE7n1zKm Wg374vHyizMBid98BIwNOzqLjukaF3m9bHE3lBaAZ+2Q+YgWZoMDClVYFSF97wWf801JPz QMZW1WjYL/i6JXhBSUtXh/RAJKnpk5u3LUB2CH8uC3mKMrhxl5jHQGxajicvYg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=posteo.net header.s=2017 header.b=cM6ysU+y; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=posteo.net ARC-Seal: i=1; s=key1; d=yhetil.org; t=1694502581; a=rsa-sha256; cv=none; b=PQHJmtiLVeqR5cq2NusMr5j8x5oC+CH8QEF399LLLFJ8NI+/51KviO/0Aist1vQ8bgmviI ruX6k1WyK5u9Gg/JKI0sjTMYjBTwl7kGQbuSnDIWdRCLczZhIZnpe1aTaCBjfQwquIk7NZ ee6sShucn8GCbN5b+3I98STZ5MFlhrZKePYK374SpEiHyC9A+C9/+0vxovUdJS93u0GYDs AgF/ff5NyhQxhMLdQt2uW/mJcxkUU8xEafEfOwCnGTi5EE4I1PHFr0sUVQ780eopB99bht iT2bwsx//x2TkXQncrvjtbeYLuinGx7UJzisuws5hX+xSIoqULHLI17sOA9+Bw== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qfxW1-0000pA-2i; Tue, 12 Sep 2023 03:08:53 -0400 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 1qfxVz-0000oN-3l for guix-devel@gnu.org; Tue, 12 Sep 2023 03:08:51 -0400 Received: from mout01.posteo.de ([185.67.36.65]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qfxVv-0004nd-6Q for guix-devel@gnu.org; Tue, 12 Sep 2023 03:08:50 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id C8285240027 for ; Tue, 12 Sep 2023 09:08:42 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1694502522; bh=B8GUOvviLec/MRvK+ElBuNE/MgRKlM/U1syo9bS27D4=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version: Content-Transfer-Encoding:From; b=cM6ysU+yRc9P8u1xND69ABOA1+13b9iYLqxzSGtg7UUVuQBJztkXda6tqbF5US/5J kWsXRYfzDps3KAchUozsr+xFwhSeUuisD5YnKLwBoFjFfBCkUiDATUZ9ZKJtymLbKk YrVw6uVBZKRa9AUP3kubxQS4dyOACM+jcgjnkG9JT1HbCZ1vOM61L4Mn1IxpjH+ns4 9euEdoILp88EKxxZC4xzyj9MppaIjz2oC1Ku1NaD+9JLnMupOBXCfVfi0p9x8cpXNf ddoPUc1pJJ/2IQFR+DI1Yh6H8XRr1zrpbvSND2kDDvLOZN0NesgTdUqa7tn57aYDB6 BjF+OS8BXHYOA== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4RlF6x65CQz9rxH; Tue, 12 Sep 2023 09:08:41 +0200 (CEST) References: <86bkhgc7jj.fsf@posteo.net> <86cyze3zmw.fsf@gmail.com> From: pukkamustard To: Simon Tournier Cc: guix-devel , Julien Lepiller Subject: Re: Ideas for ocaml-team Date: Tue, 12 Sep 2023 06:57:56 +0000 In-reply-to: <86cyze3zmw.fsf@gmail.com> Message-ID: <86zg1r3m2z.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=185.67.36.65; envelope-from=pukkamustard@posteo.net; helo=mout01.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 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_MED=-2.3, RCVD_IN_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Scanner: mx1.migadu.com X-Migadu-Spam-Score: -7.06 X-Spam-Score: -7.06 X-Migadu-Queue-Id: 816D140CA7 X-TUID: jJPDUPLmZoGU Salut! Simon Tournier writes: >> I think it's time to start an `ocaml-team` (or `ocaml-updates`) branch >> to collect some bigger updates and changes to the OCaml packages in >> Guix. > > I think that=E2=80=99s a great idea. :-) Any progress on this? > There is #64249 (https://issues.guix.gnu.org/64249) to which I just submitted a v6. >> * Remove most ocaml4.07-* and ocaml4.09 packages >> - We only want to keep the compiler around for bootstrapping purposes. > > Currently camlboot is used by ocaml-4.07-boot used by ocaml-4.07. But > then version 4.09 and later and not bootstrapped; well they use the > upstream bootstrap (which is boot/ocamlc and friends IIRC). > > Well, independently of this upgrade plan, the OCaml bootstrap could be > the chain 4.07 -> 4.09 -> =E2=80=A6 and I do not know if 4.09 would be en= ough > for 4.14. And if 4.14 would also be enough for 5. I don't know either and I don't think I will have time to look into this soonish. I think placing the 4.07 and 4.09 compiler in (gnu packages ocaml-boot), even if unused, seems reasonable. We should add some nice comments/breadcrumbs for whoever looks into completing the chain in the future. > That=E2=80=99s said, aside this bootstrapping consideration, I am in favo= r to > remove 4.07 and 4.09 OCaml packages. Ack > Do we create the branch ocaml-team for doing this plan? Just asked a similar question in the cover for the v6 to #64249. Basically I don't know how fast I/we will be able to look into the other items in this list. Maybe it makes sense to just merge in to master instead of having a too long-lived ocaml-team branch? Or set a pre-defined time-to-live for the branch? What's the current modus operandi for other teams? Cheers, pukkamustard