[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: eval
From: |
Neil Jerram |
Subject: |
Re: eval |
Date: |
06 Feb 2001 01:12:51 +0000 |
>>>>> "Dirk" == Dirk Herrmann <address@hidden> writes:
>> A quick check: I believe that (interaction-environment) is the
>> same as what I've been calling (current-environment), i.e. the
>> environment in which the next thing that is entered will be
>> evaluated. Is that still correct in your generalization?
Dirk> Hmmm, I am not sure if we really mean the same thing here: I
Dirk> use the term (interaction-environment) in the following
Dirk> sense: interaction-environment is a function, that returns
Dirk> an environment. It is meant to return the environment, in
Dirk> which the next interactively entered expression will be
Dirk> evaluated.
Good -- that's exactly what I meant too.
>> Interesting, but I can't think of any cases where it would be
>> useful not to do a (set-interaction-environment the-module*),
>> i.e. for (interaction-environment) to be other than the
>> selected module's environment. [...]
Dirk> Well, I think there are actually only a _few_ situations
Dirk> where the result of (interaction-environment) should change:
Dirk> The repl itself can decide whether the interaction
Dirk> environment should be changed. Further, if there is a GUI,
Dirk> the user might for example have a menu item "select
Dirk> interaction environment". What other situations are there,
Dirk> where the interaction environment should change?
Well, when the user types `(define-module ...)'.
But my question was: what would be the meaning of the selected module
and interaction-environment being different, and how would this state
differ from that in which the module had not been selected?
This thread is IMO academic now, since I think that Marius' solution
is better than what we have being discussing, but I'm still curious
about what you meant above.
Regards,
Neil
- eval, Dirk Herrmann, 2001/02/01
- Re: eval, Dirk Herrmann, 2001/02/01
- Re: eval, Neil Jerram, 2001/02/01
- Re: eval, Dirk Herrmann, 2001/02/02
- Re: eval, Neil Jerram, 2001/02/02
- Re: eval, Dirk Herrmann, 2001/02/03
- Re: eval, Neil Jerram, 2001/02/04
- Re: eval, Dirk Herrmann, 2001/02/04
- Re: eval,
Neil Jerram <=
- Re: eval, Dirk Herrmann, 2001/02/06
- Re: eval, Dirk Herrmann, 2001/02/04
- Re: eval, Neil Jerram, 2001/02/05
- Re: eval, Dirk Herrmann, 2001/02/06
- Re: eval, Martin Grabmueller, 2001/02/06
- New module system and VM, Keisuke Nishida, 2001/02/06
- Re: eval, thi, 2001/02/17
- Re: eval, Keisuke Nishida, 2001/02/06
Re: eval, Marius Vollmer, 2001/02/04