> 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 =3D=3D=3D> S :=3D { M1..Mn } :add M1..Mn =3D=3D=3D> S :=3D S u { M1..Mn } In addition, :load unloads all currently loaded modules. Both commands initiate a reload starting from the target modules. Cheers, Simon