From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Neil Jerram Newsgroups: gmane.lisp.guile.devel Subject: Re: [PATCH] `try-module-autoload' and `current-reader' Date: Sat, 21 Jan 2006 08:46:00 +0000 Message-ID: <87zmlqezp3.fsf@ossau.uklinux.net> References: <874q49yfvb.fsf@laas.fr> <87irshhy65.fsf@ossau.uklinux.net> <8764ogip6k.fsf@laas.fr> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: sea.gmane.org 1137833397 23832 80.91.229.2 (21 Jan 2006 08:49:57 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Sat, 21 Jan 2006 08:49:57 +0000 (UTC) Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat Jan 21 09:49:55 2006 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by ciao.gmane.org with esmtp (Exim 4.43) id 1F0ERW-0002fp-PK for guile-devel@m.gmane.org; Sat, 21 Jan 2006 09:49:55 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1F0EU1-0007VY-VN for guile-devel@m.gmane.org; Sat, 21 Jan 2006 03:52:30 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1F0ESs-0006wt-1p for guile-devel@gnu.org; Sat, 21 Jan 2006 03:51:18 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1F0ESo-0006sk-BD for guile-devel@gnu.org; Sat, 21 Jan 2006 03:51:16 -0500 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1F0ESn-0006rs-Cd for guile-devel@gnu.org; Sat, 21 Jan 2006 03:51:13 -0500 Original-Received: from [80.84.72.33] (helo=mail3.uklinux.net) by monty-python.gnu.org with esmtp (Exim 4.34) id 1F0EX9-0006O0-FU for guile-devel@gnu.org; Sat, 21 Jan 2006 03:55:43 -0500 Original-Received: from laruns (host86-129-132-201.range86-129.btcentralplus.com [86.129.132.201]) by mail3.uklinux.net (Postfix) with ESMTP id 53C09409FBB for ; Sat, 21 Jan 2006 08:48:35 +0000 (UTC) Original-Received: from laruns (laruns [127.0.0.1]) by laruns (Postfix) with ESMTP id 3213D9F929 for ; Sat, 21 Jan 2006 08:46:02 +0000 (GMT) Original-To: guile-devel@gnu.org In-Reply-To: <8764ogip6k.fsf@laas.fr> ( =?iso-8859-1?q?Ludovic_Court=E8s's_message_of?= "Thu, 19 Jan 2006 09:42:43 +0100") User-Agent: Gnus/5.1007 (Gnus v5.10.7) Emacs/21.4 (gnu/linux) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:5604 Archived-At: ludovic.courtes@laas.fr (Ludovic Court=E8s) writes: > Hi, > > Neil Jerram writes: > >> 1. Starting a new stack (the start-stack form in R4RS's load). This >> affects backtraces, and it is occasionally useful for a backtrace >> to show that module X is being loaded because of code from module >> Y. >> >> 2. Interpreting a file path beginning with "." as relative to the >> current module's load filename. > > Change #1 would just make autoload's behavior equivalent to that of > explicit loading via `use-module'. No, it would change use-module as well. Please follow through the code: process-use-modules -> resolve-interface -> resolve-module -> try-load-module -> try-module-autoload (Arguably try-module-autoload could be better named.) > It seems important to me that > autoload and `use-module' behave identically, i.e., either they both use > `load-module' and incidentally set up a new stack, or none of them does. Agreed, but try-module-autoload is used for both, so they will behave the same as each other whatever we do. The issue is whether they behave the same as they do before this patch. > Also, the `with-fluids' framing is already provided by R4RS `load' and > consequently by `load-module' so I think we should avoid duplicating it. This tiny amount of duplication doesn't concern me. > I don't understand your second point. In `try-module-autoload', the > name of the module _to be loaded_ is passed, and its path is inferred > from that name, not relatively to the current module's path. Am I > missing something? Yes, but it's now covered in another subthread, so I won't repeat here. Regards, Neil _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://lists.gnu.org/mailman/listinfo/guile-devel