From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.bugs Subject: bug#15602: Compiling several files in the same session [2.0.9] Date: Tue, 21 Jun 2016 17:00:05 +0200 Message-ID: <87a8iey4cq.fsf@pobox.com> References: <8761t19t4f.fsf@gnu.org> <87twgm23dv.fsf@pobox.com> <87eg7qagz6.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1466521294 28711 80.91.229.3 (21 Jun 2016 15:01:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 21 Jun 2016 15:01:34 +0000 (UTC) Cc: 15602-done@debbugs.gnu.org To: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Tue Jun 21 17:01:19 2016 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bFNB0-0002D7-8D for guile-bugs@m.gmane.org; Tue, 21 Jun 2016 17:01:18 +0200 Original-Received: from localhost ([::1]:52438 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bFNAz-0001Qy-6u for guile-bugs@m.gmane.org; Tue, 21 Jun 2016 11:01:17 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:46179) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bFNAo-0001Pu-WC for bug-guile@gnu.org; Tue, 21 Jun 2016 11:01:12 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bFNAk-0000oc-Ou for bug-guile@gnu.org; Tue, 21 Jun 2016 11:01:06 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:37551) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bFNAk-0000oY-LP for bug-guile@gnu.org; Tue, 21 Jun 2016 11:01:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1bFNAk-00066m-B0 for bug-guile@gnu.org; Tue, 21 Jun 2016 11:01:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Andy Wingo Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Tue, 21 Jun 2016 15:01:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 15602 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Original-Received: via spool by 15602-done@debbugs.gnu.org id=D15602.146652121623416 (code D ref 15602); Tue, 21 Jun 2016 15:01:02 +0000 Original-Received: (at 15602-done) by debbugs.gnu.org; 21 Jun 2016 15:00:16 +0000 Original-Received: from localhost ([127.0.0.1]:49888 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bFN9z-00065c-Ul for submit@debbugs.gnu.org; Tue, 21 Jun 2016 11:00:16 -0400 Original-Received: from pb-sasl1.pobox.com ([64.147.108.66]:62602 helo=sasl.smtp.pobox.com) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bFN9y-00065V-9H for 15602-done@debbugs.gnu.org; Tue, 21 Jun 2016 11:00:14 -0400 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by pb-sasl1.pobox.com (Postfix) with ESMTP id D2B462391D; Tue, 21 Jun 2016 11:00:13 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type:content-transfer-encoding; s=sasl; bh=FkYbNdEEi6o3 vrvDerFzu9Sclv4=; b=Q+mI+woK9UKH56uQtw/booHgXl5n35UBJIE9HepB8E4f Vcu5oFE9BfEmW70sh+mVAfGNVe1nCx/dmHfsynQv2mD4JIHSjiqC6iLOSSr0slW0 qktJu190oQUG6PUqzFmYtoMrVMmfaYiiUAxZ9GU/etZ2QItuyWdQv255XGMl+wA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type:content-transfer-encoding; q=dns; s=sasl; b=Cgqerw l4DqcpnW9TX7mHn1x6yGFAdor9xSJPK+aPAbTyjEjROT3cS1xWWzcyTSaiZNSeB4 cZxEM1cd4a/sAH38vP29+SLQhDgW3faOVdgkf92896V5AjGMaxt8rPf9q9mN0lZe 9f/qb1YQCsc6ta3WtsohQTQT/yXFM9z385eZU= Original-Received: from pb-sasl1.nyi.icgroup.com (unknown [127.0.0.1]) by pb-sasl1.pobox.com (Postfix) with ESMTP id CBA4B2391B; Tue, 21 Jun 2016 11:00:13 -0400 (EDT) Original-Received: from clucks (unknown [88.160.190.192]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by pb-sasl1.pobox.com (Postfix) with ESMTPSA id EBEFE2391A; Tue, 21 Jun 2016 11:00:12 -0400 (EDT) In-Reply-To: <87eg7qagz6.fsf@gnu.org> ("Ludovic =?UTF-8?Q?Court=C3=A8s?="'s message of "Tue, 21 Jun 2016 14:01:17 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) X-Pobox-Relay-ID: DB37B160-37C0-11E6-9646-C1836462E9F6-02397024!pb-sasl1.pobox.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: "bug-guile" Xref: news.gmane.org gmane.lisp.guile.bugs:8102 Archived-At: Hi :) On Tue 21 Jun 2016 14:01, ludo@gnu.org (Ludovic Court=C3=A8s) writes: > Andy Wingo skribis: > >> On Sun 13 Oct 2013 15:51, ludo@gnu.org (Ludovic Court=C3=A8s) writes: >>> I think the right thing would be to use a separate module hierarchy in >>> the dynamic extent of =E2=80=98compile-file=E2=80=99, somehow, such tha= t all module side >>> effects are isolated. >> >> I don't think this is going to happen, for what that's worth :/ > > What do you mean? > > Global state held in global variables is Bad. To me, this is clearly an > area where things can and should be improved. In a live-hacked, > long-running system, that =E2=80=98compile-file=E2=80=99 modifies the glo= bal state in > arbitrary ways is not just a theoretical problem. > > WDYT? Maybe you are right. Maybe we need completely new data structures in the module subsystem to support excursions in which we make private changes to the module tree, and in which we can "commit" modifications to the main tree when they are intended to be installed globally. Very tricky to get right though. My "I don't think this is going to happen" expressed a guess as to our ability to get this done, time- and interest-wise. How much are you able to work on this? Andy