From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.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 +IrMBev7AGLCTAAAgWs5BA (envelope-from ) for ; Mon, 07 Feb 2022 12:00:59 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id YI8/Our7AGIVywAAG6o9tA (envelope-from ) for ; Mon, 07 Feb 2022 12:00:58 +0100 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 BE107C9A1 for ; Mon, 7 Feb 2022 12:00:56 +0100 (CET) Received: from localhost ([::1]:35344 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nH1lO-0000tO-LC for larch@yhetil.org; Mon, 07 Feb 2022 06:00:54 -0500 Received: from eggs.gnu.org ([209.51.188.92]:39270) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nH1kb-0000rH-J4 for guix-patches@gnu.org; Mon, 07 Feb 2022 06:00:06 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:47240) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nH1kY-0004iB-3h for guix-patches@gnu.org; Mon, 07 Feb 2022 06:00:05 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nH1kX-00089p-Vi for guix-patches@gnu.org; Mon, 07 Feb 2022 06:00:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#53389] [PATCH 0/9] Replace some mocking with with-http-server*, avoid hardcoding ports, Resent-From: Maxime Devos Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 07 Feb 2022 11:00:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 53389 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 53389@debbugs.gnu.org Received: via spool by 53389-submit@debbugs.gnu.org id=B53389.164423156431281 (code B ref 53389); Mon, 07 Feb 2022 11:00:01 +0000 Received: (at 53389) by debbugs.gnu.org; 7 Feb 2022 10:59:24 +0000 Received: from localhost ([127.0.0.1]:41137 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nH1jv-00088T-R8 for submit@debbugs.gnu.org; Mon, 07 Feb 2022 05:59:24 -0500 Received: from michel.telenet-ops.be ([195.130.137.88]:46272) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nH1jt-00088I-1S for 53389@debbugs.gnu.org; Mon, 07 Feb 2022 05:59:23 -0500 Received: from [172.20.10.9] ([213.119.168.30]) by michel.telenet-ops.be with bizsmtp id sAzJ260090fhH0506AzJuo; Mon, 07 Feb 2022 11:59:19 +0100 Message-ID: <490f1dca8f20293a931a45847018ea52eca07cd5.camel@telenet.be> From: Maxime Devos Date: Mon, 07 Feb 2022 11:59:13 +0100 In-Reply-To: <87r18fdmtv.fsf_-_@gnu.org> References: <6b1c1d98514b2547907a81a04c1241d9b865d6fa.camel@telenet.be> <20220120130849.292178-1-maximedevos@telenet.be> <87lez7zpgf.fsf_-_@gnu.org> <687d96c300852e684422de877cd87769daae7ccd.camel@telenet.be> <87r18fdmtv.fsf_-_@gnu.org> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-K2tsCHqSSLPIot3URSZj" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1644231559; bh=A4veEPByv1Rcq2PMaJ+lVNmfWukt7VrkvU9cp2GrMuI=; h=Subject:From:To:Cc:Date:In-Reply-To:References; b=W1I1+KZUAyRLBPvOvOaQ6i16dBAYNGnrAeTyhTUsBoPrpPLoe4FyQINzZnKf2XXKA PPPIzsRS5+Cg2cCzmihXXUdQ+usBkmhPpEaXGtj1sscqUcis+FfFHr3rmNEzaDRR/4 td4R3He5I4L0eCzc41fChB7ywrjmPCIfuSsdYQIjQXsFdh1TgxdrzO10XNba583Yqc V1qWSyzcQI3sH1coygbi2RiaUm8w1IvUP1VZc4gl0V0EL9rKR/Zzd87qqf+i9E95SC 7cUdyqhyRpConFtZQep3ccoybnh59GoCOEZ9vLg/zkd1eVgd+JjFr48TKUywSO+ch6 tOm2lVBCDpeIA== 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-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1644231656; 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=A4veEPByv1Rcq2PMaJ+lVNmfWukt7VrkvU9cp2GrMuI=; b=i+LZDMgBDpFHXU7Vf7H8CVlWshPlqh91VLwfLe1Nvijm2/2Qwx+Vt96/yCXZmH+GkBGjAb zE4S7zoTHXy44/HOa36SbsFJ2KJ2GA7ZxX/OE6BabkKG1zUSGemPBVDHArb2BgonvAhfW2 rzhDz/MxfDLlAs3kxYszha9g2oegYDtsQ/9EJBSLqOax7hYfE7f4155MS8pQIIrZUONYvO LHNoeOtOIp9TC+J/VDh3uYlYHWouTAPN5R71Ue3x26eWNT93WfomqQxQLk98fALUDGwcj6 cpTkSsxxCCFQ3GBgecLxdNntPtx2aK0fMZRSifoROMxQVEJsDHjvmJymMLw9Vg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1644231656; a=rsa-sha256; cv=none; b=X009YidNseA5shM08W8IJlF8kh97PRuExiUtq4ogD8E/dE7xTlDID7hfd7L9nTKU5Dz/YK pFB4/Kwp2XGFo+lyZDaSpUVp/HdWdfR+p/xkPZtZDtQEUZK0v1tbvXlbfGsCg+4WjaobpV kJ6FVYRsnotAIAJ3gOepbckCfYIJGm0sgMENuQOnFDMhzMjzcrujUH1zmjSo4s1t2qyz2S nXIi2YDNg23lJOj54fs1poF7HiCTL+qjvGA14rH4r8Net6WoXmGStsB04nyEbN6hKEI2Su m5122cqf02y56kwuAUSJfMnDPtLCus+5bG4vHt0PFkzBwo46sy6L/bRLuSNN/w== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=telenet.be header.s=r22 header.b=W1I1+KZU; dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (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: -3.73 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=telenet.be header.s=r22 header.b=W1I1+KZU; dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (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: BE107C9A1 X-Spam-Score: -3.73 X-Migadu-Scanner: scn1.migadu.com X-TUID: Yj5JKRgr63d/ --=-K2tsCHqSSLPIot3URSZj Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Ludovic Court=C3=A8s schreef op ma 07-02-2022 om 10:53 [+0100]: > Hi, >=20 > Maxime Devos skribis: >=20 > > Ludovic Court=C3=A8s schreef op za 22-01-2022 om 17:48 [+0100]: > > > > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (unless keep-lingering? > > > > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 ;; exit the= server thread > > > > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (system-asy= nc-mark (lambda () (throw 'quit)) server)) > > >=20 > > > When do we need =E2=80=98keep-lingering?=E2=80=99? > >=20 > > In tests/challenge.scm (call-mismatch-test), due to how the store monad > > work, the thunk technically returns (*) before we are done with the > > querying the server. Perhaps this can be resolved with sufficient > > monadology, but I don't quite see how. > >=20 > > (*) a monadic value. >=20 > How about fixing it locally like this: >=20 > That way we don=E2=80=99t need to keep the lingering variant in (guix tes= ts > http). > > WDYT? Looks nice, though it isn't ideal that port 9000/9001 is hardcoded here. That can be left as an exercise for later though. I'll do this in the v2 (and remove keep-lingering?) whenever I get around to writing the v2 (I'm mostly doing Scheme-GNUnet stuff at the moment). Greetings, Maaxime. --=-K2tsCHqSSLPIot3URSZj Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYgD7gRccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7hPIAQDkOnEYeiTRLanyOZQnIWCtzHNU N/GFa5wpKKx5IvCM0AD+JEPxWyd7NNZzuMi6H3GY5eEq9aUq3LHcKtOoGohX8w0= =RlSD -----END PGP SIGNATURE----- --=-K2tsCHqSSLPIot3URSZj--