-W option

Ross Paterson ross at soi.city.ac.uk
Thu Sep 18 18:40:41 EDT 2003


On Thu, Sep 18, 2003 at 05:37:34PM +0100, Alastair Reid wrote:
> I'd say the problem is in Hugs.  Why does it have a setting which prevents it 
> from being able to load standard libraries?  It's now something like 2 years 
> since we agreed to change the syntax, isn't it time that we removed support 
> for the flag from the compiler?  I vote for eliminating the +/-W flag.

The version in CVS has -W as the default -- if only it could get released.


More information about the Hugs-Bugs mailing list