The flag you want is
-p"? "
which sets the prompt back to its old value.
When working with emacs, you might also want to use
+q -w
which makes Hugs a good deal quieter. Details in the user manual.
Alastair
> [EMAIL PROTECTED] reports the following problem.
>
> Version: final 1.4
> OS:
> compiler:
> configuration:
> Expected behaviour:
>
> Observed behaviour:
> This isn't really a bug, but a minor annoyance.
> If I run hugs-1.4 inside Emacs, Emacs (or rather its comint package)
> needs to understand hugs' prompt, but since the prompt
> change this gets a bit awkard. It was much easier before
> when the prompt was always just "? ". The sad thing is that
> if Emacs fails to recognise the prompt, it will loop (i.e.
> Emacs, not hugs), at least with the hugs mode that we're using.
>
> I currently use a "prompt regexp" of "^? \\|.*> " which
> seems to work, but it doesn't feel very safe, especially since
> the consequence is quite a hard "hang", which really confuses
> students (and teachers ;-).
>
> Maybe you could add a command line flag or some other means of
> forcing the prompt to not change?
