From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA15092 for caml-redistribution; Sun, 22 Aug 1999 20:16:04 +0200 (MET DST)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA12457 for <caml-list@pauillac.inria.fr>; Sun, 15 Aug 1999 14:22:52 +0200 (MET DST)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id OAA04141;
	Sun, 15 Aug 1999 14:22:48 +0200 (MET DST)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA12786; Sun, 15 Aug 1999 14:22:47 +0200 (MET DST)
Message-ID: <19990815142247.25237@pauillac.inria.fr>
Date: Sun, 15 Aug 1999 14:22:47 +0200
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Shmulik Regev <shmul@iname.com>, caml-list@inria.fr
Subject: Re: Ocamldebug for non-UNIX
References: <199907311223.PAA32653@alpha.netvision.net.il>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 0.89.1
In-Reply-To: <199907311223.PAA32653@alpha.netvision.net.il>; from Shmulik Regev on Sat, Jul 31, 1999 at 03:26:22PM +0300
Sender: weis

> Is some work being done on a debugger for the Mac/Windows OCaml versions ?

None that I know of.  The debugger from the Unix version relies
heavily on two Unix-specific features: Unix-domain sockets and the
fork() system call (used as a cheap and surprisingly efficient
checkpointing mechanism for the replay facility).  Under Windows at
least, a replacement for Unix-domain sockets could be found, but I
wasn't able to find an adequate checkpointing mechanism.

- Xavier Leroy