FIX #2682: banish silly cases of the "module Foo is not loaded" error
authorSimon Marlow <marlowsd@gmail.com>
Tue, 21 Apr 2009 13:10:38 +0000 (13:10 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 21 Apr 2009 13:10:38 +0000 (13:10 +0000)
commitef03a76a01e538ccae5239dce00c583e9da17984
tree66693ced716f56f4f66a7c87d4733e1612bef1b5
parenta70a6e393222e586c518ca7c1982be6d2b9ff1d2
FIX #2682: banish silly cases of the "module Foo is not loaded" error

In GHCi if you say 'import Foo' meaning to load a package module Foo,
and Foo.hs is found on the search path, then GHCi replies "module Foo
is not loaded", because it knows Foo refers to the source file rather
than the package module, and you haven't loaded that module with
:load.

This is consistent with the usual module-finding semantics.  However,
it isn't particularly useful.  And it leads to silly problems like not
being able to start GHCi when you happen to be sitting in
libraries/base, because GHCi thinks the Prelude hasn't been loaded.

So now I've made a slight change to the way that 'import M' works: if
M is loaded, then it refers to the loaded module, otherwise it looks
for a package module M.  This does what the reporter of #2682 wanted,
and since it turns an error condition into meaningful behaviour it
can't break anything.

The only undesirable consequence is that 'import M' might refer to a
different M than ':load M'.  Hopefully that won't lead to confusion.
compiler/ghci/InteractiveUI.hs
compiler/main/Finder.lhs
compiler/main/GHC.hs