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=2.8 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 2A917BBAF for ; Thu, 24 Sep 2009 16:58:41 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AukBANclu0rRVdjHkGdsb2JhbACRSYh3PwEBAQEJCQwHEwOqcoExj2wBAwIEhBcF X-IronPort-AV: E=Sophos;i="4.44,445,1249250400"; d="scan'208";a="47206437" Received: from mail-px0-f199.google.com ([209.85.216.199]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Sep 2009 16:58:40 +0200 Received: by pxi37 with SMTP id 37so1739891pxi.15 for ; Thu, 24 Sep 2009 07:58:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:content-type; bh=5ikuGdO8TOUYWx1eB3XUio8Z77G02gRJOHRuBvA+USM=; b=eBI31zoRWsUBs0zo0B9A7t99EC4EswErQ6BKPc1yVe2Lie1UZz+3tK6woqy9CKTXos A0KGwKXJC2YiiMp5w8PXypuo9eMcZbwK5MEcXX+PdPCuNHc7v9X09Zk4ric4HRrQ3Quc UcZOqciZPUmfj80x48n15GVV4H9y+DAEWE6u4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; b=N8G5jF4dTTZSv633Pjk0vfTZgmiKc4FUdWtrSybdDmv1/FPlBTfZSSZJdO/oyNR8VN mJDPW16J+8v1WDb3e/hYqPPSTO+99xGfglQTTnoJLNTJMIZg7M+uuJ1uRvYR9Jo1oIqQ Kpo5jqGT6bjm1A3E7KWDbQEekYb3OC8orJXI4= MIME-Version: 1.0 Received: by 10.114.86.11 with SMTP id j11mr5435628wab.73.1253804259415; Thu, 24 Sep 2009 07:57:39 -0700 (PDT) In-Reply-To: <4d1b2df20909231615t49deff43w2c27daad1c3effda@mail.gmail.com> References: <87fxaex78q.fsf@frosties.localdomain> <200909240121.02123.jon@ffconsultancy.com> <4d1b2df20909231615t49deff43w2c27daad1c3effda@mail.gmail.com> Date: Thu, 24 Sep 2009 16:57:27 +0200 Message-ID: <4d1b2df20909240757m97a213bi9b08139e88291075@mail.gmail.com> Subject: Re: [Caml-list] OC4MC : OCaml for Multicore architectures From: Philippe Wang To: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Spam: no; 0.00; ocaml:01 ocaml:01 cheers:01 caml-list:01 crashes:03 i'm:09 philippe:11 philippe:11 i've:12 think:13 question:13 does:14 write:17 too:17 don't:19 I've seen a question about 3.11 and I think I didn't answer, so I'm answering here : We have tried to make OC4MC work with OCaml 3.11 (I don't remember the subsubversion number). Currently, it does not work properly (it's still too easy to write a program that crashes or deadlocks). Cheers, Philippe Wang