[Caml-list] emacs cygwin ocaml interrupt

[Caml-list] emacs cygwin ocaml interrupt

[Sean McLaughlin]

[-- Attachment #1: Type: text/plain, Size: 641 bytes --]

Hello,
 
  I'd like to use the cygwin build of ocaml through emacs.  I'm using
vanilla emacs and cygwin, with the shell connection cygwin-mount.el.
For some reason, when I use the binary windows edition of ocaml, I can
send ocaml interrupts through emacs with C-c C-c.  With the cygwin built
version, though, I can't get any interrupts to work.  I tried sifting
through the 21 different signals but couldn't find out what ocaml is
doing with C-c C-c.  The emacs window just flashes.  I can't use this
version if I can't interrupt, but I need the regular expressions of the
cygwin version.  Has anyone else had this problem?  
 
Best,
 
Sean

[-- Attachment #2: Type: text/html, Size: 1574 bytes --]

Re: [Caml-list] emacs cygwin ocaml interrupt

[Xavier Leroy]

>   I'd like to use the cygwin build of ocaml through emacs.  I'm using
> vanilla emacs and cygwin, with the shell connection cygwin-mount.el.
> For some reason, when I use the binary windows edition of ocaml, I can
> send ocaml interrupts through emacs with C-c C-c.  With the cygwin built
> version, though, I can't get any interrupts to work.  I tried sifting
> through the 21 different signals but couldn't find out what ocaml is
> doing with C-c C-c.

Win32 doesn't have an exact equivalent to Unix signals, so software
ported from Unix (such as Emacs and OCaml, as well as Cygwin itself) 
do a best effort to emulate them, but that doesn't mean the emulations
work well together...

The native Windows port of OCaml goes to some length to trap the "ctrl-C"
and "ctrl-break" conditions (which can be generated at the keyboard or
programmatically) and turn them into SIGINT signals.  Apparently,
Emacs generates the right conditions in reply to C-c C-c.

The Cygwin build just relies on the Cygwin runtime environment to
emulate Unix signals, and I have no idea on what Cygwin does exactly.

- Xavier Leroy

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners