Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] emacs cygwin ocaml interrupt
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-08-29 (15:38)
From: Xavier Leroy <xavier.leroy@i...>
Subject: Re: [Caml-list] emacs cygwin ocaml interrupt
>   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 Archives:
Bug reports: FAQ:
Beginner's list: