From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id vY2KAqYcNmEoXgAAgWs5BA (envelope-from ) for ; Mon, 06 Sep 2021 15:50:30 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id 8CQ+OaUcNmEPNwAAB5/wlQ (envelope-from ) for ; Mon, 06 Sep 2021 13:50:29 +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 22D92EC52 for ; Mon, 6 Sep 2021 15:50:29 +0200 (CEST) Received: from localhost ([::1]:33802 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mNF11-00056A-U8 for larch@yhetil.org; Mon, 06 Sep 2021 09:50:27 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:37518) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mNF0c-00050w-AI for guix-patches@gnu.org; Mon, 06 Sep 2021 09:50:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:40912) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mNF0c-0006QH-2H for guix-patches@gnu.org; Mon, 06 Sep 2021 09:50:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mNF0c-0003r3-11 for guix-patches@gnu.org; Mon, 06 Sep 2021 09:50:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#50317] [PATCH 0/2] Update =?UTF-8?Q?=E2=80=98ocaml-ppxlib=E2=80=99?= Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 06 Sep 2021 13:50:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 50317 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 50317@debbugs.gnu.org Received: via spool by 50317-submit@debbugs.gnu.org id=B50317.163093619714802 (code B ref 50317); Mon, 06 Sep 2021 13:50:01 +0000 Received: (at 50317) by debbugs.gnu.org; 6 Sep 2021 13:49:57 +0000 Received: from localhost ([127.0.0.1]:52458 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mNF0W-0003qf-GS for submit@debbugs.gnu.org; Mon, 06 Sep 2021 09:49:56 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:39806 helo=mail.yoctocell.xyz) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mNF0U-0003qS-5L for 50317@debbugs.gnu.org; Mon, 06 Sep 2021 09:49:54 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1630936188; bh=twl+d93AIOFJEPNjlAE9RZM1P7mcZLLhNseEEYyR1Xo=; h=From:To:Cc:Subject:In-Reply-To:References:Date; b=iLUho7qE76RrLhHYcQ3jNzZ6PJO46nun9zDYARiOt5a6MqQtQRE5XVxDypxievTVx 7sAHuMl9grRhae6sw4E98eZae/nhmB4sBEeAtHui9JuSvB1DbRb5s0Gagdj9DIreTk 3mWLyQv2lLydNdqR8lJ/EPFohkephx2DdLU4WTyk= In-Reply-To: <87k0ju9lg4.fsf@gnu.org> References: <87lf4dz980.fsf@gnu.org> <878s0chans.fsf@yoctocell.xyz> <87k0ju9lg4.fsf@gnu.org> Date: Mon, 06 Sep 2021 15:49:46 +0200 Message-ID: <87sfyh24qt.fsf@yoctocell.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" 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=1630936229; 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=KJ1o9KllQTMGg5a94aRqlESiTV6O9w1SnU3APpd94EI=; b=QT7Pf0nk+x2eh95F1iO1QCS2N1h4CW22NXG7i4S4U2BI9flfTRow7ckbp+ENY46thAKWZx XGrUlt21Q30X3mkLiqdgjgelFOYQBn5McjPLkiNw12nTtR25H0szL85rsy1vYWKVqcYAIR y56Jm/GPtRbMlTdhJUIdIrnnOif2FYC2OAT8vzzmC5sfAhshvP/ECJ8Iyf9uHHO0A0qnF+ YdddvPd0f4k5b+GViOlTjY+kBM5VKFOe/dtK2DDUQVZRBBPJ9afXJVIGHwKm1atNSoVzw5 OGUcebRTsH4cgLG/9SPFElaFci2IE3UBjJ3cxNgRku4wVVn5aVYDr9zH9uxDag== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1630936229; a=rsa-sha256; cv=none; b=ADuVyM+Kadc6Wv1Lw7fK0l7Xj4nc5oDQykxZiW7Mhl88Ve5QtiPg0pBHa/zmvViuTW988e 48jWPq2IY5Ba3C1BJXpgAIVsXcfV6LjF1F+CXhab0dO5x/zPyj0OK/WNAy0Z0kla9ymZCN fqrbFIePlN8nKRxZZg7m/hfxMRYHfjP5BiA1cW8qj0MwTKB+2xOfL5V+uPaaWYdvk91aGJ Bn4d0u9WVuHVXklgAEk69T1p4DZsHao6rcyTSiYFLW2Fls6+SREFDMRhoPaDYy6iJ5MkMu M4jRR43S1r4kfyqWjuy9kxfjuCgJMbeKrcgrhlV4ihnDSIzDynkJKqWNin8AGg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=iLUho7qE; 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: -3.42 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=yoctocell.xyz header.s=mail header.b=iLUho7qE; dmarc=fail reason="SPF not aligned (relaxed)" header.from=yoctocell.xyz (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: 22D92EC52 X-Spam-Score: -3.42 X-Migadu-Scanner: scn0.migadu.com X-TUID: 1WwbmulZC8EW --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On Mon, Sep 06 2021, Ludovic Court=C3=A8s wrote: > Hi, > > Xinglu Chen skribis: > >> On Fri, Sep 03 2021, Ludovic Court=C3=A8s wrote: >> >>> Hi, >>> >>> Xinglu Chen skribis: >>> >>>> =E2=80=98ocaml-ppx-optcomp=E2=80=99 fails to build with the new =E2=80= =98ocaml-ppxlib=E2=80=99, updating >>>> it makes it build again. >>> >>> In that case, I=E2=80=99d suggest updating both in the same commit, so = that each >>> commit contains a working package set. >> >> Or maybe I could reorder the commits so that the =E2=80=98ocaml-ppxlib= =E2=80=99 update >> comes last? > > Yes, we can do that. > >>> Unfortunately, at least one dependent fails to build: >>> >>> --8<---------------cut here---------------start------------->8--- >>> starting phase `build' >>> File "src/ppx_variants_conv.ml", line 69, characters 22-41: >>> 69 | if Caml.Hashtbl.mem Lexer.keyword_table s >>> ^^^^^^^^^^^^^^^^^^^ >>> Error: Unbound value Lexer.keyword_table >>> command "dune" "build" "@install" "--profile" "release" failed with sta= tus 1 >>> builder for `/gnu/store/g73id3dchmqc0dirv9ahzmgbwsyba78b-ocaml-ppx-vari= ants-conv-0.14.1.drv' failed with exit code 1 >>> --8<---------------cut here---------------end--------------->8--- >>> >>> Could you check this one and other packages returned by =E2=80=98guix r= efresh -l >>> ocaml-ppxlib=E2=80=99? >>> >> >> Good catch! There is a patch that should fix this issue[1]; should I >> apply the patch to fix the build? > > Yes please! Let me know when there=E2=80=99s something I should apply. = :-) Cool, I will send a revised series soon! --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJJBAEBCAAzFiEEAVhh4yyK5+SEykIzrPUJmaL7XHkFAmE2HHsVHHB1YmxpY0B5 b2N0b2NlbGwueHl6AAoJEKz1CZmi+1x5KBUP/jeudHphok2DkozOyvc/DctFtPCx IhLQPKX7L9lY7jgscPqLIcDMqOJMhkl7UkwxyLrgMyTlPISNwvX7Ez2SKFebBbeJ LYKp/wd3iN7xVGcWIhWxv6CFfgB/p2ANWqhDE36BB/b3uGGxYitRq2phz9IWzOM+ OV4pua5H2QBYe437J7A2vYscSxPqD6W/Ww5kfFjjFkqsHupQlJlHyyG7iNW5dvC4 cHLARke9t2MvLWnEX+qTGoaqlejKdBuzzZ7mAGrNZZJo33/3rHZ5uGna9It64w5U Ikk+ypJ8XROsdNVBIEqHd1+BLkWMXVv2Mfvg4WSXie4KnpWNjQL3gGFI0NFx/VKB +TdhuqkzgmXaHpQcS7L5cu5BFE28QGQDFB5Asr3fXra61mg1O/OB6z0J17vbqDYZ SLqf3gOCOPj+nE+HB1IMdshE+xfQSqx1VjEquJr296fTZ7HRRQ4A1EbruhxiOLB+ o2hvTykGvT+43XCmUnEvPvkkbekjE6TQpyTOe9jHrDrSH+rmiLD6OLyhe++R/8P4 TJSjNkpK2nIzYzytQwpKq12Ng3kj5EqeRkNDhzfrTrVC8qRJ8lBxt+EvZuK5QJO1 tFaaHclhMQbC/vwuurYtG94ogg4Mq0UkN9+zwyDT6DrhbZG8069pCUK8NOdwlUmv c7fTIrgvYvofOsN3 =62mv -----END PGP SIGNATURE----- --=-=-=--