From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id 8GtNOKk25mR9ywAASxT56A (envelope-from ) for ; Wed, 23 Aug 2023 18:41:14 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id gCnsN6k25mTnGAEAauVa8A (envelope-from ) for ; Wed, 23 Aug 2023 18:41:13 +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 824C751334 for ; Wed, 23 Aug 2023 18:41:13 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=NEMkKoRp; 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=gmail.com ARC-Seal: i=1; s=key1; d=yhetil.org; t=1692808873; a=rsa-sha256; cv=none; b=FamYTSQWWbKxtCvb9hgXJCsK8cZI6I8ZknV/M2/BYZ1N/IF5u/a7tbWDE69jfwrwKvIILp Bh0B1GxEE4VkDXwBYtWJyBJ5xdvPXtixlHI2jXSBJe3hRl15RtosAEumkePPd7snzG86BM PZ/NdKjhngIvzEsf5ntF7PvL078u047k8pY3yt3T3ZnMblEszSC3lVyhOEw5WdefNvPO9v 2Lzc0CDVOTqhnFqGhP2BesNR9MHJK9fi4weaVMDsaplWPBN2KZAmB0GxkA5stA4EgkKW/n U7YioacMHfnoSMaAINvlTr5IpjYoosjqgvGbEUN6S5tGl90KvcNAtlFCooYCBA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=NEMkKoRp; 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=gmail.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1692808873; 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=+BY31QuJlZQg8OlPpKytvnMVK1cVIO+tAgjNGcw6x9s=; b=YBxFkLr2F4u7yG9LNNQEcB82ryDF2/ZP2Idb2s7feRQMG4O5S7CJCsRJum1Ja1NevCq8TG w7vHt/TZuNLOsVeV2fwL/kS3TXi04erFJad6bERnWIWIDCmM8byLinlAQ4Bb5IHEfQIK3p 4We7j527BIoyd6QwjLXqwLAXBT7MT0JAmGkbFDGJh7miFFgfzCI0I4Wsq02dy9AwDmfSHB eTtFVapdX7+06O3NkHNaII9xBs/TveMth6zvjOWk/VjuBrnaGifmBP7LLN0nbK3lUqg2Tm DZWOScVFealM1Fu60m+7FJs3m8RRV5yRqlFPI4j/SrnHzGpSbmV1lODkTvbghw== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qYquE-0002H8-7k; Wed, 23 Aug 2023 12:40:30 -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 1qYqu5-0002Fv-UN for guix-devel@gnu.org; Wed, 23 Aug 2023 12:40:21 -0400 Received: from mail-wr1-x432.google.com ([2a00:1450:4864:20::432]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qYqu4-00043l-8x for guix-devel@gnu.org; Wed, 23 Aug 2023 12:40:21 -0400 Received: by mail-wr1-x432.google.com with SMTP id ffacd0b85a97d-31c5ee810e3so458865f8f.0 for ; Wed, 23 Aug 2023 09:40:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1692808817; x=1693413617; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=+BY31QuJlZQg8OlPpKytvnMVK1cVIO+tAgjNGcw6x9s=; b=NEMkKoRpZxW5j32U1T2XrjzzUKfwQcWiWYgK+Y30lWFmM1gve0JnY0hsXttziI3Kam oLs7ICdvx6HpwSY5vOtk2V7Or8BWcAn9oEZcXaJQgLz9iIprn8e/yuAr4sf+zKD5NiIX DCA/xNpoFHiZ47gSwaETrpJRoUGmHqdrJQiedc210dCYssbuS/hGV/nGJksjgJkYiboX tOPr+FH5azZ2I7071g17w/9IJwGKcuKHrARg8hWnvvdAAELITvtuxXZwZzJ2YqK0XmvL 1vk2iW11lF+KoExqK2oOvYDtNJ74GDyNDYAq6RBedbeazoYqCj0b25xMdTUHwlRY9ykI E+ZQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1692808817; x=1693413617; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=+BY31QuJlZQg8OlPpKytvnMVK1cVIO+tAgjNGcw6x9s=; b=EbQKXkuOycSgYgvR7JA8PJ70ap6zWQTJe07TX1ODQyL4UHcXwmUUq+S7imnTNnOGNf Czx1ZwWrcT8rZdygdlGyadqtoVJ/6IWhJ8pSHU23rQi8S4T1vm3vqoX2Z/HY07VTnj/X +AkknElIaCbNMtEzU2/lFfpQfxU2JuEefcKSCZgG+NvJ8HCNIN3anD3463khiblocjld 2rHOCmaElsssXu8b+IAyBxav2uAVehQeM49xylDclOp3/LPjE0sTMsSFQ3RasYoV06gM LLNRegR8chN51dChWfyNjfVw4drZv8CDOsbBGtVWK9TBWT3TVdTD1QdT289MQVReIu2c wFHg== X-Gm-Message-State: AOJu0Ywzk935pSGRY4frwM0HneSXDE6nrCUzlg6YE02TKc1akDz/gPQN p3PHYcz3gCA69X+W1Pcx0DtmVYgzaVc= X-Google-Smtp-Source: AGHT+IGMCzv54pyv/YZHwr4G/BnupODFEx/9gdUbM7F7/sKHqrV2X/DnROUSZq315xO1lrAr+11hlQ== X-Received: by 2002:adf:f706:0:b0:317:e9c9:5951 with SMTP id r6-20020adff706000000b00317e9c95951mr9086336wrp.7.1692808817378; Wed, 23 Aug 2023 09:40:17 -0700 (PDT) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id w6-20020a5d6806000000b0031c6ae19e27sm3021219wru.99.2023.08.23.09.40.16 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 23 Aug 2023 09:40:17 -0700 (PDT) From: Simon Tournier To: pukkamustard , guix-devel Cc: Julien Lepiller Subject: Re: Ideas for ocaml-team In-Reply-To: <86bkhgc7jj.fsf@posteo.net> References: <86bkhgc7jj.fsf@posteo.net> Date: Wed, 23 Aug 2023 10:56:55 +0200 Message-ID: <86cyze3zmw.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::432; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x432.google.com X-Spam_score_int: -5 X-Spam_score: -0.6 X-Spam_bar: / X-Spam_report: (-0.6 / 5.0 requ) BAYES_00=-1.9, DATE_IN_PAST_06_12=1.543, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no 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: mx0.migadu.com X-Spam-Score: -9.58 X-Migadu-Queue-Id: 824C751334 X-Migadu-Spam-Score: -9.58 X-TUID: ldfJCs3uhZFg Hi, I am very late to the party. On Fri, 16 Jun 2023 at 04:32, pukkamustard wrote: > 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? > * 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 enou= gh for 4.14. And if 4.14 would also be enough for 5. That=E2=80=99s said, aside this bootstrapping consideration, I am in favor = to remove 4.07 and 4.09 OCaml packages. > * Split packages from (gnu packages ocaml) into multiple modules. Maybe > in following modules: > > - (gnu packages ocaml): For the compiler and core dev packages (opam, > dune, merlin) > - (gnu packages ocaml-boot): For the 4.07 and 4.09 compilers > - (gnu packages ocaml-xyz): Everything else This split makes sense to me. Do we create the branch ocaml-team for doing this plan? Cheers, simon