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=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 4C671BBCA for ; Fri, 9 May 2008 14:17:31 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArsCABLeI0hDz4HeiGdsb2JhbACSBgEBAQ8gmHo X-IronPort-AV: E=Sophos;i="4.27,460,1204498800"; d="scan'208";a="12417538" Received: from fettunta.fettunta.org ([67.207.129.222]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 May 2008 14:17:30 +0200 Received: from aquarium.takhisis.invalid (unknown [10.17.0.10]) by fettunta.fettunta.org (Postfix) with ESMTP id 6E72518106 for ; Fri, 9 May 2008 12:17:28 +0000 (UTC) Received: by aquarium.takhisis.invalid (Postfix, from userid 1000) id 00060D4085; Fri, 9 May 2008 14:17:17 +0200 (CEST) Date: Fri, 9 May 2008 14:17:17 +0200 From: Stefano Zacchiroli To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Core has landed Message-ID: <20080509121717.GA8486@aquarium.takhisis.invalid> References: <1209764381.8680.38.camel@nyc-qws-018.delacy.com> <20080503081946.GA30935@annexia.org> <891bd3390805030356n1988a6cep5f7d4263ae30cffe@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.17+20080114 (2008-01-14) X-Spam: no; 0.00; zacchiroli:01 zack:01 markus:01 mottl:01 zacchiroli:01 zack:01 unibo:01 wrote:01 caml-list:01 module:03 top-level:03 top-level:03 library:03 debian:04 solved:04 On Tue, May 06, 2008 at 05:02:05PM -0400, Markus Mottl wrote: > We have already encountered this problem, too. This should be fixed > in the next release. In the meanwhile you may want to execute > "#thread" before "requiring" the core library. I encountered a problem which is probably already solved for the next release then: doing #require "core" in the top-level tries to access the (thread-specific) Condition module, that would fail unless "#thread" has been enabled in the top-level. -- Stefano Zacchiroli -*- PhD in Computer Science ............... now what? zack@{upsilon.cc,cs.unibo.it,debian.org} -<%>- http://upsilon.cc/zack/ (15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the (15:57:15) Bac: no, la demo scema \/ right keys at the right time