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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 661F1BBCA for ; Thu, 17 Apr 2008 10:29:06 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEALOmBkjAXQIm/2dsb2JhbACtLA X-IronPort-AV: E=Sophos;i="4.25,670,1199660400"; d="scan'208";a="11011623" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 17 Apr 2008 10:29:06 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3H8T5Gt022349 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 17 Apr 2008 10:29:06 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvkAALanBkjB/BYdb2dsb2JhbACRXAEMBQIFBxibHg X-IronPort-AV: E=Sophos;i="4.25,670,1199660400"; d="scan'208";a="25106875" Received: from smtp20.orange.fr ([193.252.22.29]) by mail4-smtp-sop.national.inria.fr with ESMTP; 17 Apr 2008 10:29:00 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2013.orange.fr (SMTP Server) with ESMTP id 4F3421C0016B for ; Thu, 17 Apr 2008 10:29:00 +0200 (CEST) Received: from [192.168.1.66] (APuteaux-154-1-36-109.w83-199.abo.wanadoo.fr [83.199.51.109]) by mwinf2013.orange.fr (SMTP Server) with ESMTP id 2E3A81C0015D for ; Thu, 17 Apr 2008 10:29:00 +0200 (CEST) X-ME-UUID: 20080417082900189.2E3A81C0015D@mwinf2013.orange.fr Message-ID: <48070A4A.8040608@frisch.fr> Date: Thu, 17 Apr 2008 10:28:58 +0200 From: Alain Frisch User-Agent: Thunderbird 2.0.0.12 (Windows/20080213) MIME-Version: 1.0 To: caml-list Subject: Re: [Caml-list] Trying out Ocaml CVS HEAD References: <173750.43276.qm@web54605.mail.re2.yahoo.com> In-Reply-To: <173750.43276.qm@web54605.mail.re2.yahoo.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 48070A51.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; frisch:01 frisch:01 ocaml:01 cvs:01 runtime:01 lib:01 dynlink:01 cmx:01 dynlink:01 wrote:01 exception:01 caml-list:01 alain:01 alain:01 modules:02 Dario Teixeira wrote: > As for the runtime error message, this is what is produced when the programme > attempts to load eliom.cmxs: > > [errors.log] 2008-04-16 22:15:50 - Fatal - While loading > /home/dario/.local/lib/ocsigen/extensions/eliom.cmxs: Dynlink.Error: no > implementation available for Eliommod_persess > > (note that Eliommod_persess.cmx is included in the list of modules that > are linked into eliom.cmxs) Could it be the case that: - Dynlink.init is called several times? - one of the modules raises an exception during its execution? - the link order is wrong (Eliommod_persess is used by a module linked before itself)? I'll be happy to investigate the problem if you could prepare a (preferably small) stand-alone reproduction case. Alain