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=1.3 required=5.0 tests=SPF_FAIL autolearn=disabled version=3.1.3 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 3A880BC69 for ; Tue, 18 Dec 2007 09:03:51 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAMcNZ0fVpUAUkmdsb2JhbACQBAIBAQcEBCmZaw X-IronPort-AV: E=Sophos;i="4.24,179,1196636400"; d="scan'208";a="5311315" Received: from mail.gmx.net ([213.165.64.20]) by mail2-smtp-roc.national.inria.fr with SMTP; 18 Dec 2007 09:03:51 +0100 Received: (qmail invoked by alias); 18 Dec 2007 08:03:50 -0000 Received: from p57B1E3EA.dip.t-dialin.net (EHLO pc21b.local) [87.177.227.234] by mail.gmx.net (mp020) with SMTP; 18 Dec 2007 09:03:50 +0100 X-Authenticated: #20477425 X-Provags-ID: V01U2FsdGVkX1+vxvQ5fcivGnQ47G+VN8N/G+lDLEhj8l97d+wJ+k W+V3CLqAVVrLXg From: Michael Wohlwend To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Problems spawning threads Date: Tue, 18 Dec 2007 09:03:30 +0100 User-Agent: KMail/1.9.7 References: <4767582A.6020202@gmail.com> In-Reply-To: <4767582A.6020202@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200712180903.30412.micha-1@fantasymail.de> X-Y-GMX-Trusted: 0 X-Spam: no; 0.00; ccopts:01 ccopts:01 ocamlopt:01 dienstag:98 18.:98 edgar:98 threads:01 caml-list:01 optimization:03 useless:07 probably:07 michael:07 michael:07 schrieb:08 doesn't:12 Am Dienstag, 18. Dezember 2007 06:18:34 schrieb Edgar Friendly: > it? Hopefully I'll have some confirmation soon that the (probably > useless) ccopts and other optimization options don't affect the error. the ccopts are for the c-compiler not for ocamlopt (it doesn't generate c-code) Michael