From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.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 0EGPLDyZ3GEfBQAAgWs5BA (envelope-from ) for ; Mon, 10 Jan 2022 21:38:20 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id MMXHKTyZ3GHOdwEA9RJhRA (envelope-from ) for ; Mon, 10 Jan 2022 21:38:20 +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 C9CE12BF8C for ; Mon, 10 Jan 2022 21:38:19 +0100 (CET) Received: from localhost ([::1]:50676 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n71Qo-0003fL-Hv for larch@yhetil.org; Mon, 10 Jan 2022 15:38:18 -0500 Received: from eggs.gnu.org ([209.51.188.92]:35376) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n71QY-0003aw-W7 for bug-guix@gnu.org; Mon, 10 Jan 2022 15:38:05 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:60490) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n71QY-0000dA-Ng for bug-guix@gnu.org; Mon, 10 Jan 2022 15:38:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1n71QY-0000kh-FQ for bug-guix@gnu.org; Mon, 10 Jan 2022 15:38:02 -0500 X-Loop: help-debbugs@gnu.org Subject: bug#53165: "guix import opam coq-of-ocaml" unexpected error Resent-From: raingloom Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Mon, 10 Jan 2022 20:38: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: zimoun Received: via spool by 53165-submit@debbugs.gnu.org id=B53165.16418470312827 (code B ref 53165); Mon, 10 Jan 2022 20:38:02 +0000 Received: (at 53165) by debbugs.gnu.org; 10 Jan 2022 20:37:11 +0000 Received: from localhost ([127.0.0.1]:53393 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n71Pi-0000jX-T7 for submit@debbugs.gnu.org; Mon, 10 Jan 2022 15:37:11 -0500 Received: from mx1.riseup.net ([198.252.153.129]:48788) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n71Pf-0000jG-HO for 53165@debbugs.gnu.org; Mon, 10 Jan 2022 15:37:10 -0500 Received: from fews1.riseup.net (fews1-pn.riseup.net [10.0.1.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4JXlx95b6GzF4d4; Mon, 10 Jan 2022 12:37:01 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1641847021; bh=+3GTnrj1MSmoxOLcQGzCEN1mk5tvCD1WSa+yajpFEOk=; h=Date:From:To:Cc:Subject:In-Reply-To:References:From; b=a7QkN9GPr+EKH1mkkZ+Suc8r9Rxcl5Jo2XfJwxrS+6egrQ/uqlb2Gfrd911ETFZ6M lMgxWN+pO9nVgbr5FjQ4WrSbl8f1Y4z8ULh/Vtd/Il9bnjlPfeNmt9mI7GwphDJhLk 2Do4nGhAiiydDu0AZqem3buZ5c3pUutMk2ptIMME= X-Riseup-User-ID: D62AB0CFE5B445E8FB71FD7499010079331A86D216150BE685A06E9EC43167F5 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews1.riseup.net (Postfix) with ESMTPSA id 4JXlx844t4z5vVX; Mon, 10 Jan 2022 12:37:00 -0800 (PST) Date: Mon, 10 Jan 2022 21:36:57 +0100 From: raingloom Message-ID: <20220110213657.36b9869d@riseup.net> In-Reply-To: <87wnj7wmmd.fsf@gmail.com> References: <87wnj7wmmd.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=1641847100; 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=B6ReVfDxjvDE0YNlAmp0t0F8EYT+hdaeASCS4i5CLjY=; b=UR8dk2Tzxt2y4+EQ5dkHrkN8GanKNwtTOGe1pcPK/aZ7qI2mn192FFtDPtkaBFl0k7Z2BG Dp2isF9SrAiTGThrAGSDHysvq97f7SUOGKW3ThIWeJR3xAVuV62ocvCjOIp8ib/+IiviPP gVgUBDPWFtWzcEjPGGVjtNsTNNrs2lpNWlxe5vZkbkAYcAPULoRU9cyst22sCMrOQ80P8D jiGDzPGiSlLZwld7p8JJOMxJyqYaqo9wKG4/GO7mCuE4VzcyoF7+bvm4q293rljK87k+Xm AMLRBdoLQ2o+bbrqIMpMOTH0yxwuQm1dA8Vcrc8waqwAvwT2UvyTtkI2kY4tQw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1641847100; a=rsa-sha256; cv=none; b=LkZ0ddaOrmPtP4G+EqT8J5ocvoDk32kcffUvFbJDij4866KsePJsUEa8d82PQZCUQRTO3x 9iKAFrwspwGy8wyWclh31BzGshdoQW0vtPPVoaBLfuefzMUzwHJqN6/WEaxN5nxf3mgrgL pdl8OXNTJoAFtmT/cNAbOLVmHMrxvhG57UkemYIOr2c09DgbezzoY8UkrKajMhNvPWcX/A 6t6h/Dplzcx9Yq9sjV/CcivMpi98w+mRBnpxdJRF8F9/EB4JiaCfmKy7FWJ6+k3vN5s09P 1R7K3R3nL8Y0Kkw0MhVgk8QJybomhlUeVvQqVgn21nf1ojXjryyQxvHg3bFUlw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=riseup.net header.s=squak header.b=a7QkN9GP; dmarc=fail reason="SPF not aligned (relaxed)" header.from=riseup.net (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: -3.81 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=riseup.net header.s=squak header.b=a7QkN9GP; dmarc=fail reason="SPF not aligned (relaxed)" header.from=riseup.net (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: C9CE12BF8C X-Spam-Score: -3.81 X-Migadu-Scanner: scn0.migadu.com X-TUID: 214ssjyEp/fr On Mon, 10 Jan 2022 18:01:46 +0100 zimoun wrote: > Hi, >=20 > For some reasons, the Opam importer is failing for coq-of-ocaml: >=20 > --8<---------------cut here---------------start------------->8--- > $ guix import opam coq-of-ocaml >=20 > Starting download of /tmp/guix-file.058Nel > From > https://github.com/clarus/coq-of-ocaml/releases/download/2.5.1/coq-of-oca= ml-full.2.5.1.tar.gz... > following redirection to > `https://github.com/foobar-land/coq-of-ocaml/releases/download/2.5.1/coq-= of-ocaml-full.2.5.1.tar.gz'... > following redirection to > `https://objects.githubusercontent.com/github-production-release-asset-2e= 65be/14023027/b17b0f80-d4ea-11eb-8861-d8d0c56a130f?X-Amz-Algorithm=3DAWS4-H= MAC-SHA256&X-Amz-Credential=3DAKIAIWNJYAX4CSVEH53A%2F20220110%2Fus-east-1%2= Fs3%2Faws4_request&X-Amz-Date=3D20220110T165945Z&X-Amz-Expires=3D300&X-Amz-= Signature=3D7422a35182a4ae9cf511471dca445a65316a70e8baa7ffefc9381ce3588002d= a&X-Amz-SignedHeaders=3Dhost&actor_id=3D0&key_id=3D0&repo_id=3D14023027&res= ponse-content-disposition=3Dattachment%3B%20filename%3Dcoq-of-ocaml-full.2.= 5.1.tar.gz&response-content-type=3Dapplication%2Foctet-stream'... > =E2=80=A6ll.2.5.1.tar.gz 2.3MiB 44.3MiB/s 00:00 > [##################] 100.0% Backtrace: 8 (primitive-load > "/home/simon/.config/guix/current/bin/guix") In guix/ui.scm: 2206:7 > 7 (run-guix . _) 2169:10 6 (run-guix-command _ . _) In > guix/scripts/import.scm: 124:11 5 (guix-import . _) > In guix/scripts/import/opam.scm: > 105:23 4 (guix-import-opam . _) > In guix/build/utils.scm: > 251:8 3 (call-with-temporary-output-file # 7ff70d73d500 at guix/import/opam.scm:348:12 (temp port)>) In > guix/import/opam.scm: 374:37 2 (_ _ _) > In guix/import/utils.scm: > 244:19 1 (beautify-description #f _) > In unknown file: > 0 (string-prefix? "A " #f # # > # #) >=20 > ERROR: In procedure string-prefix?: > In procedure string-prefix?: Wrong type argument in position 2 > (expecting string): #f --8<---------------cut > here---------------end--------------->8--- >=20 >=20 > Cheers, > simon >=20 >=20 >=20 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. ps.: 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.