From mboxrd@z Thu Jan 1 00:00:00 1970 From: Catonano Subject: exploring the code Date: Tue, 19 Jul 2016 00:27:34 +0200 Message-ID: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a1137188e90b05e0537f07988 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:33791) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bPH0i-0005Im-OU for help-guix@gnu.org; Mon, 18 Jul 2016 18:27:37 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bPH0h-0002dU-KG for help-guix@gnu.org; Mon, 18 Jul 2016 18:27:36 -0400 Received: from mail-it0-x236.google.com ([2607:f8b0:4001:c0b::236]:36380) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bPH0h-0002dQ-Ec for help-guix@gnu.org; Mon, 18 Jul 2016 18:27:35 -0400 Received: by mail-it0-x236.google.com with SMTP id f6so78893282ith.1 for ; Mon, 18 Jul 2016 15:27:35 -0700 (PDT) List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: help-guix --001a1137188e90b05e0537f07988 Content-Type: text/plain; charset=UTF-8 I opened the file guix/scripts/build.scm in Emacs For Geiser to be able to jump to the definition of a symbol at point or to open a documentation buffer, I need the Guile REPL to "load" the file C-x C-b does the trick, but I see this error in the REPL, then http://paste.lisp.org/display/320775 After that, many symbols become available anyway: I can jump to their definition and I can have doc buffers popping up All but one: "options->derivations" on line 670 I'm doing this because I'd like to redo in the REPL what the command "guix build blah" does. At least some parts of it In order to make it less abstract in my mind, to get aquainted with the build subsystem. I need to see some procedures called and returning something, I need to see macros expanded. I hope you understand If anyone can suggest a better way to get aquainted with the build subsystem I'm all ears. I'd like Geiser to work on all the symbols, though. --001a1137188e90b05e0537f07988 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I hope you understand

If anyone can suggest a better way to get aquainted with the build subsy= stem I'm all ears.

I'd like Geiser to work on all the = symbols, though.
--001a1137188e90b05e0537f07988-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: exploring the code Date: Tue, 19 Jul 2016 14:31:49 +0200 Message-ID: <877fchn70q.fsf@gnu.org> References: 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]:37381) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bPUBq-0003Ta-Jo for help-guix@gnu.org; Tue, 19 Jul 2016 08:31:59 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bPUBn-0006hp-AW for help-guix@gnu.org; Tue, 19 Jul 2016 08:31:58 -0400 In-Reply-To: (catonano@gmail.com's message of "Tue, 19 Jul 2016 00:27:34 +0200") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Catonano Cc: help-guix Catonano skribis: > I opened the file guix/scripts/build.scm in Emacs > > For Geiser to be able to jump to the definition of a symbol at point > or to open a documentation buffer, I need the Guile REPL to "load" the > file=20 > > C-x C-b does the trick, but I see this error in the REPL, then > > http://paste.lisp.org/display/320775 I use C-c C-k (geiser-compile-current-buffer), which works well for me. Not sure what the problem is here. > After that, many symbols become available anyway: I can jump to their > definition and I can have doc buffers popping up > > All but one: "options->derivations" on line 670 Works for me after C-c C-k. :-) Could you try this and report back? It=E2=80=99s a good idea to pre-build = Guix before, using =E2=80=98make=E2=80=99, so that Geiser doesn=E2=80=99t end up= recompiling everything. > I'm doing this because I'd like to redo in the REPL what the command > "guix build blah" does. At least some parts of it > > In order to make it less abstract in my mind, to get aquainted with > the build subsystem. I need to see some procedures called and > returning something, I need to see macros expanded. > > I hope you understand > > If anyone can suggest a better way to get aquainted with the build > subsystem I'm all ears. I think you=E2=80=99re right, it=E2=80=99s a very good idea to explore Guix= this way. This is more or less the approach I took in , so you might find it useful (you might also have suggestions on how to improve this talk, which would be more than welcome!). HTH, Ludo=E2=80=99. From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alex Kost Subject: Re: exploring the code Date: Tue, 19 Jul 2016 19:36:40 +0300 Message-ID: <87inw1d1pj.fsf@gmail.com> References: <877fchn70q.fsf@gnu.org> 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]:41309) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bPY0l-0008UA-HH for help-guix@gnu.org; Tue, 19 Jul 2016 12:36:48 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bPY0i-0006DZ-A6 for help-guix@gnu.org; Tue, 19 Jul 2016 12:36:47 -0400 In-Reply-To: <877fchn70q.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Tue, 19 Jul 2016 14:31:49 +0200") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: help-guix Ludovic Court=C3=A8s (2016-07-19 15:31 +0300) wrote: > Catonano skribis: > >> I opened the file guix/scripts/build.scm in Emacs >> >> For Geiser to be able to jump to the definition of a symbol at point >> or to open a documentation buffer, I need the Guile REPL to "load" the >> file=20 >> >> C-x C-b does the trick, but I see this error in the REPL, then >> >> http://paste.lisp.org/display/320775 > > I use C-c C-k (geiser-compile-current-buffer), which works well for me. I never liked this command. I found it too slow, and I didn't understand why it does so much, I always prefered ",use()". That's why I added "C-c . u" key to guix-devel-mode. It does exactly that: uses the current module. --=20 Alex From mboxrd@z Thu Jan 1 00:00:00 1970 From: Mathieu Lirzin Subject: Re: exploring the code Date: Tue, 19 Jul 2016 16:55:18 +0200 Message-ID: <87h9bl65k9.fsf@gnu.org> References: <877fchn70q.fsf@gnu.org> 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]:47012) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bPWQk-0004lB-Fc for help-guix@gnu.org; Tue, 19 Jul 2016 10:55:31 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bPWQi-0007ft-Dh for help-guix@gnu.org; Tue, 19 Jul 2016 10:55:29 -0400 In-Reply-To: <877fchn70q.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Tue, 19 Jul 2016 14:31:49 +0200") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: help-guix Hi, ludo@gnu.org (Ludovic Court=C3=A8s) writes: > Catonano skribis: > >> I opened the file guix/scripts/build.scm in Emacs >> >> For Geiser to be able to jump to the definition of a symbol at point >> or to open a documentation buffer, I need the Guile REPL to "load" the >> file=20 >> >> C-x C-b does the trick, but I see this error in the REPL, then >> >> http://paste.lisp.org/display/320775 > > I use C-c C-k (geiser-compile-current-buffer), which works well for me. > Not sure what the problem is here. 'C-c C-k' (geiser-compile-current-buffer) works most of the time, however this is not a silver bullet. For example: --8<---------------cut here---------------start------------->8--- ;;; foo.scm (define (where-is-foo) (display "foo!\n")) (where-is-foo) --8<---------------cut here---------------end--------------->8--- 'M-.' when the point is on 'where-is-foo' procedure call won't find the procedure definition even after 'C-c C-k'. It only works in the context of a module. My point is that Geiser should not be expected to be 100% reliable. 'M-x rgrep' is sometimes a helpful complement. ;) Thanks, --=20 Mathieu Lirzin From mboxrd@z Thu Jan 1 00:00:00 1970 From: Amirouche Boubekki Subject: Re: exploring the code Date: Tue, 19 Jul 2016 21:27:53 +0200 Message-ID: <9b9488006f4c760e1c8ffdcf030e18af@hypermove.net> References: <877fchn70q.fsf@gnu.org> <87h9bl65k9.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:54183) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bPagX-0000Bv-EG for help-guix@gnu.org; Tue, 19 Jul 2016 15:28:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bPagV-0005gY-H2 for help-guix@gnu.org; Tue, 19 Jul 2016 15:28:04 -0400 In-Reply-To: <87h9bl65k9.fsf@gnu.org> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Mathieu Lirzin Cc: help-guix , Help-Guix On 2016-07-19 16:55, Mathieu Lirzin wrote: > Hi, > > ludo@gnu.org (Ludovic Courtès) writes: > >> Catonano skribis: >> > > My point is that Geiser should not be expected to be 100% reliable. > 'M-x rgrep' is sometimes a helpful complement. ;) I used to 'M-x rgrep' now I've bound 'C-x r' to silver searcher grep (command is ag). From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: exploring the code Date: Tue, 19 Jul 2016 22:15:35 +0200 Message-ID: <878twxfkpk.fsf@gnu.org> References: <877fchn70q.fsf@gnu.org> <87inw1d1pj.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]:34884) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bPbQc-0000mu-O1 for help-guix@gnu.org; Tue, 19 Jul 2016 16:15:43 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bPbQZ-0007pB-KC for help-guix@gnu.org; Tue, 19 Jul 2016 16:15:42 -0400 In-Reply-To: <87inw1d1pj.fsf@gmail.com> (Alex Kost's message of "Tue, 19 Jul 2016 19:36:40 +0300") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Alex Kost Cc: help-guix Alex Kost skribis: > Ludovic Court=C3=A8s (2016-07-19 15:31 +0300) wrote: > >> Catonano skribis: >> >>> I opened the file guix/scripts/build.scm in Emacs >>> >>> For Geiser to be able to jump to the definition of a symbol at point >>> or to open a documentation buffer, I need the Guile REPL to "load" the >>> file=20 >>> >>> C-x C-b does the trick, but I see this error in the REPL, then >>> >>> http://paste.lisp.org/display/320775 >> >> I use C-c C-k (geiser-compile-current-buffer), which works well for me. > > I never liked this command. I found it too slow, and I didn't > understand why it does so much, I always prefered > ",use()". That's why I added "C-c . u" key to > guix-devel-mode. It does exactly that: uses the current module. Good point, I should train my muscle memory to use this one. Maybe Geiser should provide it in the first place? (Basically a variant of C-c C-a that doesn=E2=80=99t jump to the REPL.) Ludo=E2=80=99. From mboxrd@z Thu Jan 1 00:00:00 1970 From: Catonano Subject: Re: exploring the code Date: Thu, 21 Jul 2016 05:34:25 +0200 Message-ID: References: <877fchn70q.fsf@gnu.org> <87h9bl65k9.fsf@gnu.org> <9b9488006f4c760e1c8ffdcf030e18af@hypermove.net> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a1144a1e6ac2eba05381cfe23 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:43945) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bQ4kp-0003rx-NQ for help-guix@gnu.org; Wed, 20 Jul 2016 23:34:32 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bQ4kn-0007rG-RN for help-guix@gnu.org; Wed, 20 Jul 2016 23:34:30 -0400 In-Reply-To: <9b9488006f4c760e1c8ffdcf030e18af@hypermove.net> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Amirouche Boubekki Cc: help-guix , Alex Kost , Help-Guix --001a1144a1e6ac2eba05381cfe23 Content-Type: text/plain; charset=UTF-8 2016-07-19 21:27 GMT+02:00 Amirouche Boubekki My point is that Geiser should not be expected to be 100% reliable. 'M-x rgrep' is sometimes a helpful complement. ;) > > I used to 'M-x rgrep' now I've bound 'C-x r' to silver searcher grep > (command is ag). > > Again, thank you people --001a1144a1e6ac2eba05381cfe23 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


2016-07-19 21:27 GMT+02:00 Amirouche Boubekki

My point is that Geiser should not be expected to be 100% reliable.
'M-x rgrep' is sometimes a helpful complement.=C2=A0 ;)

I used to 'M-x rgrep' now I've bound 'C-x r' to silver = searcher grep (command is ag).


Again, thank you pe= ople
--001a1144a1e6ac2eba05381cfe23--