On Mon, May 4, 2009 at 10:00 AM, Abdulaziz Ghuloum <[email protected]> wrote: > [trimming crossposting a bit] > Andre's message suggests the following: > * Expanding the library evaluates its transformers. > * Visiting the library evaluates its transformers. > > Therefore, the list should contain (a b a b) because of expanding > then visiting the library. Andre suggested that because of implicit > phasing, Ikarus was not visiting that library, and hence it yielded > (a b). > > This is incorrect. > > Because importing the library the first time expands and evaluates > the transformers founds in the library body, the library is considered > "visited". There is no need to throw away all the transformers only > to evaluate them again a second time. > > I think you already knew that, but were thrown off track. > > Aziz,,, >
No, I am still confused. I know that Ikarus visit a library only once, so I expected to get (a b) and not (a b a b) but instead I get () if I use separate compilation!
