-W option

[Mark P Jones]

Hi Paul,

On Windows, at least, Hugs used to cache command line options in
the registry so that they would persist from one Hugs session to
the next.  So if you fire up Hugs just once, type ":set -W" and
then ":q" at the command line, then your preferred setting, with
the "-W", should be the default you get next time you start Hugs.

Actually, you shouldn't even have to do this up front ... you
can probably just wait until you see the error:

|    ERROR "C:\Program Files\Hugs98\lib\exts\MarshalUtils.hs":2 -
|    Syntax error in module definition (unexpected keyword "with
|    "; possible cause: -W option not used.)

Then type ":set -W" followed by ":r" to reload.  After that first
time, the -W setting should again be stored for you in the registry,
and you shouldn't need to specify it again.

I'm hoping this behavior is still supported in recent versions of
Hugs.  (It is at least supported in the Nov 2002 release.)

Hope this helps!

All the best,
Mark