GNU logs - #32160, boring messages

Message sent to bug-guile@HIDDEN:

Subject: bug#32160: auto compile fails to recompile when included source files change
Resent-From: Arun Isaac <arunisaac@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Sun, 15 Jul 2018 02:52:01 +0000
Resent-Message-ID: <handler.32160.B.15316231121335 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 32160 <at> debbugs.gnu.org
From: Arun Isaac <arunisaac@HIDDEN>
Date: Sun, 15 Jul 2018 07:49:58 +0530
Message-ID: <cu7in5hdyup.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Guile's auto compile fails to recompile when included source files
change.

For example, I have two source files -- foo.scm and bar.scm. foo.scm
includes bar.scm using `include'. When I run foo.scm for the first time,
it is auto compiled and run correctly. But, if I modify bar.scm and run
foo.scm again, foo.scm is not rebuilt and the old version is run.

Here is a concrete example of what I mean.

$ cat foo.scm
(include "bar.scm")

$ cat bar.scm
(display "old")
(newline)

$ guile -s foo.scm
;;; note: source file /tmp/test/foo.scm
;;;       newer than compiled /home/arun/.cache/guile/ccache/2.2-LE-8-3.A/tmp/test/foo.scm.go
;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0
;;;       or pass the --no-auto-compile argument to disable.
;;; compiling /tmp/test/foo.scm
;;; compiled /home/arun/.cache/guile/ccache/2.2-LE-8-3.A/tmp/test/foo.scm.go
old

$ sed -i 's/old/new/' bar.scm

$ cat bar.scm
(display "new")
(newline)

$ guile -s foo.scm
old

In the last step, guile still printed "old" without recompiling. It
should have recompiled and printed "new".

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Arun Isaac <arunisaac@HIDDEN>
Subject: bug#32160: Acknowledgement (auto compile fails to recompile when
 included source files change)
Message-ID: <handler.32160.B.15316231121335.ack <at> debbugs.gnu.org>
References: <cu7in5hdyup.fsf@HIDDEN>
X-Gnu-PR-Message: ack 32160
X-Gnu-PR-Package: guile
Reply-To: 32160 <at> debbugs.gnu.org
Date: Sun, 15 Jul 2018 02:52:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-guile@HIDDEN

If you wish to submit further information on this problem, please
send it to 32160 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
32160: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D32160
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guile@HIDDEN:

Subject: bug#32160: auto compile fails to recompile when included source files change
Resent-From: Mark H Weaver <mhw@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Thu, 02 Aug 2018 18:04:01 +0000
Resent-Message-ID: <handler.32160.B32160.15332329819625 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Arun Isaac <arunisaac@HIDDEN>
Cc: 32160 <at> debbugs.gnu.org
From: Mark H Weaver <mhw@HIDDEN>
References: <cu7in5hdyup.fsf@HIDDEN>
Date: Thu, 02 Aug 2018 14:01:29 -0400
In-Reply-To: <cu7in5hdyup.fsf@HIDDEN> (Arun Isaac's message of "Sun, 
 15 Jul 2018 07:49:58 +0530")
Message-ID: <87muu4ve9y.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Hi Arun,

Arun Isaac <arunisaac@HIDDEN> writes:

> Guile's auto compile fails to recompile when included source files
> change.
>
> For example, I have two source files -- foo.scm and bar.scm. foo.scm
> includes bar.scm using `include'. When I run foo.scm for the first time,
> it is auto compiled and run correctly. But, if I modify bar.scm and run
> foo.scm again, foo.scm is not rebuilt and the old version is run.

Yes, this is a known limitation in Guile's auto-compilation support.
Unfortunately, we don't have any system in place to track these
dependencies between modules.  Years ago, I spent some time thinking
about how to do it, but it's nontrivial given the unstructured and
imperative model by which modules load themselves and their
dependencies.  The .go file format would also need to be extended to
embed the dependency information.

There's also the question of how to fingerprint the dependencies.  If
timestamps are used, it would defeat deterministic builds, but if hashes
are used, it might dramatically slow down module loading, especially
given that it would not be sufficient to check the immediate
dependencies: the full transitive closure of the module dependency graph
would need to be traversed.

And then there's the unfortunate fact that although circular module
dependencies are (sensibly) prohibited by standard Scheme and most other
languages, in Guile they are not prohibited, and although they cause a
great many headaches, they sort-of-work if you are lucky, and Guix now
depends heavily on them.  Last I checked, Guix has a large number of
package modules (well over 50, and possibly more than 100 at this point)
that form a strongly connected component in the module dependency graph.

I'm sorry that I don't have a better answer for you.  If you'd like to
investigate further, I'd be glad to give you pointers and advice, but
it's not a project for the faint-hearted :-/

      Regards,
        Mark

Message sent to bug-guile@HIDDEN:

Subject: bug#32160: auto compile fails to recompile when included source files change
Resent-From: Mark H Weaver <mhw@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Thu, 02 Aug 2018 18:55:02 +0000
Resent-Message-ID: <handler.32160.B32160.153323604514246 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 32160 <at> debbugs.gnu.org
From: Mark H Weaver <mhw@HIDDEN>
References: <cu7in5hdyup.fsf@HIDDEN> <87muu4ve9y.fsf@HIDDEN>
Date: Thu, 02 Aug 2018 14:52:32 -0400
In-Reply-To: <87muu4ve9y.fsf@HIDDEN> (Mark H. Weaver's message of "Thu, 02
 Aug 2018 14:01:29 -0400")
Message-ID: <87in4svbwv.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

My response to Arun Isaac <arunisaac@HIDDEN> was rejected
by his mail server:

  SMTP error from remote mail server after RCPT TO:<arunisaac@HIDDEN>:
  550 Sender Policy Framework (SPF) verification failed

I do not have DNS records supporting SPF for my domain netris.org, and
apparently his mail server is configured to reject all mail that is not
authenticated by SPF.  So, I'm unable to send him email.  Oh well.  This
is the first time I've run into this problem.

If someone could let him know about this issue, I would be grateful.

      Mark

Message sent to bug-guile@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#32160: auto compile fails to recompile when included source files change
Resent-From: Mark H Weaver <mhw@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Thu, 02 Aug 2018 21:03:02 +0000
Resent-Message-ID: <handler.32160.B32160.153324377726258 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 32160
X-GNU-PR-Package: guile
X-GNU-PR-Keywords: 
To: 32160 <at> debbugs.gnu.org
Received: via spool by 32160-submit <at> debbugs.gnu.org id=B32160.153324377726258
          (code B ref 32160); Thu, 02 Aug 2018 21:03:02 +0000
Received: (at 32160) by debbugs.gnu.org; 2 Aug 2018 21:02:57 +0000
Received: from localhost ([127.0.0.1]:39283 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1flKkK-0006pR-Vd
	for submit <at> debbugs.gnu.org; Thu, 02 Aug 2018 17:02:57 -0400
Received: from world.peace.net ([64.112.178.59]:53226)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <mhw@HIDDEN>) id 1flKkG-0006p9-8w
 for 32160 <at> debbugs.gnu.org; Thu, 02 Aug 2018 17:02:55 -0400
Received: from mhw by world.peace.net with esmtpsa
 (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89)
 (envelope-from <mhw@HIDDEN>)
 id 1flKk9-0002e2-KE; Thu, 02 Aug 2018 17:02:45 -0400
From: Mark H Weaver <mhw@HIDDEN>
References: <cu7in5hdyup.fsf@HIDDEN> <87muu4ve9y.fsf@HIDDEN>
 <87in4svbwv.fsf@HIDDEN>
Date: Thu, 02 Aug 2018 17:01:20 -0400
In-Reply-To: <87in4svbwv.fsf@HIDDEN> (Mark H. Weaver's message of "Thu, 02
 Aug 2018 14:52:32 -0400")
Message-ID: <87effgv5y7.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Mark H Weaver <mhw@HIDDEN> writes:

> My response to Arun Isaac <arunisaac@HIDDEN> was rejected
> by his mail server:
[...]
> If someone could let him know about this issue, I would be grateful.

tomas@HIDDEN kindly forwarded my messages to Arun, so there's no
need for anyone else to do it now.  Thanks, Tomas!

      Mark

Message sent to bug-guile@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#32160: auto compile fails to recompile when included source files change
Resent-From: Arun Isaac <arunisaac@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Fri, 03 Aug 2018 08:36:01 +0000
Resent-Message-ID: <handler.32160.B32160.153328530532014 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 32160
X-GNU-PR-Package: guile
X-GNU-PR-Keywords: 
To: Mark H Weaver <mhw@HIDDEN>
Cc: tomas@HIDDEN, 32160 <at> debbugs.gnu.org
Received: via spool by 32160-submit <at> debbugs.gnu.org id=B32160.153328530532014
          (code B ref 32160); Fri, 03 Aug 2018 08:36:01 +0000
Received: (at 32160) by debbugs.gnu.org; 3 Aug 2018 08:35:05 +0000
Received: from localhost ([127.0.0.1]:39476 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1flVY9-0008KI-HL
	for submit <at> debbugs.gnu.org; Fri, 03 Aug 2018 04:35:05 -0400
Received: from vultr.systemreboot.net ([45.77.148.100]:52982)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <arunisaac@HIDDEN>) id 1flVY7-0008JY-Dz
 for 32160 <at> debbugs.gnu.org; Fri, 03 Aug 2018 04:35:03 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed;
 d=systemreboot.net; s=default; h=Content-Type:MIME-Version:Message-ID:Date:
 References:In-Reply-To:Subject:Cc:To:From:Sender:Reply-To:
 Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date:
 Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:
 List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=+Ikd/u6wQ5k0IRDknDcIcY5HNgDdkSDB/e0FnT/5oPU=; b=dbxFqG6Oeox8HQsIrNZCrkZb9
 NxKs6SuBo4fTf+RlHdyt9Eg3JG+RPwaJHF++ZZjFtQ9OhvfTKyGsESbvxbsTi54zcobFloHhv1Jtf
 xEacaI0jv50eqtPx79wjaRiyAaAAFRWXEcKJ4SRrDt2XUdoIab5SNAiK5RCi4B4PcY+9g=;
Received: from [192.168.2.1] (helo=steel)
 by systemreboot.net with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256)
 (Exim 4.91) (envelope-from <arunisaac@HIDDEN>)
 id 1flVXy-00011R-Sf; Fri, 03 Aug 2018 14:04:55 +0530
From: Arun Isaac <arunisaac@HIDDEN>
In-Reply-To: <20180802200226.GA12552@HIDDEN>
References: <cu7in5hdyup.fsf@HIDDEN> <87muu4ve9y.fsf@HIDDEN>
 <20180802200226.GA12552@HIDDEN>
Date: Fri, 03 Aug 2018 14:04:48 +0530
Message-ID: <cu7muu3df13.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)


>> If you'd like to investigate further, I'd be glad to give you
>> pointers and advice, but it's not a project for the faint-hearted :-/

I am faint-hearted and do not wish to pursue this further. :-P I just
thought it might be useful to report. Should I close this bug report, or
leave it open for someone to fix in the future?

Message sent to bug-guile@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#32160: auto compile fails to recompile when included source files change
Resent-From: Mark H Weaver <mhw@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Fri, 03 Aug 2018 16:37:02 +0000
Resent-Message-ID: <handler.32160.B32160.153331417828521 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 32160
X-GNU-PR-Package: guile
X-GNU-PR-Keywords: 
To: Arun Isaac <arunisaac@HIDDEN>
Cc: tomas@HIDDEN, 32160 <at> debbugs.gnu.org
Received: via spool by 32160-submit <at> debbugs.gnu.org id=B32160.153331417828521
          (code B ref 32160); Fri, 03 Aug 2018 16:37:02 +0000
Received: (at 32160) by debbugs.gnu.org; 3 Aug 2018 16:36:18 +0000
Received: from localhost ([127.0.0.1]:40126 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1fld3p-0007Px-OP
	for submit <at> debbugs.gnu.org; Fri, 03 Aug 2018 12:36:17 -0400
Received: from world.peace.net ([64.112.178.59]:56626)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <mhw@HIDDEN>) id 1fld3o-0007Pl-D2
 for 32160 <at> debbugs.gnu.org; Fri, 03 Aug 2018 12:36:16 -0400
Received: from mhw by world.peace.net with esmtpsa
 (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89)
 (envelope-from <mhw@HIDDEN>)
 id 1fld3f-000071-4y; Fri, 03 Aug 2018 12:36:07 -0400
From: Mark H Weaver <mhw@HIDDEN>
References: <cu7in5hdyup.fsf@HIDDEN> <87muu4ve9y.fsf@HIDDEN>
 <20180802200226.GA12552@HIDDEN> <cu7muu3df13.fsf@HIDDEN>
Date: Fri, 03 Aug 2018 12:34:40 -0400
In-Reply-To: <cu7muu3df13.fsf@HIDDEN> (Arun Isaac's message of "Fri, 
 03 Aug 2018 14:04:48 +0530")
Message-ID: <87h8kbwgrj.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Hi Arun,

Arun Isaac <arunisaac@HIDDEN> writes:

>>> If you'd like to investigate further, I'd be glad to give you
>>> pointers and advice, but it's not a project for the faint-hearted :-/
>
> I am faint-hearted and do not wish to pursue this further. :-P I just
> thought it might be useful to report. Should I close this bug report, or
> leave it open for someone to fix in the future?

I'd prefer to leave it open, because it is indeed an important issue
that would be good to fix eventually.

      Thanks!
        Mark

Last modified: Mon, 25 Nov 2019 12:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.