From debbugs-submit-bounces@debbugs.gnu.org Mon Jul 22 13:12:10 2019 Received: (at submit) by debbugs.gnu.org; 22 Jul 2019 17:12:10 +0000 Received: from localhost ([127.0.0.1]:33548 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hpbr7-00046F-TY for submit@debbugs.gnu.org; Mon, 22 Jul 2019 13:12:10 -0400 Received: from lists.gnu.org ([209.51.188.17]:46590) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hpbr6-000467-5f for submit@debbugs.gnu.org; Mon, 22 Jul 2019 13:12:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47398) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hpbr5-0006Gq-4E for bug-guix@gnu.org; Mon, 22 Jul 2019 13:12:08 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hpbr3-0003KJ-3P for bug-guix@gnu.org; Mon, 22 Jul 2019 13:12:07 -0400 Received: from mail-qk1-x734.google.com ([2607:f8b0:4864:20::734]:46880) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hpbr1-0003JZ-2r for bug-guix@gnu.org; Mon, 22 Jul 2019 13:12:03 -0400 Received: by mail-qk1-x734.google.com with SMTP id r4so29052230qkm.13 for ; Mon, 22 Jul 2019 10:12:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=My/1K9TGtSunqmqCMgtSzl98y4LqEQFukYMPyOS1/mc=; b=fSPGUx1RyX7si2+OxIBWMpH9KT1pJwOE386uDx4hAHJNXOQ3fdqsphLKSDw3lCzVqq 4m80Pvq4msK7iimmU8Z/dn8PTyH4SpyB/CMwL7oorirSes951Jap4X2+nZBxpdYkrevG gPqbv28IGePSF58Q0zFoa+PcYl1tq5PvNkGVJ2rN++3sFIb5nkUDcKoRvizM1vy8/T7J /PZ1kc8+r/5kiqg/z5pyuHoRmVS2vAdrum+HQp2ERqUukwwJQVmfzAM/XMYkDyEPEXiV BPsqwT8hrOhVIcgqmT0LBgCD9wFEJZHZ4QKV9AEXg8lqZmJeg78h/IpJO+YIqF4KZtHd 4Uyg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=My/1K9TGtSunqmqCMgtSzl98y4LqEQFukYMPyOS1/mc=; b=BgtGZm/IDSMhN0H7Li2D1bTl515aLt6Kbb+s2YfP/SI9/tL8pgJVvN7E553mXTE2Nv tFGcNoKwICAfBSHf9aDwZ22BWkZ9j4Xc/tSM0PJUnd5+ENHNTZtbGD3MdnvQPZ2fLVPr wQ5cFuvE5z15xlp0mw7VDi63pu5qwzcinjNa6bC+LSuv7/7W4sPFED5QKPYwW6gLbual VKbl+TcT1vaHSSJbZFHQDKfIV/x4RpMj5EGXFxud3LNeLGUIY/lqzg0Zi60F3u52Xa6T iueb09aIn6D5stJmWlPnhoN0TbN0n/DkDz6GfshHZdOAbyOahgeAhaVCM1UImX8+FAiS S/NQ== X-Gm-Message-State: APjAAAV9J7fTo/66pYQkxvKiVdIqcKmGvSzSCnEVOhtpI5Y9E4ME7jPP vH0jC7UBEQxF/OkKhCO1KIeW6PIt9iLzg8yNRJQqYxYc X-Google-Smtp-Source: APXvYqwF1AuqKXpUSjbESvOtghNQisoREiHTBYy+Pdxl2/vM27n0H18lg9OLFKN0GH5nw6Kdvr+bAsfbx0bD9IsO4cQ= X-Received: by 2002:a37:4f4f:: with SMTP id d76mr42081774qkb.304.1563815521878; Mon, 22 Jul 2019 10:12:01 -0700 (PDT) MIME-Version: 1.0 From: zimoun Date: Mon, 22 Jul 2019 19:11:50 +0200 Message-ID: Subject: `guix search` does unexpected logical and To: bug-guix@gnu.org Content-Type: multipart/mixed; boundary="000000000000ad276b058e482c95" X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::734 X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) --000000000000ad276b058e482c95 Content-Type: text/plain; charset="UTF-8" Dear, As discussed here [1], the `relevance` in `guix/ui.scm` does not match "inter-field". Attached a fix. Now, the example from the manual $ guix search crypto library | \ recsel -e '! (name ~ "^(ghc|perl|python|ruby)")' -p name,synopsis outputs the expected crypto libraries as `libb2`. Please comment. :-) Then, please indicate me how the commit has to be filled. The commit 8874faaaac665100a095ef25e39c9a389f5a397f introducing the logical AND says: ui: 'relevance' considers regexps connected with a logical and. * guix/ui.scm (relevance)[score]: Change to return 0 when one of REGEXPS doesn't match. * tests/ui.scm ("package-relevance"): New test. Should another test be added? [1] https://lists.gnu.org/archive/html/guix-devel/2019-07/msg00263.html Thank you in advance, simon --000000000000ad276b058e482c95 Content-Type: text/x-patch; charset="US-ASCII"; name="search.patch" Content-Disposition: attachment; filename="search.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_jyen2vys0 ZGlmZiAtLWdpdCBhL2d1aXgvdWkuc2NtIGIvZ3VpeC91aS5zY20KaW5kZXggNzkyMDMzNTkyOC4u MGU2MGViNmVkYyAxMDA2NDQKLS0tIGEvZ3VpeC91aS5zY20KKysrIGIvZ3VpeC91aS5zY20KQEAg LTEyOTEsMjMgKzEyOTEsMzYgQEAgc2NvcmUsIHRoZSBtb3JlIHJlbGV2YW50IE9CSiBpcyB0byBS RUdFWFBTLiIKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIDUgICAgICAgICAg ICAgO2V4YWN0IG1hdGNoCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAxKSkp KSkKICAgICAgICAgICAgcmVnZXhwcykpCi0KKyAgICBzY29yZXMpCisKKyAgKGRlZmluZSAodXBk YXRlIHJlbGV2YW5jZSB3ZWlnaHQgc2NvcmVzKQorICAgIChtYXAgKyByZWxldmFuY2UKKyAgICAg ICAgICAgKG1hcCAobGFtYmRhIChzY29yZSkKKyAgICAgICAgICAgICAgICAgICgqIHdlaWdodCBz Y29yZSkpCisgICAgICAgICAgICAgICAgc2NvcmVzKSkpCisKKyAgKGxldCAoKHNjb3JlcyAoZm9s ZCAobGFtYmRhIChtZXRyaWMgcmVsZXZhbmNlKQorICAgICAgICAgICAgICAgICAgICAgICAgKG1h dGNoIG1ldHJpYworICAgICAgICAgICAgICAgICAgICAgICAgICAoKGZpZWxkIC4gd2VpZ2h0KQor ICAgICAgICAgICAgICAgICAgICAgICAgICAgKG1hdGNoIChmaWVsZCBvYmopCisgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICgjZiAgcmVsZXZhbmNlKQorICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAoKD8gc3RyaW5nPyBzdHIpCisgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAo dXBkYXRlIHJlbGV2YW5jZSB3ZWlnaHQgKHNjb3JlIHN0cikpKQorICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAoKGxzdCAuLi4pCisgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAodXBk YXRlIHJlbGV2YW5jZSB3ZWlnaHQKKyAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgKGZvbGQgKGxhbWJkYSAoZWxlbSBwcmV2KQorICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgIChpZiAoemVybz8gKGxlbmd0aCBlbGVtKSkKKyAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcHJldgorICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAobWFwICsgZWxlbSBwcmV2KSkp CisgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIChtYWtlLWxpc3Qg KGxlbmd0aCByZWdleHBzKSAwKQorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAobWFwIHNjb3JlIGxzdCkpKQorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg KSkpKSkKKyAgICAgICAgICAgICAgICAgICAgICAobWFrZS1saXN0IChsZW5ndGggcmVnZXhwcykg MCkKKyAgICAgICAgICAgICAgICAgICAgICBtZXRyaWNzKSkpCiAgICAgOzsgUmV0dXJuIHplcm8g aWYgb25lIG9mIFJFR0VYUFMgZG9lc24ndCBtYXRjaC4KICAgICAoaWYgKGFueSB6ZXJvPyBzY29y ZXMpCiAgICAgICAgIDAKLSAgICAgICAgKHJlZHVjZSArIDAgc2NvcmVzKSkpCi0KLSAgKGZvbGQg KGxhbWJkYSAobWV0cmljIHJlbGV2YW5jZSkKLSAgICAgICAgICAobWF0Y2ggbWV0cmljCi0gICAg ICAgICAgICAoKGZpZWxkIC4gd2VpZ2h0KQotICAgICAgICAgICAgIChtYXRjaCAoZmllbGQgb2Jq KQotICAgICAgICAgICAgICAgKCNmICByZWxldmFuY2UpCi0gICAgICAgICAgICAgICAoKD8gc3Ry aW5nPyBzdHIpCi0gICAgICAgICAgICAgICAgKCsgcmVsZXZhbmNlICgqIChzY29yZSBzdHIpIHdl aWdodCkpKQotICAgICAgICAgICAgICAgKChsc3QgLi4uKQotICAgICAgICAgICAgICAgICgrIHJl bGV2YW5jZSAoKiB3ZWlnaHQgKGFwcGx5ICsgKG1hcCBzY29yZSBsc3QpKSkpKSkpKSkKLSAgICAg ICAgMAotICAgICAgICBtZXRyaWNzKSkKKyAgICAgICAgKHJlZHVjZSArIDAgc2NvcmVzKSkpKQog CiAoZGVmaW5lICVwYWNrYWdlLW1ldHJpY3MKICAgOzsgTWV0cmljcyB1c2VkIHRvIGNvbXB1dGUg dGhlICJyZWxldmFuY2Ugc2NvcmUiIG9mIGEgcGFja2FnZSBhZ2FpbnN0IGEgc2V0Cg== --000000000000ad276b058e482c95-- From debbugs-submit-bounces@debbugs.gnu.org Tue Jul 23 03:08:16 2019 Received: (at control) by debbugs.gnu.org; 23 Jul 2019 07:08:16 +0000 Received: from localhost ([127.0.0.1]:33942 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hpouG-0003NT-5y for submit@debbugs.gnu.org; Tue, 23 Jul 2019 03:08:16 -0400 Received: from flashner.co.il ([178.62.234.194]:59132) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hpouE-0003NF-Up for control@debbugs.gnu.org; Tue, 23 Jul 2019 03:08:15 -0400 Received: from localhost (unknown [94.230.83.247]) by flashner.co.il (Postfix) with ESMTPSA id E4708402DE for ; Tue, 23 Jul 2019 07:08:08 +0000 (UTC) Date: Tue, 23 Jul 2019 10:08:07 +0300 From: Efraim Flashner To: control@debbugs.gnu.org Subject: commands Message-ID: <20190723070807.GE780@macbook41> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="nHwqXXcoX0o6fKCv" Content-Disposition: inline X-PGP-Key-ID: 0x41AAE7DCCA3D8351 X-PGP-Key: https://flashner.co.il/~efraim/efraim_flashner.asc X-PGP-Fingerprint: A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 User-Agent: Mutt/1.12.1 (2019-06-15) X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --nHwqXXcoX0o6fKCv Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable merge 36763 36770 thanks --=20 Efraim Flashner =D7=90=D7=A4=D7=A8=D7=99=D7=9D = =D7=A4=D7=9C=D7=A9=D7=A0=D7=A8 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --nHwqXXcoX0o6fKCv Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAl02slQACgkQQarn3Mo9 g1Ey+g//dSuyw5Ww/oDo/TLy8LrT1MexA+9l5AgngUoqiblUjhMftO4k995JJSzW oBtxxNbVrxf2l0BIe5/cU5kp2N/ZQ4aZsK3/QJUm2mivM9tdb0r2/dkQ6WiZe7Hw j7Rl8y8Yf+W2kEiJCgWfmK+VbQy8CPhv0WRXn3NyFlhPc6Y6Hb1/Y3RDbSPEQ405 lvrNWwnt9k4/GP0uU3oaRKcrIyrYgtY7Fni+sbh76I30yC2bP0uFZQSSAGFZzLCL KfvOUyiTA+z4jTzNcPUYTWwIdg8XbFPug6bzHiJYp6cgMKrfUQ4FZXAAvdwRLX8m pMRPICa5kAmYmGNgqZke5sLLLyhLtmWrZIvTzUjN4qvzKuR/1sYwAAzaH0GBO1n7 0ziGKWmJFPKyOPYpmJGRwNBPB2JuR6x0x7nt3yewPp4iGghTzVdutFVhSfIN6D7b LhizZuN0aljZW4N8yQmmBxVlVLDfk1EGGDZWXc197M7+/SRYOSRMlvV05wj18fVS 1ktewx6Yh1eWlcFeRs245pZKNZQMtWmXGGLNKXiF00jkkIX4ShRuBXFkiygGTNJc oAHf2GKMtbdC1tVJfXeEqNX9m1DJXzcDcGQ/0IOCvLyIQcg0p+SrOb7b31yoxHey /ovOFG+SqvS8xZtc6wMO5VALd0l7EGzooRtiZRrnpqMFu6b/6Mw= =pVT3 -----END PGP SIGNATURE----- --nHwqXXcoX0o6fKCv-- From debbugs-submit-bounces@debbugs.gnu.org Tue Jul 23 09:01:59 2019 Received: (at control) by debbugs.gnu.org; 23 Jul 2019 13:02:00 +0000 Received: from localhost ([127.0.0.1]:34147 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hpuQZ-0003dB-KK for submit@debbugs.gnu.org; Tue, 23 Jul 2019 09:01:59 -0400 Received: from flashner.co.il ([178.62.234.194]:59856) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hpuQY-0003Xc-1g for control@debbugs.gnu.org; Tue, 23 Jul 2019 09:01:58 -0400 Received: from localhost (unknown [94.230.83.247]) by flashner.co.il (Postfix) with ESMTPSA id 056A4402DE for ; Tue, 23 Jul 2019 13:01:51 +0000 (UTC) Date: Tue, 23 Jul 2019 16:01:50 +0300 From: Efraim Flashner To: control@debbugs.gnu.org Subject: commands Message-ID: <20190723130150.GJ780@macbook41> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="x0KprKst+ZOYEj2z" Content-Disposition: inline X-PGP-Key-ID: 0x41AAE7DCCA3D8351 X-PGP-Key: https://flashner.co.il/~efraim/efraim_flashner.asc X-PGP-Fingerprint: A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 User-Agent: Mutt/1.12.1 (2019-06-15) X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --x0KprKst+ZOYEj2z Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable unmerge 36763 --=20 Efraim Flashner =D7=90=D7=A4=D7=A8=D7=99=D7=9D = =D7=A4=D7=9C=D7=A9=D7=A0=D7=A8 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --x0KprKst+ZOYEj2z Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAl03BT4ACgkQQarn3Mo9 g1G5hhAAkPa90OMHUnH+IdWPZzyIVmmm0GfGzEOGFXH1iglYnpK1SqDMaH9VpP9U a6T9W+2W/AcNu2Y0sAo1D99SuHDun2zssOsnLpLT3ZwUy+xO8Nmp2mEcwfagN7VD KuHXWU9tyI2+BrMtoUT/MP0TzQ62WkhYa9/Ks61nKBXe7yfMTyS8Q0mtIsk9jZx+ 1/9lwpLIcvnhBWfjdZL3CiT3soAmjBklkMoeEed+abThAKU7znQjS/iWsL+Elwyd tPex3y8AF5W0ibAkcVysIJpsOW5E0NpFkhT/TiLwWncLEWzjPNtreD5WnjC8PW+p FnNr9edzCdft6FAc4xVoh8tDgRktQtutyjID02oOE+7qPr3dzmfgTJLHGKpJSz3o 52H2JRCyRPVR347h0iHCqTI+qwW74SP3wsITo/jy+hvdHLNJ7gYSaeRd9GJUieVV Zs5qGZQxe5k4i4pqZUbKM+zE3UWxBGdAM8g4eQQpCtkIvGIeIljbP9brMlBbubhZ VonFvyaksa2IPVHhEjAnBYGhPk1CUVyU7NZN8VtpUvWKI0nTzXfQ6P88nTO6MHG0 Y7Uuozampkt8qbqjTMECZOpeY+qFJhdalxSVPmz6dqNy5v3N+NDA5p6eSIVeN8ek the6Sj/JPemEwOFqnv8LB3vGGMdXV4FAt+26CPdcsPhEEo4YRXs= =ZlPA -----END PGP SIGNATURE----- --x0KprKst+ZOYEj2z-- From debbugs-submit-bounces@debbugs.gnu.org Thu Jul 25 13:35:56 2019 Received: (at 36763) by debbugs.gnu.org; 25 Jul 2019 17:35:56 +0000 Received: from localhost ([127.0.0.1]:40384 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hqhem-0004T9-Dx for submit@debbugs.gnu.org; Thu, 25 Jul 2019 13:35:56 -0400 Received: from eggs.gnu.org ([209.51.188.92]:56550) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hqhek-0004St-0R for 36763@debbugs.gnu.org; Thu, 25 Jul 2019 13:35:54 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:47724) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hqhee-0000Cl-Qv; Thu, 25 Jul 2019 13:35:48 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=49608 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1hqhee-0005jv-Cv; Thu, 25 Jul 2019 13:35:48 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: zimoun Subject: Re: bug#36763: `guix search` does unexpected logical and References: X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 7 Thermidor an 227 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Thu, 25 Jul 2019 19:35:46 +0200 In-Reply-To: (zimoun's message of "Mon, 22 Jul 2019 19:11:50 +0200") Message-ID: <87imrqrp8t.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 36763 Cc: 36763@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hi Simon, zimoun skribis: > As discussed here [1], the `relevance` in `guix/ui.scm` does not match > "inter-field". > > Attached a fix. > Now, the example from the manual > $ guix search crypto library | \ > recsel -e '! (name ~ "^(ghc|perl|python|ruby)")' -p name,synopsis > outputs the expected crypto libraries as `libb2`. Nice! > Then, please indicate me how the commit has to be filled. > The commit 8874faaaac665100a095ef25e39c9a389f5a397f introducing the > logical AND says: > > ui: 'relevance' considers regexps connected with a logical and. > > * guix/ui.scm (relevance)[score]: Change to return 0 when one of REGEXPS > doesn't match. > * tests/ui.scm ("package-relevance"): New test. Yes, you can provide a commit log along these lines. > Should another test be added? Yes please, that would be perfect! > + (define (update relevance weight scores) > + (map + relevance > + (map (lambda (score) > + (* weight score)) > + scores))) > + > + (let ((scores (fold (lambda (metric relevance) > + (match metric > + ((field . weight) > + (match (field obj) > + (#f relevance) > + ((? string? str) > + (update relevance weight (score str))) > + ((lst ...) > + (update relevance weight > + (fold (lambda (elem prev) > + (if (zero? (length elem)) > + prev > + (map + elem prev))) > + (make-list (length regexps) = 0) > + (map score lst))) > + ))))) > + (make-list (length regexps) 0) > + metrics))) I don=E2=80=99t have a clear mind on that, but I feel like this could be simplified somehow. For instance, (fold p (make-list =E2=80=A6) metrics) looks a lot like: (map (lambda (x) (fold p x metrics)) regexps) Well, something like that. :-) Thanks for working on it! Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 13 14:24:09 2019 Received: (at 36763) by debbugs.gnu.org; 13 Sep 2019 18:24:09 +0000 Received: from localhost ([127.0.0.1]:45577 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i8qEr-0005WK-9f for submit@debbugs.gnu.org; Fri, 13 Sep 2019 14:24:09 -0400 Received: from mail-qk1-f178.google.com ([209.85.222.178]:36763) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i8qEp-0005W0-Dk for 36763@debbugs.gnu.org; Fri, 13 Sep 2019 14:24:07 -0400 Received: by mail-qk1-f178.google.com with SMTP id s18so29171005qkj.3 for <36763@debbugs.gnu.org>; Fri, 13 Sep 2019 11:24:07 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=AyhwszS6pa4CPn9Mwa+HbV81LWPdy9w36GBfEqctVeU=; b=PbQ+BHgU2gFeeLLlGRLqQXaOLeBddp9gGG9fELaZR8lcpIYIhQq81KiVOIklbNl33U LUur2p8NDTg2LBY4Zp0LF4bQQHkGsBpDdv0f7D6KCtQaemesCiZx9Us1U/Y8B/l1ho7r GeS38aH/WKj1awKdW53O9m2qDLM+LTB/dKgTJyfzufz+lU1cJUH9K/haRCUsrRk/Ttdl bYgy5BF9iz2Rx3RGnZNgIN9TJyfR2JlNlXq6eqDedWkF7EkOycurBWQqxAiNHb9FFoki ExedOYOKZl3U4q7hKNTDvlXmQuHYSavqtUgfuQ1iKb9aE3eHUf0LW+OgZtAb6vjUe3N2 lI9Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=AyhwszS6pa4CPn9Mwa+HbV81LWPdy9w36GBfEqctVeU=; b=aNDjre/BRbHu1C7FGZZBfGq/iDNkBUwYtmktsGcMYUZPLKaTA621gZG2bROfzlmUyK K68LNbgiivGL42tW4aSFXdW8yN3z7k1gqf6o16Mvp4QNSX2t6IPPCkZ6tRG17DwXR5DE 19AQyD5sbhygXzsHdXVCF0xxfG3QfxY6Iv9G2r/3al0/4Rr9r78hGEgbBQYFOVi62hAN edErz/xK9ShypuLL2/MO3Ufd1EsdSyUaAFFTAovXgSb6VptO5pCJYhhW1RTGlm6hwUiF kfxVg3Q6AMwpj2q9xnUViWTEj880q32rt4ktGUTJF9rI6zf1HOD1jfVHdTGrrPeaenqq Yfng== X-Gm-Message-State: APjAAAVQSXsh212QN5rXZqarAPgzfFmxAQBMiJ0DmdqePpKxcdqeQKWc mxVECO8KajHYG1fwMx2060+T0GocKaVYwHVvyws= X-Google-Smtp-Source: APXvYqzRYiFpBy5Cpcxryxk38a3WgP0QuKv9SNC9/VMXy8m4RNa82BZLz94wGn5AYuefwKenJe7JddQ2XipGP1LfuE0= X-Received: by 2002:a37:4ecb:: with SMTP id c194mr26096046qkb.126.1568399041902; Fri, 13 Sep 2019 11:24:01 -0700 (PDT) MIME-Version: 1.0 References: <87imrqrp8t.fsf@gnu.org> In-Reply-To: <87imrqrp8t.fsf@gnu.org> From: zimoun Date: Fri, 13 Sep 2019 20:23:50 +0200 Message-ID: Subject: Re: bug#36763: `guix search` does unexpected logical and To: =?UTF-8?Q?Ludovic_Court=C3=A8s?= Content-Type: multipart/mixed; boundary="000000000000c25c2f0592735bd5" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 36763 Cc: 36763@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --000000000000c25c2f0592735bd5 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi Ludo, Thank you to look at it. On Thu, 25 Jul 2019 at 19:35, Ludovic Court=C3=A8s wrote: > (fold p (make-list =E2=80=A6) metrics) > > looks a lot like: > > (map (lambda (x) (fold p x metrics)) regexps) > > Well, something like that. :-) Second try attached with your advice. :-) I am not sure where to place the newlines on long line. Then I will try to add tests and send it. Thank you. All the best, simon --000000000000c25c2f0592735bd5 Content-Type: application/octet-stream; name="search.patch2" Content-Disposition: attachment; filename="search.patch2" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_k0ig8x0r0 ZGlmZiAtLWdpdCBhL2d1aXgvdWkuc2NtIGIvZ3VpeC91aS5zY20KaW5kZXggNzkyMDMzNTkyOC4u ODBiOTJiY2M1ZiAxMDA2NDQKLS0tIGEvZ3VpeC91aS5zY20KKysrIGIvZ3VpeC91aS5zY20KQEAg LTEyODEsMzMgKzEyODEsMzcgQEAgd2VpZ2h0IG9mIHRoaXMgZmllbGQgaW4gdGhlIGZpbmFsIHNj b3JlLgogCiBBIHNjb3JlIG9mIHplcm8gbWVhbnMgdGhhdCBPQkogZG9lcyBub3QgbWF0Y2ggYW55 IG9mIFJFR0VYUFMuICBUaGUgaGlnaGVyIHRoZQogc2NvcmUsIHRoZSBtb3JlIHJlbGV2YW50IE9C SiBpcyB0byBSRUdFWFBTLiIKLSAgKGRlZmluZSAoc2NvcmUgc3RyKQotICAgIChkZWZpbmUgc2Nv cmVzCi0gICAgICAobWFwIChsYW1iZGEgKHJlZ2V4cCkKLSAgICAgICAgICAgICAoZm9sZC1tYXRj aGVzIHJlZ2V4cCBzdHIgMAotICAgICAgICAgICAgICAgICAgICAgICAgICAgKGxhbWJkYSAobSBz Y29yZSkKLSAgICAgICAgICAgICAgICAgICAgICAgICAgICAgKCsgc2NvcmUKLSAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgKGlmIChzdHJpbmc9PyAobWF0Y2g6c3Vic3RyaW5nIG0pIHN0 cikKLSAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIDUgICAgICAgICAgICAgO2V4 YWN0IG1hdGNoCi0gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAxKSkpKSkKLSAg ICAgICAgICAgcmVnZXhwcykpCisgIChkZWZpbmUgKHNjb3JlIHN0ciByZWdleHApCisgICAgKGZv bGQtbWF0Y2hlcyByZWdleHAgc3RyIDAKKyAgICAgICAgICAgICAgICAgIChsYW1iZGEgKG0gc2Nv cmUpCisgICAgICAgICAgICAgICAgICAgICgrIHNjb3JlCisgICAgICAgICAgICAgICAgICAgICAg IChpZiAoc3RyaW5nPT8gKG1hdGNoOnN1YnN0cmluZyBtKSBzdHIpCisgICAgICAgICAgICAgICAg ICAgICAgICAgICA1ICAgICAgICAgICAgIDtleGFjdCBtYXRjaAorICAgICAgICAgICAgICAgICAg ICAgICAgICAgMSkpKSkpCisKKyAgKGxldCAoKHNjb3JlcyAobWFwCisgICAgICAgICAgICAgICAg IChsYW1iZGEgKHJlZ2V4cCkKKyAgICAgICAgICAgICAgICAgICAoZm9sZAorICAgICAgICAgICAg ICAgICAgICAobGFtYmRhIChtZXRyaWMgcmVsZXZhbmNlKQorICAgICAgICAgICAgICAgICAgICAg IChtYXRjaCBtZXRyaWMKKyAgICAgICAgICAgICAgICAgICAgICAgICgoZmllbGQgLiB3ZWlnaHQp CisgICAgICAgICAgICAgICAgICAgICAgICAgKG1hdGNoIChmaWVsZCBvYmopCisgICAgICAgICAg ICAgICAgICAgICAgICAgICAoI2YgIHJlbGV2YW5jZSkKKyAgICAgICAgICAgICAgICAgICAgICAg ICAgICgoPyBzdHJpbmc/IHN0cikKKyAgICAgICAgICAgICAgICAgICAgICAgICAgICAoKyByZWxl dmFuY2UgKCogKHNjb3JlIHN0ciByZWdleHApIHdlaWdodCkpKQorICAgICAgICAgICAgICAgICAg ICAgICAgICAgKChsc3QgLi4uKQorICAgICAgICAgICAgICAgICAgICAgICAgICAgICgrIHJlbGV2 YW5jZSAoKiB3ZWlnaHQKKyAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgKGFwcGx5ICsgKG1hcAorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgKGxhbWJkYSAoc3RyKQorICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAoc2NvcmUgc3RyIHJlZ2V4cCkpCisgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBsc3QpKSkpKSkp KSkKKyAgICAgICAgICAgICAgICAgICAgMCBtZXRyaWNzKSkKKyAgICAgICAgICAgICAgICAgcmVn ZXhwcykpKQogCiAgICAgOzsgUmV0dXJuIHplcm8gaWYgb25lIG9mIFJFR0VYUFMgZG9lc24ndCBt YXRjaC4KICAgICAoaWYgKGFueSB6ZXJvPyBzY29yZXMpCiAgICAgICAgIDAKLSAgICAgICAgKHJl ZHVjZSArIDAgc2NvcmVzKSkpCi0KLSAgKGZvbGQgKGxhbWJkYSAobWV0cmljIHJlbGV2YW5jZSkK LSAgICAgICAgICAobWF0Y2ggbWV0cmljCi0gICAgICAgICAgICAoKGZpZWxkIC4gd2VpZ2h0KQot ICAgICAgICAgICAgIChtYXRjaCAoZmllbGQgb2JqKQotICAgICAgICAgICAgICAgKCNmICByZWxl dmFuY2UpCi0gICAgICAgICAgICAgICAoKD8gc3RyaW5nPyBzdHIpCi0gICAgICAgICAgICAgICAg KCsgcmVsZXZhbmNlICgqIChzY29yZSBzdHIpIHdlaWdodCkpKQotICAgICAgICAgICAgICAgKChs c3QgLi4uKQotICAgICAgICAgICAgICAgICgrIHJlbGV2YW5jZSAoKiB3ZWlnaHQgKGFwcGx5ICsg KG1hcCBzY29yZSBsc3QpKSkpKSkpKSkKLSAgICAgICAgMAotICAgICAgICBtZXRyaWNzKSkKKyAg ICAgICAgKHJlZHVjZSArIDAgc2NvcmVzKSkpKQogCiAoZGVmaW5lICVwYWNrYWdlLW1ldHJpY3MK ICAgOzsgTWV0cmljcyB1c2VkIHRvIGNvbXB1dGUgdGhlICJyZWxldmFuY2Ugc2NvcmUiIG9mIGEg cGFja2FnZSBhZ2FpbnN0IGEgc2V0Cg== --000000000000c25c2f0592735bd5-- From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 16 04:17:43 2019 Received: (at 36763) by debbugs.gnu.org; 16 Sep 2019 08:17:43 +0000 Received: from localhost ([127.0.0.1]:49107 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i9mCc-0004A2-SW for submit@debbugs.gnu.org; Mon, 16 Sep 2019 04:17:43 -0400 Received: from eggs.gnu.org ([209.51.188.92]:48368) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i9mCb-00049h-5N for 36763@debbugs.gnu.org; Mon, 16 Sep 2019 04:17:41 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:47257) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1i9mCU-0006L8-Ot; Mon, 16 Sep 2019 04:17:34 -0400 Received: from [2001:660:6102:320:e120:2c8f:8909:cdfe] (port=44130 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1i9mCU-0002j4-0x; Mon, 16 Sep 2019 04:17:34 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: zimoun Subject: Re: bug#36763: `guix search` does unexpected logical and References: <87imrqrp8t.fsf@gnu.org> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 30 Fructidor an 227 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Mon, 16 Sep 2019 10:17:31 +0200 In-Reply-To: (zimoun's message of "Fri, 13 Sep 2019 20:23:50 +0200") Message-ID: <87h85cejtw.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 36763 Cc: 36763@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hello! zimoun skribis: > On Thu, 25 Jul 2019 at 19:35, Ludovic Court=C3=A8s wrote: > >> (fold p (make-list =E2=80=A6) metrics) >> >> looks a lot like: >> >> (map (lambda (x) (fold p x metrics)) regexps) >> >> Well, something like that. :-) > > Second try attached with your advice. :-) Neat! > + (let ((scores (map > + (lambda (regexp) > + (fold > + (lambda (metric relevance) > + (match metric > + ((field . weight) > + (match (field obj) > + (#f relevance) > + ((? string? str) > + (+ relevance (* (score str regexp) weight))) > + ((lst ...) > + (+ relevance (* weight > + (apply + (map > + (lambda (str) > + (score str regex= p)) > + lst))))))))) > + 0 metrics)) > + regexps))) For readability, I=E2=80=99d suggest giving a name to one of the two lambdas above, so you can write, say: (map regexp-scores regexps) where: (define (regexp-scores regexp) (fold (lambda (metric relevance) =E2=80=A6) =E2=80=A6)) Also, could you add a couple of tests (such as the =E2=80=9Clibb2=E2=80=9D = example for =E2=80=9Ccrypto=E2=80=9D + =E2=80=9Clibrary=E2=80=9D you mentioned earlier)= ? You can add them to the existing =E2=80=9Cpackage-relevance=E2=80=9D test in tests/ui.scm. Bonus points if you send the patch with =E2=80=98git format-patch=E2=80=99 = and with a commit log: https://guix.gnu.org/manual/en/html_node/Submitting-Patches.html Thank you! Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Thu Sep 19 13:33:01 2019 Received: (at 36763) by debbugs.gnu.org; 19 Sep 2019 17:33:01 +0000 Received: from localhost ([127.0.0.1]:56374 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iB0Ie-0004cT-7W for submit@debbugs.gnu.org; Thu, 19 Sep 2019 13:33:01 -0400 Received: from mail-qt1-f169.google.com ([209.85.160.169]:34346) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iB0Ic-0004cE-41 for 36763@debbugs.gnu.org; Thu, 19 Sep 2019 13:32:59 -0400 Received: by mail-qt1-f169.google.com with SMTP id 3so2816424qta.1 for <36763@debbugs.gnu.org>; Thu, 19 Sep 2019 10:32:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=YPEv7uFOxrxI7O3R7SBfte4o3x/kNyeLVAZyk6QQBNU=; b=W+9XARIhe846QP58CciSWg4kNGoY5a6SivFDo3DOsadbq7dsHDGMsBCHjm0vRtHsow Yw4B9WPDwjrRcCa3b5c/2rjHtHXC5hb9fkurz/rahVEIBrtugvcj24yM0NYEMjNkoEpE 02GQDm7ULNCayaJ/5b+QhdtVgNjdLj/9+Li/AHqzvCVEgcKeET0EVGQXWjAVX4YwWR8n kWmf2i3bw2Wu+GPyQaCA2uQPfASDb3ezaVEQng7BerxlQEkNISG2bxg6y85Qwygvct1/ 8bP82jRVoskMXb6mcaE+9RJj1eLD46J++RiaGOIDwdnA/PiiSNvkbZm7YT/RDeTviAfY +J+Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=YPEv7uFOxrxI7O3R7SBfte4o3x/kNyeLVAZyk6QQBNU=; b=rFzcJuZC3whcUGxBJ3Kr7TKL0Pgfo6ESgerWLSZm7O2SDbiL7/gm4JktPFRtytUybr gnO3PVUGyK2qGM5ZNbX86+ZkXRZKONyJxFf8X9JYlOQdeso5sxGqOjyRf4BH9n7zXjQ/ sFvCTNKdeS/F0WSy1bvy0UeXQyqcmC+I19BQ9+TRzAgNJjp0R3Rb1aAuPx+gmfwXF5Xx 2YeJXFcT2K4mIdkDMa01lCeSgOkOhL/oeB7IceFisiuMMXGIhSweLo4OMYpbOydLwBv1 KfsTC8g7aK40Ri56w9XqALet3Tt5YMTM5AHpgW5MB6wV9JkSaD1iHf3CcNMdU6cYu7V6 4jYA== X-Gm-Message-State: APjAAAX0SyISJu0VliYHzveftoxWO6qOEL0Ikt0trIBYPxqqXbCNtfFU XthEBPnUZ9PD211tahsbs7lUBmR7VGH/0WwHqVc= X-Google-Smtp-Source: APXvYqwmRlla/G8okFOSzkcIwBEzgMJrzbb/QcWjNvIcLKPt4ejbnP42gK2B2V4mvf9C1ikZlo43rCwWfhghaRMP9R0= X-Received: by 2002:ac8:428e:: with SMTP id o14mr4688264qtl.186.1568914372658; Thu, 19 Sep 2019 10:32:52 -0700 (PDT) MIME-Version: 1.0 References: <87imrqrp8t.fsf@gnu.org> <87h85cejtw.fsf@gnu.org> In-Reply-To: <87h85cejtw.fsf@gnu.org> From: zimoun Date: Thu, 19 Sep 2019 19:32:41 +0200 Message-ID: Subject: Re: bug#36763: `guix search` does unexpected logical and To: =?UTF-8?Q?Ludovic_Court=C3=A8s?= Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 36763 Cc: 36763@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi Ludo, On Mon, 16 Sep 2019 at 10:17, Ludovic Court=C3=A8s wrote: > Bonus points if you send the patch with =E2=80=98git format-patch=E2=80= =99 and with a > commit log: I did my best here: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D37448 Hope I am doing right. Thanks, simon From debbugs-submit-bounces@debbugs.gnu.org Thu Sep 19 15:56:18 2019 Received: (at 36763-done) by debbugs.gnu.org; 19 Sep 2019 19:56:18 +0000 Received: from localhost ([127.0.0.1]:56468 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iB2XJ-0004mG-O7 for submit@debbugs.gnu.org; Thu, 19 Sep 2019 15:56:17 -0400 Received: from eggs.gnu.org ([209.51.188.92]:36287) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iB2XG-0004ly-Sr for 36763-done@debbugs.gnu.org; Thu, 19 Sep 2019 15:56:15 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:55624) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iB2XB-0007WP-Jr; Thu, 19 Sep 2019 15:56:09 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=43188 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1iB2X9-0005sK-BM; Thu, 19 Sep 2019 15:56:08 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: zimoun Subject: Re: bug#36763: `guix search` does unexpected logical and References: <87imrqrp8t.fsf@gnu.org> <87h85cejtw.fsf@gnu.org> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: Jour du Travail de =?utf-8?Q?l'Ann=C3=A9e?= 227 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Thu, 19 Sep 2019 21:56:05 +0200 In-Reply-To: (zimoun's message of "Thu, 19 Sep 2019 19:32:41 +0200") Message-ID: <87ef0cysa2.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 36763-done Cc: 36763-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hello, zimoun skribis: > On Mon, 16 Sep 2019 at 10:17, Ludovic Court=C3=A8s wrote: > >> Bonus points if you send the patch with =E2=80=98git format-patch=E2=80= =99 and with a >> commit log: > > I did my best here: > https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D37448 > > Hope I am doing right. Yup! We can close it now, thank you. Ludo=E2=80=99. From unknown Fri Jun 13 10:42:40 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 18 Oct 2019 11:24:09 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator