Who would tell, please, what is the real difference between :load and :add in ghci-5.02 ?

There is a set of current target modules, call that set S. Then: :load M1..Mn ===> S := { M1..Mn } :add M1..Mn ===> S := S u { M1..Mn } In addition, :load unloads all currently loaded modules. Both commands initiate a reload starting from the target modules. Cheers, Simon