The Glorious Glasgow Haskell Compilation System User's Guide ...

The Glorious Glasgow Haskell
Compilation System User’s Guide,
Version 6.10.4 13 / 224
You can save Main.hs anywhere you like, but if you save it somewhere other than the current directory 3 then we will need to
change to the right directory in GHCi:
Prelude> :cd dir
where dir is the directory (or folder) in which you saved Main.hs.
To load a Haskell source file into GHCi, use the :load command:
Prelude> :load Main
Compiling Main ( Main.hs, interpreted )
Ok, modules loaded: Main.
*Main>
GHCi has loaded the Main module, and the prompt has changed to “*Main>” to indicate that the current context for expressions
typed at the prompt is the Main module we just loaded (we’ll explain what the * means later in Section 2.4.3). So we can now
type expressions involving the functions from Main.hs:
*Main> fac 17
355687428096000
Loading a multi-module program is just as straightforward; just give the name of the “topmost” module to the :load command
(hint: :load can be abbreviated to :l). The topmost module will normally be Main, but it doesn’t have to be. GHCi will
discover which modules are required, directly or indirectly, by the topmost module, and load them all in dependency order.
2.2.1 Modules vs. filenames
Question: How does GHC find the filename which contains module M? Answer: it looks for the file M.hs, or M.lhs. This
means that for most modules, the module name must match the filename. If it doesn’t, GHCi won’t be able to find it.
There is one exception to this general rule: when you load a program with :load, or specify it when you invoke ghci, you can
give a filename rather than a module name. This filename is loaded if it exists, and it may contain any module you like. This is
particularly convenient if you have several Main modules in the same directory and you can’t call them all Main.hs.
The search path for finding source files is specified with the -i option on the GHCi command line, like so:
ghci -idir1:...:dirn
or it can be set using the :set command from within GHCi (see Section 2.8.2) 4
One consequence of the way that GHCi follows dependencies to find modules to load is that every module must have a source
file. The only exception to the rule is modules that come from a package, including the Prelude and standard libraries such as
IO and Complex. If you attempt to load a module for which GHCi can’t find a source file, even if there are object and interface
files for the module, you’ll get an error message.
2.2.2 Making changes and recompilation
If you make some changes to the source code and want GHCi to recompile the program, give the :reload command. The
program will be recompiled as necessary, with GHCi doing its best to avoid actually recompiling modules if their external
dependencies haven’t changed. This is the same mechanism we use to avoid re-compiling modules in the batch compilation
setting (see Section 4.6.8).
3 If you started up GHCi from the command line then GHCi’s current directory is the same as the current directory of the shell from which it was started. If
you started GHCi from the “Start” menu in Windows, then the current directory is probably something like C:\DocumentsandSettings\username.
4 Note that in GHCi, and --make mode, the -i option is used to specify the search path for source files, whereas in standard batch-compilation mode the
-i option is used to specify the search path for interface files, see Section 4.6.3.