From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 48E32BC6D for ; Wed, 6 Feb 2008 18:12:48 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAC95qUfAXQImh2dsb2JhbACQMgEBAQgKKZxy X-IronPort-AV: E=Sophos;i="4.25,313,1199660400"; d="scan'208";a="7005349" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 06 Feb 2008 18:12:48 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m16HCjkL014436 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 6 Feb 2008 18:12:48 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAC95qUfUGyoki2dsb2JhbACQMgEBAQgEBgkIEQeccg X-IronPort-AV: E=Sophos;i="4.25,313,1199660400"; d="scan'208";a="7719229" Received: from smtp6-g19.free.fr ([212.27.42.36]) by mail1-smtp-roc.national.inria.fr with ESMTP; 06 Feb 2008 18:12:47 +0100 Received: from smtp6-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp6-g19.free.fr (Postfix) with ESMTP id 0CE4361498; Wed, 6 Feb 2008 18:12:42 +0100 (CET) Received: from [192.168.1.3] (che78-2-82-237-71-191.fbx.proxad.net [82.237.71.191]) by smtp6-g19.free.fr (Postfix) with ESMTP id DBD1161521; Wed, 6 Feb 2008 18:12:41 +0100 (CET) Message-ID: <47A9EA89.5050407@inria.fr> Date: Wed, 06 Feb 2008 18:12:41 +0100 From: Xavier Leroy User-Agent: Thunderbird 2.0.0.4 (X11/20070620) MIME-Version: 1.0 To: Dmitry Bely Cc: Alain Frisch , ocaml Subject: Re: [Caml-list] Ocaml debugger under Windows References: <90823c940802050146u7cac0aape4e72b4fc6a3089@mail.gmail.com> <47A83251.7010306@frisch.fr> <90823c940802050923h77a95192gdabcd9c0807dccd6@mail.gmail.com> In-Reply-To: <90823c940802050923h77a95192gdabcd9c0807dccd6@mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 47A9EA8D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 debugger:01 ocamldebug:01 ocaml:01 ocamldebug:01 sockets:01 descriptors:01 threads:01 unix:01 unix:01 dmitry:01 caml-list:01 functions:01 caml:02 debugging:03 Hello Dmitry, I'm delighted to see your attempts at getting ocamldebug to work under Windows. Generally speaking, the Windows port is the part of OCaml where we most desperately need outside help, as (1) it consumes quite a bit of my very limited time, (2) it's a cost center for the Caml development team (none of us uses Windows for our research activities), and (3) none of us is competent with Win32 programming. (For example, if anyone could help debugging PR#4399, that would be much appreciated.) Coming back to ocamldebug: > The point is not to modify win32unix library or write Win32-specific C > functions for ocamldebug. I believe it's necessary to be ever accepted > by INRIA. Actually, I would be happy with a Win32 implementation of Unix.select that works over any combination of sockets and file descriptors. Unfortunately, it looks like we'd need a gross hack involving threads, WaitForMultipleObjects() and select(), but if someone comes up with an implementation that isn't too gross, I'll be interested. - Xavier Leroy