Proposal to add a flag

[Neil Mitchell]

Hi,

I'd like to add a flag to Hugs, which if set, will disable the saving
of options into the registry. In GHCi all options via :set are
temporary, in Hugs they are saved permanently. This flag would never
be saved into the registry, so could not be set permanently.

The reason for this is GuiHaskell [1]. The first step it takes is to
change the prompt to something silly, so it can detect when a
computation has finished.  Currently this prompt is saved, which is
confusing when you next launch Hugs.

The alternative is to introduce a GuiHaskell flag to Hugs. If we had
this, we could also add some subtle improvements like support for
interact into GuiHaskell.

Thanks

Neil

[1] http://www-users.cs.york.ac.uk/~ndm/guihaskell/