From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id IAoEHfAlpGBp9wAAgWs5BA (envelope-from ) for ; Tue, 18 May 2021 22:39:12 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id YL2wGPAlpGChRAAA1q6Kng (envelope-from ) for ; Tue, 18 May 2021 20:39:12 +0000 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 27D701A5AD for ; Tue, 18 May 2021 22:39:12 +0200 (CEST) Received: from localhost ([::1]:48878 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lj6Uh-0004XK-1a for larch@yhetil.org; Tue, 18 May 2021 16:39:11 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:49234) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lj6UY-0004Ve-Nr for guix-patches@gnu.org; Tue, 18 May 2021 16:39:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:45890) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lj6UY-0005f6-GJ for guix-patches@gnu.org; Tue, 18 May 2021 16:39:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lj6UY-0000fC-EC for guix-patches@gnu.org; Tue, 18 May 2021 16:39:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#47768] ocaml - how can we get more recent version of core-kernel and common ppx'es Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 18 May 2021 20:39:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 47768 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Erik Cc: guix-devel@gnu.org, 47768@debbugs.gnu.org Received: via spool by 47768-submit@debbugs.gnu.org id=B47768.16213703252520 (code B ref 47768); Tue, 18 May 2021 20:39:02 +0000 Received: (at 47768) by debbugs.gnu.org; 18 May 2021 20:38:45 +0000 Received: from localhost ([127.0.0.1]:57435 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lj6UH-0000eZ-30 for submit@debbugs.gnu.org; Tue, 18 May 2021 16:38:45 -0400 Received: from mout01.posteo.de ([185.67.36.65]:54807) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lj6UD-0000eJ-81 for 47768@debbugs.gnu.org; Tue, 18 May 2021 16:38:43 -0400 Received: from submission (posteo.de [89.146.220.130]) by mout01.posteo.de (Postfix) with ESMTPS id 38A2C240026 for <47768@debbugs.gnu.org>; Tue, 18 May 2021 22:38:34 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1621370314; bh=wlUa+eut8UEXjIkzbw+0646qcZexmN197WVxuUyljZY=; h=From:To:Cc:Subject:Date:From; b=WwXhp1gH+01FO1hkK5iLHrO0/g+xoAPqVyW048g5ScHor4D0x/gfE6YKx2nKqsXRG morEeNZi8CtltN4k9hvuCABFWO4oX6EUOOAYVsIeTffEIEflzWzitnbk3p2w7zhG2z rwZsCPbP6CHv6jaO6PYO3+kXcRJm+WJo2pNdy06uoxALZYTLkuJq7BPfqPWgHgBZ6t +3WdO1Ghewoirup5sLgn7ceJKxIGOKiKNShYY4duO6FxgTgBliiossJTSCURVGweY9 YpbVCN1V+acbEH8kQgchRgoIt+6obffEQ1YW06Y+CMdUsLiapp9aHZBNMMn0Ln+wk3 D6SdB+jSLEOIg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Fl7BK0cPMz6tm9; Tue, 18 May 2021 22:38:32 +0200 (CEST) References: From: pukkamustard Date: Tue, 18 May 2021 20:29:04 +0000 In-reply-to: Message-ID: <86h7iz7p6f.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain; format=flowed X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1621370352; 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:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=5CP3H1I6qxq9y/6fnhONWiLVIsaXi4HQRmDMZFBUl2U=; b=pxcDXKoWYaHKxudu+IdauNXKlHaFRAdCNMkD0W3oxtl2dmMHhYV/b+4WqSETixPBGcUBB0 qleM+HihLjSzllDHEDxu0SxGSv1CyLP86+cGIMN9FJagkBJSCoGql4fiKktqVQma3ie0Rh LoYO1HAhE3CoOd4mcniKHAHShkF8zSCFDsKkX/xmtvidFEk8I26QRogJd0LmiG6PnUvUHw KRsmXAg9ISfWQTNsQxAF+gnQSPG/uWGWcmewyXan332YYdF9r8UvmycItRlryptBW4a6R1 TLxjqVsn3fCBnvonUFOQmxACJfONyJPqdxQR1KD3youoxdxW+SsNqfTKzK8Z6A== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1621370352; a=rsa-sha256; cv=none; b=Gifl5bYerTOmzKLR70r5VABuavfR9ErRB+fu49pE92KDSWlsQHQECdhWEKQ3/CjkPHwDXl DyQixtHtyz98utreSvj/ulRQfY107WTuT3vgPqA0DD9O/8beurjy3TEChIrrOGxwRx9gU9 36M3kGXN1nr5Ck1f0QHD2D5Kn0ZPdP/8jXcosaEgke8XaSL+Gu1A3lmLL0zBaGs1QOEXFa mTIGVwURdeU6qel5C4aGCQEHlxodn3PKbqk3l94dlzVnzoONKCNu8jpQ25neF+jnmACF6b hXn6qHWkVw9cG7ZYvIfnKTUiX26C4LHC9zG89BByqEMlp1AjixJAB8z6vW0Jpg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=WwXhp1gH; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: -1.34 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=WwXhp1gH; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 27D701A5AD X-Spam-Score: -1.34 X-Migadu-Scanner: scn0.migadu.com X-TUID: GXeu2mvIJl9l Hi Erik, There has been some work towards updating the OCaml packages in Guix (see https://issues.guix.gnu.org/47768). A lot of packages have been updated so that there is a now an updated ocaml-X package for a previously existing ocaml4.07-X package. This includes a lot of ppx'es. However not everything has been updated yet and there are still a few packages missing to be able to update ocaml-core-kernel. But maybe you could use the #47768 as a basis and update some packages towards ocaml-core-kernel? Help is also required in reviewing the patches. The series has become quite large and hard to review (42 patches). If you could try them out that would be great. -pukkamustard Erik writes: > Hi, I have a project that requires a more recent core-kernel and > some of the > ppx'es (such as ppx_fields_conv). > > Being very new to guix I've managed to add/update packages for > python and ruby > stuff, but this ocaml.scm file is quite different. There's a lot > going on which > I'm guessing is related to complexities arising from the whole > ppx transition > that happened in the ocaml ecosystem a few years ago, or perhaps > just to the > somewhat unsynchronized way libraries move to new versions of > the compiler and > libs (just speculating here). > > Anyway afaict (with my limited guix-fu) I would either need to > duplicate a whole > lot of packages or somehow reorganize things to share > definitions where it makes > sense. Both those options would require some coordination with > the people who > made the ocaml.scm infrastructure first, because clearly there > are projects out > there that need the current set of packages to work like they do > now and I don't > want to just post a huge patch that surprises these people. > > Can we get a thread going somewhere on adding a recent version > of > ocaml-core-kernel (for the 4.11.1 ocaml package, possibly > bumping that > to 4.11.2 in the process)? > > Best regards, > Erik Lovlie