Please help on some questions.

[alinsoar]

Hi,

I try to understand how mit-scheme implements some concepts of computation and 
I would like to ask you a few questions.

How can I detect the very place in the sources where it is defined a function 
that I call from lisp level ?

For example, where can I find the function `read` or `eval` ?  In the case of 
`eval` I cannot find the very connection between lisp-level and the function 
`Interpret`.  How is the flow of data in case of eval in REPL ?

Other issue that I see in the sources of mit-scheme is that the functions that 
are defined with the macro `DEFINE_PRIMITIVE` never call other functions that 
are defined with the same macro.  Is that true?  Do they only do atomic 
operations and come back at the next continuation defined by lisp-expression 
that is being evaluated ?

Other question, where is the data structure that keeps the symbolic expression 
that is returned by `read` and needs to be evaluated ?  Is it first of all 
transformed in CPS before to enter the interpreter ?

Other question, where is the loop that bounces the interpreter, as I see that 
the C code is written in continuation passing style using trampolines, I cannot 
find the forever-loop that calls the next continuation.

I still have questions, but for now I would appreciate help for these ones.

Thanks in advance,


A Soare.