[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Geiser-users] Fwd: reloading a module
From: |
Jose A. Ortega Ruiz |
Subject: |
Re: [Geiser-users] Fwd: reloading a module |
Date: |
Fri, 25 May 2012 18:41:59 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.1.50 (gnu/linux) |
On Fri, May 25 2012, Irvin wrote:
> HI Jao,
> This is directly from the repl so perhaps that's the problem? e.g.
Ah, yes, that's the problem. That uses Racket's native require, which
only loads modules once unless instructed otherwise. To do what you
want in the REPL, you need to tell geiser to reevaluate the buffer when
you change it, using C-c C-k in the racket buffer.
It would go more or less like this:
1) in the REPL do a (require "foo.rkt")
2) Now go to the buffer and edit it. Then evaluate the new version
with either C-c C-k for the whole file, or C-c C-e or C-M-x for
individual expressions.
3) Go back to the REPL:
4a) If you didn't change the export clasue in foo.rkt, got back to the
REPL and use the new values of the exported identifiers.
4b) I you change the export list, do a require again. Use the new
identifiers and the new values of the old ones.
Does that help?
jao
--
"Beware of bugs in the above code; I have only proved it correct, not tried it."
- Donald Knuth (in a memo to Peter van Emde Boas)