From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id uATeModi3WHzWgEAgWs5BA (envelope-from ) for ; Tue, 11 Jan 2022 11:57:11 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id SDBrK4di3WHmGwAAG6o9tA (envelope-from ) for ; Tue, 11 Jan 2022 11:57:11 +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 17F9213BC4 for ; Tue, 11 Jan 2022 11:57:11 +0100 (CET) Received: from localhost ([::1]:55826 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n7Epy-00058h-9g for larch@yhetil.org; Tue, 11 Jan 2022 05:57:10 -0500 Received: from eggs.gnu.org ([209.51.188.92]:47696) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n7Epq-00058K-IJ for bug-guix@gnu.org; Tue, 11 Jan 2022 05:57:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:33143) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n7Epq-0000RT-8s for bug-guix@gnu.org; Tue, 11 Jan 2022 05:57:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1n7Epq-0005gR-9A for bug-guix@gnu.org; Tue, 11 Jan 2022 05:57:02 -0500 X-Loop: help-debbugs@gnu.org Subject: bug#53165: "guix import opam coq-of-ocaml" unexpected error Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Tue, 11 Jan 2022 10:57:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 53165 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: raingloom Received: via spool by 53165-submit@debbugs.gnu.org id=B53165.164189862121840 (code B ref 53165); Tue, 11 Jan 2022 10:57:02 +0000 Received: (at 53165) by debbugs.gnu.org; 11 Jan 2022 10:57:01 +0000 Received: from localhost ([127.0.0.1]:54279 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n7Epo-0005gB-Pl for submit@debbugs.gnu.org; Tue, 11 Jan 2022 05:57:01 -0500 Received: from mail-wm1-f43.google.com ([209.85.128.43]:53906) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n7Epk-0005fq-QM for 53165@debbugs.gnu.org; Tue, 11 Jan 2022 05:57:00 -0500 Received: by mail-wm1-f43.google.com with SMTP id l4so10694666wmq.3 for <53165@debbugs.gnu.org>; Tue, 11 Jan 2022 02:56:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:in-reply-to:references:date:message-id :mime-version:content-transfer-encoding; bh=6bUH+UxYBJbd4oYg7LacPpYRuwhqK1fyIltbFkcB+n4=; b=o4fGmoDOw5itKfI5pzCC99798Acv153UTihIZ6K8SR1G/nQbKgAlwG1gv/mgobRTnS PCGhRbxGN3dvaovwL6ELIvW710eAyUGYc2WjWym/FxvwXuq+wl+cKYojpAx3aryXUZ6W TwmkKodCvHRH7hvmxk0gHQgAoTtuv0+Q9MnAUQNhvBW2yQnrOMRq7qtcSxUnYXQomiIp Ve0YKv34Ol68n4kGTVywEek6LxMQ7O6Oa2ZiZA3mgVpUWWfNdWSU5dIBoBD9uTVNSKEt pn3lZzub6kP2+Y45GrbhYGFrOyl22RjeRPYi/2PVPWljLGPOMF6ghqFo2hrF/mTK06rs d6Uw== 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:in-reply-to:references:date :message-id:mime-version:content-transfer-encoding; bh=6bUH+UxYBJbd4oYg7LacPpYRuwhqK1fyIltbFkcB+n4=; b=w4+JeYsdrus+vuOSyEiviPOlvJEHIHYcMz0bfFObSu8IXbYkdh1QEhso1tHEaUlWhP +jAiUXwKoPp6zGFWESJ/3/BcGeR1/Jt5pHWIN+IP4tc6/e60mxVqiKn59ULHbYSwRaKH hrbVqb3fLZdVxqEnSIEaYV8WgOWcxCeZUYmWxsWFpsPxL0gSgpN5JX4Frq1WOuGtR97+ 12YS0XRarOBmoh8VL4B3tZNmjO4a0uJFFZPNDxh0JEIJ9sfUHGPHCndwsnpTC99GNair grTSX9kRFJ6XMGH0O5fTOomMKYXJrTWuH6q+yW+A5n/dZxI2PaD8oI0NWUTzbD/i/HUf 7ocw== X-Gm-Message-State: AOAM532toEG0v88yMZhQx+In0/Rpa0Z7cvCI6s4ktg9DxiTqu7oV+dAM zR5KBGsxseCb9ikDzlJzs0t7bYSthtE= X-Google-Smtp-Source: ABdhPJyMJVeMisWSFL2z50KeZP+47qYBRiqQc9FGNx61YaWwMseTj8OeEPzcHSAyTUwXsBUMgNWQAQ== X-Received: by 2002:a7b:c8c2:: with SMTP id f2mr1964863wml.31.1641898610838; Tue, 11 Jan 2022 02:56:50 -0800 (PST) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id b13sm9057776wrf.64.2022.01.11.02.56.50 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 11 Jan 2022 02:56:50 -0800 (PST) From: zimoun In-Reply-To: <20220110213657.36b9869d@riseup.net> References: <87wnj7wmmd.fsf@gmail.com> <20220110213657.36b9869d@riseup.net> Date: Tue, 11 Jan 2022 11:51:51 +0100 Message-ID: <86h7aa4kag.fsf@gmail.com> 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: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 53165@debbugs.gnu.org Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" 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=1641898631; 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-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=6bUH+UxYBJbd4oYg7LacPpYRuwhqK1fyIltbFkcB+n4=; b=jA329gqAi5Jlqg/wWeAFZSwL5U8v7LmotkAEuNOnzUf0X6o00weIKFCUJUgUauNxY9BnrN NOwtuDaOGJcruINy3+ykS9Wgdia07VWSUHfaBMvGQcFlHrjW+raUFR9wwG4B6p2SoCQOxs 228ln4+WUSFjoxUlWapIJlOTRa8gKeURKOCo4EG/f3J6bJu5jYhe2peTCe1xFAD/96ikXU OYoS+jJeqxCofVvIDUjz5hUIt45pvJNQp6msr1ZbygYsUTguhOjbIxaVo2/P1liQvAOtoR Lgkc1JRO2dIW/KCQzZK/VhgT4JeYbMxiLsfVh/eSUOmnGgHRICSQj9q2oyqHGA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1641898631; a=rsa-sha256; cv=none; b=B8cf6kTKNqImg7TStb4Q8OGoWtUsLeve54z4Ay734Jq8crSo8V7ku1fOgM6fDuL6euSrCP N+WvmvJ61largDdUeTGaIC4ZRFiayn9l5i86tdfPWxrugu/YL1c7QF7pnthfG6gAOh7gPU p/piuxxXoz8N8rDq8LGnTHnBmnufNYSJhHU1jPruWme6AwK3uemeaAk9iZxDbstYKUBmJU yg6snC/w3HUNIVp9vbO0rRZ+C+YspIqaRQmX3E3Qh3OXPJmr9KNNy7sjppajPs/Zvelzlr mxAEv53SlZpP5sCcZabOdQ7KYQSqG0IbCuzlXcFzFk9q1Zp1/+41LEPkffer0w== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=o4fGmoDO; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -2.01 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=o4fGmoDO; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 17F9213BC4 X-Spam-Score: -2.01 X-Migadu-Scanner: scn1.migadu.com X-TUID: cFJaszkUD/Cq Hi, On Mon, 10 Jan 2022 at 21:36, raingloom wrote: > My guess is that the package is missing a description? I vaguely recall > running into this or a similar error when trying to import Infer, but > I'm not sure how I fixed it. > Based on the backtrace, just modifying beautify-description? to act as > the identity function when the input isn't a string should be enough. Thanks. If no one beats me, I will give a look. But for now it is low in my list. :-) > This is why Scheme should have a Maybe type instead of this mess of > overloading boolean false. :) > Or at least Guile should have an optional type checker like MyPy. Hm, I do not think Maybe would change something if the =C2=ABpackage is missing a description=C2=BB. At best, Maybe would be another way to catch the errors instead of raising the Backtrace, no? And I do not think that a type checker like MyPy would raises something here if the issue comes from the missing upstream description, no? Something like QuickCheck seems required and would raise the bug, eventually. Oh wait, guile-quickcheck is around [1] and used by Disarchive; therefore already an indirect dependency of guix. :-) That=E2=80=99s said, nothing prevents Guile to have a Maybe monad. But I t= hink this way of programming is not popular among Schemers. :-) And I agree that a type checker would prevent many issues. Even, I remember talking this topic back on December 2018 around this event: . ;-) Cheers, simon 1: