From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id aBUKCmvWTmK4GAAAgWs5BA (envelope-from ) for ; Thu, 07 Apr 2022 14:17:47 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id GFeyBmvWTmIoqwAAauVa8A (envelope-from ) for ; Thu, 07 Apr 2022 14:17:47 +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 C5C0F14A76 for ; Thu, 7 Apr 2022 14:17:46 +0200 (CEST) Received: from localhost ([::1]:59936 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ncR57-0002YM-Lp for larch@yhetil.org; Thu, 07 Apr 2022 08:17:45 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:35692) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ncR4U-0002RH-EK for guix-patches@gnu.org; Thu, 07 Apr 2022 08:17:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:37973) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ncR4R-0004Q7-6W for guix-patches@gnu.org; Thu, 07 Apr 2022 08:17:06 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ncR4R-0006oX-2A for guix-patches@gnu.org; Thu, 07 Apr 2022 08:17:03 -0400 Subject: bug#34412: [PATCH] gnu: ocaml-merlin: Added tests Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Thu, 07 Apr 2022 12:17:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 34412 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Gabriel Hondet Cc: 34412-done@debbugs.gnu.org Mail-Followup-To: 34412@debbugs.gnu.org, zimon.toutoune@gmail.com, gabrielhondet@gmail.com Received: via spool by 34412-done@debbugs.gnu.org id=D34412.164933379224726 (code D ref 34412); Thu, 07 Apr 2022 12:17:02 +0000 Received: (at 34412-done) by debbugs.gnu.org; 7 Apr 2022 12:16:32 +0000 Received: from localhost ([127.0.0.1]:60097 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ncR3v-0006QW-MH for submit@debbugs.gnu.org; Thu, 07 Apr 2022 08:16:31 -0400 Received: from mail-wm1-f51.google.com ([209.85.128.51]:33173) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ncR3r-0006I5-I5 for 34412-done@debbugs.gnu.org; Thu, 07 Apr 2022 08:16:27 -0400 Received: by mail-wm1-f51.google.com with SMTP id l9-20020a05600c4f0900b0038ccd1b8642so4463284wmq.0 for <34412-done@debbugs.gnu.org>; Thu, 07 Apr 2022 05:16:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=gB08/kBBAH+nhChTYHGeRAHZogOMHqD0Y2fqvdKYGmQ=; b=oJHu8vrQuEY2JwJI/oVWgsGwsS+tcU9VLoilQTJOOV6/OYW57m1K7KqbHofnMaDz7m UFLxLiqSc7A+qNSHzIvTFNyXp4FmQAdZK1Z9hhpGRsXGgMG251bo8G9mwdsXM1aTIfg8 3I7npGol7CRVi6BDsNzakshd4prrW7K2jFMfVZNmAqQnRsX1fxtZA5GZFp5Ywb+Qn27s MAgUAiy+b70uxIScyzslvTT3+u40oA0vRyJYHMn0GIJ4Armr29U/DDUI1UY4lMLcRncL YPjAPcTPKouQNpF/xHfA1/OMlZzoSmOlq+oVVXTOcRACuiQ5yqrlGdGF68KiE35NWexK engQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version:content-transfer-encoding; bh=gB08/kBBAH+nhChTYHGeRAHZogOMHqD0Y2fqvdKYGmQ=; b=7BUGfQKvGD2UboXMd6M5J1vvCTi2NBIhCssOe2SRMb8e77kACtHD1+uco7u/Hgwi3i 6s7BdSWL7r0xpP/YvHxsDJJDPRb2AWjIE38GRRhfLCGvDR0Mos+P2fFDtlCgmsW39Um7 OxD58XPEo8zSOgUm7W6Zzv8puHcJEUTgCbKodjOXQEW4wPPA0ruAHQXEGikcO0iHr0ma 5Tkg6MHTCPp9XELphF8qMtzFKJrklVWVJNpSQDkEHCInr2MqZHwRDL8LE0UNoldN66xU ODj9pUcVkLg/ZD0s2Jhm8R9VvSeJwNZppTuMAjVhOvil4JEKGTKq5KrPxsZeGoXIJepb O5yQ== X-Gm-Message-State: AOAM530sUebClGqoXVKsorpP2f4h5QoU96lXMJdvGVSWj6azGVqwzSoa kf9Ixr0Bvo4ZJjkWXmYD1xCtH0KbD9Y= X-Google-Smtp-Source: ABdhPJz/8l089bFwXrbw3JAZnGzCmjxiWZFiH8Fm/15kdgcyL0+W9benHL1+wERI0gGDmSz/TMp1lw== X-Received: by 2002:a05:600c:1e1f:b0:38e:7073:3439 with SMTP id ay31-20020a05600c1e1f00b0038e70733439mr12101774wmb.120.1649333781846; Thu, 07 Apr 2022 05:16:21 -0700 (PDT) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id m187-20020a1c26c4000000b0038e9a8b2139sm519044wmm.11.2022.04.07.05.16.21 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 07 Apr 2022 05:16:21 -0700 (PDT) From: zimoun References: <877ee74v93.fsf@gmail.com> Date: Thu, 07 Apr 2022 14:14:28 +0200 In-Reply-To: <877ee74v93.fsf@gmail.com> (Gabriel Hondet's message of "Sun, 10 Feb 2019 14:36:15 +0100") Message-ID: <86tub52iqj.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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 X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1649333866; 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:resent-to: 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=gB08/kBBAH+nhChTYHGeRAHZogOMHqD0Y2fqvdKYGmQ=; b=bBsTB25yV9VJbpQ3/whhCnaghiMZAT9lHBWLOwvrHQRMZA68b/A9W6p21rsuTRyi1LS+db zo2aF6+n2Ickn4rTgXhIOqunsta106WkEvtmDPcmcb3U/BBYkLerhEggIaUGygpq2N2O4V I2Q1VTifbuqxQOIOPkjMUv7Ezg0UH6ymWcqLanplOTa+wkH7vwAb606SpfpAfNMatwR46p DJcZGoj0ZUPuWagwCy26/LiYetLVYs4ixwOPKHcfjgP2tX5x1LhMbbjraECM1zE4j1I/x4 Bm0wUxW2XpjSMwLCBhqiKEIhXhuuwl6JeE7VxXpV2teFPZiXYoVAWdAxNXYVIQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1649333866; a=rsa-sha256; cv=none; b=LqDu3sD5NzruJCppGFPcBh6Outfq7AQj73yZ44pOR6PPmaHTsBWAunXKHbZgRK1vmX09MF 1q8VhulqkPb1cmOPNJRlpKoHg/LcVtA6pUCUAiwPl8F00O6jUsd+Gy55crua+QHOykt67x OA06e3Bylscu4xAGwBe7NkuUCEVLdq9Q4Tbj27gBJVza14bLyWCuUTIgLqiYUftYYhhbGB aXjnGkTuTB0c+scJswAN9OioVK3ZK2Q+wslhhOoikbwwvIY5dTq0oscA4Vn4PwQPV8FGTs GZZjmKJTqIYVkDSgxf4X08gPvcsKUifIQNiyoeDzM2HgHIniMKDGjQdO7rvOQw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=oJHu8vrQ; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: 5.44 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=oJHu8vrQ; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: C5C0F14A76 X-Spam-Score: 5.44 X-Migadu-Scanner: scn0.migadu.com X-TUID: xnwnWzauVCf7 Hi, Thanks for your contribution with patch#34412 [1]. The =E2=80=99ocaml-merl= in=E2=80=99 contains this: --8<---------------cut here---------------start------------->8--- (modify-phases %standard-phases (replace 'check (lambda* (#:key tests? #:allow-other-keys) (when tests? (invoke "dune" "runtest" "-p" "merlin,dot-merlin-reader"))))= ))) --8<---------------cut here---------------end--------------->8--- added by 980c33bd3f16e44a123ef21408a56e59ebb76373. And the package =E2=80=99ocaml4.07-merlin=E2=80=99 had been removed by 188e3e2e6878346b0bdc8b46084f458abe86826c. Therefore, closing. Cheers, simon 1: