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: Re: Loading mysterium Date: Mon, 17 Jan 2011 19:31:54 -0500 Message-ID: References: <201012181645.13509.stefan.itampe@gmail.com> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1295310447 7551 80.91.229.12 (18 Jan 2011 00:27:27 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 18 Jan 2011 00:27:27 +0000 (UTC) Cc: Guile bug To: Stefan Israelsson Tampe Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Tue Jan 18 01:27:19 2011 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1PezPr-0006uR-Jm for guile-bugs@m.gmane.org; Tue, 18 Jan 2011 01:27:19 +0100 Original-Received: from localhost ([127.0.0.1]:51909 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1PezPq-00046x-Ft for guile-bugs@m.gmane.org; Mon, 17 Jan 2011 19:27:18 -0500 Original-Received: from [140.186.70.92] (port=55617 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1PezPi-00045o-K5 for bug-guile@gnu.org; Mon, 17 Jan 2011 19:27:12 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1PezPh-000790-79 for bug-guile@gnu.org; Mon, 17 Jan 2011 19:27:10 -0500 Original-Received: from a-pb-sasl-sd.pobox.com ([64.74.157.62]:37361 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1PezPh-00078w-2I for bug-guile@gnu.org; Mon, 17 Jan 2011 19:27:09 -0500 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 7964937AA; Mon, 17 Jan 2011 19:27:52 -0500 (EST) 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; s=sasl; bh=ioP5JR3IqSo0atZaklsysBwbRh8=; b=lsiz+l WfT09b8dfAm8OZrFuV8dPX+p/AFpFsQbnFhACa84EYk4/TBxVmmCU+XipR7dMyhL 5Fk6T+e0YV7AuCRljLU+1gLAkEM0nF4Thb1BhStw3hfggnqAjmzP8xk66pMHyNGR RUZ4jLtL9nC1TxxHLTxJdkaq0Nge6lWNdEye8= 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; q=dns; s=sasl; b=eVbOacRSgz2q1GW1iyobZGtKibTSRaLR LK8/Tl+XKVQLiJA+f8UUqprfluKE+0FDpyhyLLN+p26VZIux4fc3Db6kqOpslfIT 059S3JGuMWZYXF9FpXEeKBh5IBe3DMyaGllEMwrXrS8rwWm8nEwdtibrtHTDQA+9 wfGt2/h+k2s= Original-Received: from a-pb-sasl-sd.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 63E1E37A7; Mon, 17 Jan 2011 19:27:51 -0500 (EST) Original-Received: from unquote.localdomain (unknown [65.14.229.26]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTPSA id EBE3337A6; Mon, 17 Jan 2011 19:27:49 -0500 (EST) In-Reply-To: <201012181645.13509.stefan.itampe@gmail.com> (Stefan Israelsson Tampe's message of "Sat, 18 Dec 2010 16:45:13 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) X-Pobox-Relay-ID: C8B43988-2299-11E0-A7CE-BC4EF3E828EC-02397024!a-pb-sasl-sd.pobox.com X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta) X-BeenThere: bug-guile@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:4972 Archived-At: On Sat 18 Dec 2010 10:45, Stefan Israelsson Tampe writes: > Consider macro m1 in module a) is a macro writer macro > In module b) m1 is used to create m2 > > Now loading module b) and using fails in some circumstances. ...the circumstance being, the interface that m2 was expanded against changed. In theory this should render the compiled module b) too-old, with respect to its dependencies -- which is to say, not just b.scm, but also a.scm (or more generally, the module a). Guile doesn't handle this properly. It assumes that if b.go is newer than b.scm, b.go is usable. That is not the case, generally. A proper solution would have b.go encode the modules that it depends on, and check against those modules. Andy -- http://wingolog.org/