WinHugs error

[Ross Paterson]

> There is an error in WinHugs now, caused by Prelude.h, which relates
> to this line (line 725-750 ish):
> 
> #define STD_EMPTY_MODULE      "Hugs"
> 
> It used to be 
> 
> #define STD_EMPTY_MODULE      "Hugs.Base"
> 
> which works fine on windows, the new version doesn't.

That was me.  Wherever Hugs is looking for built libraries, add Hugs.hs
containing only "module Hugs where".  You can also delete Hugs\Base.hs.
(This happens automatically if one regenerates the libraries.)