| I'm currently showing the scope in the prompt, with | the modules from which we're taking the exports only | surrounded by square brackets.

It is nice to show the difference. What I am looking for however is to get everything defined in a compiled module into scope.

One solution might be to just interpret the module, even when there is a compiled version of it.

The current way to do it is to remove the .o file, and reload. This is very unsatisfactory I think.

You can also touch the .hs file of course, which is slightly less drastic. But yes, I think we could provide a way to say "ignore the compiled version of module M". Cheers, Simon