From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id sOS5BgpjXmC5agAAgWs5BA (envelope-from ) for ; Fri, 26 Mar 2021 23:41:14 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id GFqXAApjXmBIQQAAbx9fmQ (envelope-from ) for ; Fri, 26 Mar 2021 22:41:14 +0000 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 8279D11FEC for ; Fri, 26 Mar 2021 23:41:13 +0100 (CET) Received: from localhost ([::1]:36132 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lPv8i-0003Qp-5O for larch@yhetil.org; Fri, 26 Mar 2021 18:41:12 -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 1lPv8V-0003Qc-8O for guix-devel@gnu.org; Fri, 26 Mar 2021 18:40:59 -0400 Received: from mail-wr1-x430.google.com ([2a00:1450:4864:20::430]:39548) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lPv8T-0004jP-HX for guix-devel@gnu.org; Fri, 26 Mar 2021 18:40:59 -0400 Received: by mail-wr1-x430.google.com with SMTP id e18so7053789wrt.6 for ; Fri, 26 Mar 2021 15:40:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:in-reply-to:references:date:message-id:mime-version :content-transfer-encoding; bh=h1GkF7vg6BzO3Di9AEzThmkxDG2po1Xd8iWsNySYh04=; b=bG5ZuqoEMTW8EV+WZG8g8Lzzqazzw6mXsYJ0w/AxDKVGRNEZNkhHKA2/ADdJRUiudn ubOLm0U6I44RdkG0s4UCW/nlIySYK4DbW1gTyFDY7aXg/wGqsTzAdVb9MBLZdryKVGm1 993k+BBKJSbxLNKlWkqSRx2k3EuH2WU5/4NEO/7lhLwVicLYT9X/8UbWzRCFadh65OJ2 RbATNgEizSDpWI/CLa6D5bQJ5JiCgxVRj31iIODJuLNn0tquSQYCmAf8Y2wuJftEKFtk ZGkYNnf649khI56xDUzyPB/zmeVLk1XEcAt9lph1VN8TcYSof4raX44C60z9ZwvmeF6J e7cA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:in-reply-to:references:date :message-id:mime-version:content-transfer-encoding; bh=h1GkF7vg6BzO3Di9AEzThmkxDG2po1Xd8iWsNySYh04=; b=YBGqcNOEru82b5GwVrIPsODHCHUL7Zn4hRmHC5IEeLp/ZDGgpLIBXp5dVYiHDON9GV w3rexhs7+iGKg8cYFzdUJDT7Md5rQndrYHj2LyWbuIDVN/ur8vEQQWJTOw+Krj6v9pHm QqyMQSFSoizxuAVIE0D5EOhDpaEuRg42bHEhx1vj6PC875c17aiI3/hxK5NbhrNFEVnk mR2a0jynDrj6URBB9gyvajfxlrw9NUbOVQZa6QKi1N8esawPnr52LvCdU9OImXX9W7Vw HVcSFHwq8ZTCVtdp3zzpyctIvQu8EF05CAE/UU+a5S6StBa/ZevK4kgsf7eoaNAm8Res ow4Q== X-Gm-Message-State: AOAM5304FlNl2FWWKkKJPI1yZ2blmTpXSqZs0W77FbGq3ZeZvDwV8TU3 IGbpoKEVep4z5Qn+YRuLSfEwKunjPe4= X-Google-Smtp-Source: ABdhPJxWcUMIXfaEA0Kj1jwDR6WebqFYpK+kPmwZs5qOM6h9gHrc1nRvnV8Iqkq2SzhkXIESc8klBA== X-Received: by 2002:adf:b313:: with SMTP id j19mr16321305wrd.188.1616798455749; Fri, 26 Mar 2021 15:40:55 -0700 (PDT) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id l15sm13383839wme.43.2021.03.26.15.40.54 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 26 Mar 2021 15:40:55 -0700 (PDT) From: zimoun To: c4t0 , guix-devel@gnu.org Subject: Re: guix import hackage fails with errors, and failed tests In-Reply-To: <871rc1u0n4.fsf@riseup.net> References: <87mtut7a6a.fsf@riseup.net> <874kh07317.fsf@riseup.net> <86o8f8b6ih.fsf@gmail.com> <87wntv597f.fsf@riseup.net> <86czvmcyz1.fsf@gmail.com> <871rc1u0n4.fsf@riseup.net> Date: Fri, 26 Mar 2021 23:37:37 +0100 Message-ID: <8635wha6dq.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::430; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x430.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1616798473; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=h1GkF7vg6BzO3Di9AEzThmkxDG2po1Xd8iWsNySYh04=; b=lEg2j5roGzPDWryteRzymnklRFDSgCBqdnKyFJ7ROgh1nzdtYYKMdnB1jOwFS33vNRwVSa GUHT8rn+NC0cSw6R2mluoiBPJpmoMQiosUmWrY+87NiQObhv11coLBSXgiYM3dk15zumNf H1yWTNXCMMevdiqJCNJ3Fo4XLY3ivc+IQ+tVQ890KN7setSK2hIlLsuITidaSY9zv7el56 m28+Ir2C8gF5GyCjI21LS6+nz2a0gN8lN5jC696z/mKyDH4BQo22NIJVi7HIibg3CDPRE6 DfpFFny8PLOq1qguubz32E6i2i7Z82jZZlBLgZLF0Q69BcCJObCYHfE76InvcQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1616798473; a=rsa-sha256; cv=none; b=GBDtuUrkwmr67Kb60KmSLTXnxHi/7RZe/MjICZ5K9WcfNMvNX9cgRz2EDfZX72n5l47wgR PT1Rqzul4eeJvpOwy0NJpre3fUC5nd27W18LikLnnGc1x6yGQkpeb1Idr3Obvkve//9Y+u hlTsrgCyzliG1kTr+41eAaCiqDdpq0JkNpyE45g0reNsB0ZNQMq/r8UR3CSlRqI/wAJS2Q PtojCRlcb+e7wsAwo+KCNBgsfaHg+YSIN7jH7R+SffgIqED7AEgfRmgvRdVDSDsDwC4kM+ g/0hQjh0AluPMk2h11P5G0SsFRcVY62Bs4ArEpeesIiwtYZO5z+NsZ4Jljsl/Q== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20161025 header.b=bG5ZuqoE; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Spam-Score: -3.12 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20161025 header.b=bG5ZuqoE; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Queue-Id: 8279D11FEC X-Spam-Score: -3.12 X-Migadu-Scanner: scn0.migadu.com X-TUID: 2mHnh7wfpP2f Hi, On Fri, 26 Mar 2021 at 17:21, c4t0 wrote: > We can consider the argument backwards. If a user is not using haskell, > is not even packaging software, why make him have import-code at all? Well, you are not comparing apples to apples: Scheme files (~KB) vs Haskell (~GB)=E2=80=A6 > or why shipping autotools when we can do a parser and macro transformers > in guile-scheme, and so on? I'm pushing it to make the point here, don't > get me wrong; it's obvious that we won't be reimplement gcc in guile > ever. =E2=80=A6I get your point but as I said elsewhere, importers are not conver= ters. > in emacs we have autoloads. Maybe 'guix import hackage ...' should > then, and only then install the necesary dependencies. Or print a > warning that it'll use a scheme parser and that you can have a native > one installing X. Yeah, that=E2=80=99s an idea. It makes sense to me. > we already do this with cpan: "If Perl is available in the store, then > the =E2=80=98corelist=E2=80=99 utility will be used to filter core module= s out of the > list of dependencies." quoted from the manual. But it does not say for the Else case. ;-) > it does something really better that I did though, it checks the store: > > (define %corelist > (delay > (let* ((perl (with-store store > (derivation->output-path > (package-derivation store (perl-package))))) > (core (string-append perl "/bin/corelist"))) > (and (access? core X_OK) > core)))) Yes and it is cheap to test. --8<---------------cut here---------------start------------->8--- $ guix gc --list-live | grep '\-hello-' finding garbage collector roots... determining live/dead paths... $ guix gc --list-dead | grep '\-hello-' finding garbage collector roots... determining live/dead paths... $ guix repl GNU Guile 3.0.5 Copyright (C) 1995-2021 Free Software Foundation, Inc. Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'. This program is free software, and you are welcome to redistribute it under certain conditions; type `,show c' for details. Enter `,help' for help. scheme@(guix-user)> ,use(gnu packages base) scheme@(guix-user)> ,use(guix store) scheme@(guix-user)> (with-store store (derivation->output-path (package-derivation store hello))) $1 =3D "/gnu/store/a462kby1q51ndvxdv3b6p0rsixxrgx1h-hello-2.10" scheme@(guix-user)> ,q $ guix gc --list-live | grep '\-hello-' finding garbage collector roots... determining live/dead paths... $ guix gc --list-dead | grep '\-hello-' finding garbage collector roots... determining live/dead paths... /gnu/store/2bx5a99d6z3fn1905yjvzqy890kicfqm-hello-2.10.tar.gz.drv /gnu/store/kql8b2hbsabcmany4m3hfm3wzdiymliy-hello-2.10-guile-builder /gnu/store/sihk9hiiqhqkckjs4dzl2vdk5dfv2923-hello-2.10.drv --8<---------------cut here---------------end--------------->8--- >> Well, Guix provides an extension mechanism, see GUIX_EXTENSIONS_PATH. >> Maybe it is the entry point for what you would like to have. > > Are you refering to GUIX_PACKAGE_PATH? No, really GUIX_EXTENSIONS_PATH. :-) > It's been almost two years since this bug > > https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D35743 > > this one has a delay of three years until it solved: > > https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D23961 > > and this one, has been 4 years since open with out much progress. > https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D25138 > > I didn't do a statistical analysis, and it can be other reason -maybe > nobody cares about haskell in guix and they are using nix?- but I think > that these issues don't get fixed bacause we need to modify a parser. Well, maybe it is a good idea to fallback to Cabal thing if it is already in the store. It would avoid to reinvent the wheel as you said. And it would probably fix a lot of corner cases. > btw I'm not arguing to push my patch, it's rather hacky, but to initiate > a discussion that can address this to the future. > I'm even willing to try to tackle the parser. Discussion and (new) ideas to address (old) issues are always welcome. :-) Cheers, simon