From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [PATCH 4/7] emacs: Add 'guix-devel-use-current-module'. Date: Wed, 26 Aug 2015 13:07:08 +0200 Message-ID: <874mjm9ulf.fsf@gnu.org> References: <1437814197-6321-1-git-send-email-alezost@gmail.com> <1437814197-6321-5-git-send-email-alezost@gmail.com> <87h9nwvgi3.fsf@gnu.org> <87a8tn2efl.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:50200) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZUYY0-0008Tf-My for guix-devel@gnu.org; Wed, 26 Aug 2015 07:07:20 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZUYXz-0003Ez-RS for guix-devel@gnu.org; Wed, 26 Aug 2015 07:07:16 -0400 In-Reply-To: <87a8tn2efl.fsf@gmail.com> (Alex Kost's message of "Wed, 19 Aug 2015 23:47:42 +0300") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Alex Kost Cc: guix-devel@gnu.org Alex Kost skribis: > Ludovic Court=C3=A8s (2015-08-18 17:05 +0300) wrote: [...] >>> +want to use a module it defines, so you switch to the Geiser REPL and >>> +write @code{,use (some module)} there. You may just use this command >>> +instead. >> >> Could you mention a use case here? Like: >> >> For instance, you may call this command while visiting a file that >> defines packages; you can then switch to the associated REPL with >> @kbd{C-c C-z}, which will be in the current module, which is handy. > > The REPL will not be in the current module. "M-x > guix-devel-use-current-module" is the equivalent of ",use", not > ",module". I thought the documentation was clear about that, no? Now that I reread it, it seems clear, indeed. Forget my previous comment. >> The =E2=80=9C-devel=E2=80=9D part might make it sound like it has an eff= ect similar to >> =E2=80=98pre-inst-env=E2=80=99 though. Perhaps we should explicitly rem= ind developers >> that they must set =E2=80=98guix-load-path=E2=80=99 appropriately? > > Setting =E2=80=98guix-load-path=E2=80=99 will not take any effect here. = The whole point > of this guix-devel stuff is to provide additional commands for > scheme-mode, like Geiser does. And these additional commands are > independent from Guix REPL; they are called in the current Geiser REPL > the same way you would use other Geiser commands. Right, sorry for messing things up! Thanks, Ludo=E2=80=99.