"Simon Marlow" writes:

Ok, so in general a 'scope' can be constructed by combining:

1. the full top-level scope from zero or more *interpreted* modules 2. the exports of zero or more modules (interpreted or compiled) 3. any temporary bindings made on the command line

I'd like to suggest one more thing that it would be nice to have in scope. I would like every loaded module to be imported "qualified" into the scope. (In fact, I would prefer if this were the default, although I suppose it might be useful to have a way to turn it off.) Carl Witty