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 ms5.migadu.com with LMTPS id kEUhLDO9A2OoWwEAbAwnHQ (envelope-from ) for ; Mon, 22 Aug 2022 19:30:27 +0200 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 qC1OLDO9A2OFbwEA9RJhRA (envelope-from ) for ; Mon, 22 Aug 2022 19:30:27 +0200 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 516F728932 for ; Mon, 22 Aug 2022 19:30:27 +0200 (CEST) Received: from localhost ([::1]:49730 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oQBFq-0002Qt-Ai for larch@yhetil.org; Mon, 22 Aug 2022 13:30:26 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:43250) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oQ9QF-0005zO-77 for bug-guix@gnu.org; Mon, 22 Aug 2022 11:33:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:51751) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oQ9QE-0001zi-Mv for bug-guix@gnu.org; Mon, 22 Aug 2022 11:33:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oQ9QE-0006CH-Hu for bug-guix@gnu.org; Mon, 22 Aug 2022 11:33:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#57121: clojure-build-system fails to compile -- backtrace from language/tree-il/peval.scm Resent-From: Maxim Cournoyer Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Mon, 22 Aug 2022 15:33:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57121 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Maxime Devos Cc: 57121@debbugs.gnu.org Received: via spool by 57121-submit@debbugs.gnu.org id=B57121.166118236523792 (code B ref 57121); Mon, 22 Aug 2022 15:33:02 +0000 Received: (at 57121) by debbugs.gnu.org; 22 Aug 2022 15:32:45 +0000 Received: from localhost ([127.0.0.1]:41499 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQ9Pw-0006Bg-RH for submit@debbugs.gnu.org; Mon, 22 Aug 2022 11:32:45 -0400 Received: from mail-qk1-f174.google.com ([209.85.222.174]:41637) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oQ9Pu-0006BR-P3 for 57121@debbugs.gnu.org; Mon, 22 Aug 2022 11:32:43 -0400 Received: by mail-qk1-f174.google.com with SMTP id w18so8101288qki.8 for <57121@debbugs.gnu.org>; Mon, 22 Aug 2022 08:32:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:mime-version:user-agent:message-id :in-reply-to:date:references:subject:cc:to:from:from:to:cc; bh=kgfxF6cYyfBJ/51BfBJHNlHdbBoFERksQ1PxiUo9Dhk=; b=pn4k9l3e5bc3rb1vrdbdEyyAJfYxnz0FZ7Zvgcej7JafUMLnKBP0Y5eKLrYmiCshbj qmeGw8jTT/nF3rDkmJFvtg48+wc7W8OYy5/MCjDTRbJo2StIddfchT8ri7S31rk4rJnB wzPkcsF0JnanZaqWqa4d5iRyjjXHRkkpY/PTxsCOu2ERl273Q0lNJaikuAIKx0i8oQgq cmCtZd109eHttnxfV+pZgy81KOOjhTKEDjoSjcRyW3ege1qnGpxvHVI6YQRavBppTPlw WpPzqKf2CcsE+xTFVT7hq1msrXPKJT/iRrnnFM8zeU+rm4oUpa4aqYBeW1BHjoVDww+M pCHg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:user-agent:message-id :in-reply-to:date:references:subject:cc:to:from:x-gm-message-state :from:to:cc; bh=kgfxF6cYyfBJ/51BfBJHNlHdbBoFERksQ1PxiUo9Dhk=; b=BZ2s1lFSEjYeB266VsH+qFu7OAW8LKoAe2I2o9M69ufBSRK2N7ixhazqcaXUC8S7zi SQfxH4bjTDTMMAXwIJ6zgIV0+rhmfCADNLwxOPhZyDzNLNeImqUUQHf0TwdMBMsOS41p ZcZhj6Svbk+lUECPvQ3WFVzlMvCGhHNbQfdxJWu7PZuzJaYUQBnUpxH3a3c9yHXZptbz wnE8CW/G68h4zWOYXBTJA6xefnRdrmuozpE0zQrPigVu0q2AlNRO6vtAflBnbIhkcQI7 +ysoQ3gEzkQ1PuKwoZ9OdZcOg23StPW8gF6iMLOl5ilPSUqH0evAGdVRMgbyRBODaQDg fhBA== X-Gm-Message-State: ACgBeo0vuxi7EmjkXOCvg4WvTUsgJWXXXdrYCKtz2US3o35+8TjONW2S 28k+ycusHUe+oKGpvNndx0PLoTb5nO8= X-Google-Smtp-Source: AA6agR4lqr+6P/TH0nIPmcV+p3xxKnXZkPGVj7mRSsoqOvq5VtaPBPlSCvK9SlcudQlLuv4pjbjFow== X-Received: by 2002:ae9:e641:0:b0:6bb:8cc5:ef90 with SMTP id x1-20020ae9e641000000b006bb8cc5ef90mr13495411qkl.333.1661182356929; Mon, 22 Aug 2022 08:32:36 -0700 (PDT) Received: from hurd ([2607:fad8:4:3::1003]) by smtp.gmail.com with ESMTPSA id l8-20020a05620a28c800b006bbc3724affsm10418214qkp.45.2022.08.22.08.32.35 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 22 Aug 2022 08:32:36 -0700 (PDT) From: Maxim Cournoyer References: <8cd4199a-7db2-ee39-1939-3783e020dc9c@telenet.be> <34b46a55-793b-fd50-a1e6-68794071a3c4@telenet.be> <87ilmohswc.fsf@gmail.com> Date: Mon, 22 Aug 2022 11:32:34 -0400 In-Reply-To: (Maxime Devos's message of "Fri, 19 Aug 2022 22:58:48 +0200") Message-ID: <878rngi99p.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) 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: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1661189427; 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=kgfxF6cYyfBJ/51BfBJHNlHdbBoFERksQ1PxiUo9Dhk=; b=auJP29rBt7sqfRx4V7ZtGCXciCmPGeZIUof5cVxAwTBnS2Ce3hwnrHFvFdQnBw6aqpg8tj 9JgQMOb7se8Z+SvmsBJT0knXL95kl8SUgJNaO/vduV4JyKrBWADs98rGu82m6Z+7SVMvSa 99ZC0+jPTaawViU7vWfUWNHuz/7k8g6hwP87E4ZkMa7Ol9Aysx4iyscMQQ8kQqvWseSfA+ Iufg4RETm+4mncwLRh5/Mi02KwyHBkpeMBYc8ynllKoCDy+v7W4LmfQtsSkzJYgaP0HYsK iaSc38sdYb2FnUpnC/tN6xTEsBqWQk17QooLZd9duQIwe/oTzl7Pfdv3ukVPig== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1661189427; a=rsa-sha256; cv=none; b=pC5sjVGOOjCPc/MkeAVYpucLMkXjD2/SXP/65xuIWOG2ALgQOS+UFhwBbdD564+LTl+Yfb oC6eyVl9SrKAKzW23Lidb4UOMwSCqYbiVc2M/3JQjKrQrbIsyQPclhaqUNgvJBL2ygtg4W oR37wl/IWE6kC9XIp4iSMcKudqdb4jbZI5aGFtvm+MRVRKvsaxbdDOFUL25Rrhl+/8i1Eo 9Fozh+JrrftSDtkE3VzU85ob7JqQdhJ0yu/ZIVr50pbfuxbLwr0qIvot5xAPkR2R7A2aJA Nt2l1w7kJEM5wGrPebKM7XCFuhKrNojzWoer6UJKCJJhBWcqCWA1p88EU6WePA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=pn4k9l3e; 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: 6.09 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=pn4k9l3e; 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: 516F728932 X-Spam-Score: 6.09 X-Migadu-Scanner: scn0.migadu.com X-TUID: PY35Zbcu0lv+ Hi Maxim, Maxime Devos writes: > On 19-08-2022 22:37, Maxim Cournoyer wrote: > >> Hi Maxime. >> >> Maxime Devos writes: >> >>> Can't reproduce after touching java-utils.scm. >> I got this issue a couple times too. I attributed it (without analysis) >> to Guile's failure to keep track of changes to macro expanded code. > > It might be inlining. I don't see how macro expansion matters here. I > think it's dependency tracking in general. Dependency tracking is probably what I meant. >> More like something to track on the side of Guile, I would think. > > I had a patch for build-aux/compile-all.scm that adds a form of > dependency tracking: . If we teach > it about (define-module (foo) #:use-module (bar)) --> (bar) is a > dependency of (foo) (using parts of source-module-closure?) (and drop > the search-patch things), then it seems solved to me. > > As there is a known path to a solution, I wouldn't close this. > > These patches are for Guix' build system.=C2=A0 I don't see anything that > could be done on the Guile side, except for eventually migrating some > dependency tracking stuff over to Guile If a module imports a different module, and that module changes, even if it's macro, Guile should not blindly reuse the stale .go like it currently does. It should complain and evaluate from source instead. That would cover the base and avoid breakage. After, if it known how to do that, yes, it seems it'd be useful to have something similar to 'gcc -M' to provide the needed intelligence to the build system. Does that make sense? Thanks, Maxim