From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ngaylinn@cs.brown.edu>
Delivered-To: caml-list@yquem.inria.fr
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id 1F62ABCAF
	for <caml-list@yquem.inria.fr>; Wed, 29 Jun 2005 16:54:16 +0200 (CEST)
Received: from salt.cs.brown.edu (salt.cs.brown.edu [128.148.32.122])
	by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j5TEsFv0024098
	for <caml-list@yquem.inria.fr>; Wed, 29 Jun 2005 16:54:15 +0200
Received: from localhost (localhost [127.0.0.1])
	by salt.cs.brown.edu (Postfix) with ESMTP id 5982D3864BE
	for <caml-list@yquem.inria.fr>; Wed, 29 Jun 2005 10:54:15 -0400 (EDT)
Received: from salt.cs.brown.edu ([127.0.0.1])
	by localhost (salt [127.0.0.1]) (amavisd-new, port 10024) with ESMTP
	id 23689-09 for <caml-list@yquem.inria.fr>;
	Wed, 29 Jun 2005 10:54:15 -0400 (EDT)
Received: from null.cs.brown.edu (null.cs.brown.edu [128.148.38.190])
	by salt.cs.brown.edu (Postfix) with ESMTP id 41D8B3864A3
	for <caml-list@yquem.inria.fr>; Wed, 29 Jun 2005 10:54:15 -0400 (EDT)
Received: from cslab10f.cs.brown.edu (cslab10f [128.148.31.6])
	by null.cs.brown.edu (Postfix) with ESMTP id 3D61E148005
	for <caml-list@yquem.inria.fr>; Wed, 29 Jun 2005 10:54:15 -0400 (EDT)
Received: by cslab10f.cs.brown.edu (Postfix, from userid 30102)
	id 39D7F84D5; Wed, 29 Jun 2005 10:54:15 -0400 (EDT)
Received: from localhost (localhost [127.0.0.1])
	by cslab10f.cs.brown.edu (Postfix) with ESMTP id 3744B5C478
	for <caml-list@yquem.inria.fr>; Wed, 29 Jun 2005 10:54:15 -0400 (EDT)
Date: Wed, 29 Jun 2005 10:54:15 -0400 (EDT)
From: "Nathaniel J. Gaylinn" <ngaylinn@cs.brown.edu>
X-X-Sender: ngaylinn@cslab10f
To: caml-list@yquem.inria.fr
Subject: [Caml-list] Keyboard interrupt in Windows
In-Reply-To: <op.ssqfhlu2ho2unb@shadowdb.qualcomm.com>
Message-ID: <Pine.LNX.4.58.0506291051570.11222@cslab10f>
References: <Pine.LNX.4.58.0506201607470.2193@point> <rld5qggfsc.fsf@ithif59.inf.tu-dresden.de>
 <Pine.LNX.4.58.0506210942400.14091@point> <rlslzbeo1p.fsf@ithif59.inf.tu-dresden.de>
 <op.ssqfhlu2ho2unb@shadowdb.qualcomm.com>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at cs.brown.edu
X-Miltered: at concorde with ID 42C2B617.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; caml-list:01 ocaml:01 ocaml:01 ctrl:03 uses:06 linux:06 break:07 differently:07 edu:07 signals:08 signals:08 evaluation:09 doesn't:12 however:12 infinite:13 
X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.0.2
X-Spam-Level: 


In Linux, OCaml uses signals to break out of the current evaluation (when
you press Ctrl+C to cut out of an infinite loop). However, Windows doesn't
support signals. What does OCaml do differently under Windows to make this
work?

  -- Nate Gaylinn