From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.c.buenzli@gmail.com>
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 4096FBC57
	for <caml-list@yquem.inria.fr>; Mon,  5 Jul 2010 13:23:09 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmYCAK9dMUzRVaE0mGdsb2JhbACDHJxLCBUBAQEBAQgJDAcRIqxngkeEf4kBAQEDBYEkgwpyBIg6hyw
X-IronPort-AV: E=Sophos;i="4.53,539,1272837600"; 
   d="scan'208";a="62737844"
Received: from mail-fx0-f52.google.com ([209.85.161.52])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 05 Jul 2010 13:23:09 +0200
Received: by fxm8 with SMTP id 8so4164227fxm.39
        for <caml-list@yquem.inria.fr>; Mon, 05 Jul 2010 04:23:08 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:sender:received
         :in-reply-to:references:date:x-google-sender-auth:message-id:subject
         :from:to:cc:content-type;
        bh=gCC4YLbFllv+MJC1sJgrOKSE7fUGyfswIxSNWbH3DQs=;
        b=Z7yiQLnOOV/o8OhoW69vOxK1ufRI8sR18nqZcUi5Yd5adKRCBT0dt4GjwVpSezwnWS
         THyGII8PuGfxAfIlwFWqIoQmu/8nTsvJzhuBLZgGUgv1d0DqYjAc+5tqJ4MK+iCu3hHO
         v6nw8LTMhlHMrWrJmS1ZCF3gwAIRGGgdqYaOY=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:date
         :x-google-sender-auth:message-id:subject:from:to:cc:content-type;
        b=GY8Q+aRXDHBGf+/oAzrgxki0aWfvtMEhNYOOr6IqFBWQgE/rQW7UqxQOy7SYwT/mE9
         UPtz/Bku7qVXbkVKjC3T6e2wNIvF/MwoEJp36tfPz81dyh42o23cKR4X5aQhXYjNCUNB
         FMXUjvE/Vncg5manPqX+q3mLJkUmJnEsAy2tg=
MIME-Version: 1.0
Received: by 10.86.36.12 with SMTP id j12mr1780145fgj.35.1278328504350; Mon, 
	05 Jul 2010 04:15:04 -0700 (PDT)
Sender: daniel.c.buenzli@gmail.com
Received: by 10.223.109.198 with HTTP; Mon, 5 Jul 2010 04:15:04 -0700 (PDT)
In-Reply-To: <4C31894F.904@frisch.fr>
References: <AANLkTilISu1bWwWj305NhqJTTuFuIUOTF8d5RoNF9Csp@mail.gmail.com>
	<AANLkTimxje_P_RRRGCUkG2Z037tIuAsFruzLLMv8fDlq@mail.gmail.com>
	<4C2D9E51.8010500@frisch.fr>
	<AANLkTilwwVwg60YhyGZOia8JOwkFljZW_bgM9a327oBx@mail.gmail.com>
	<4C2DA5FD.4040004@frisch.fr>
	<4C2DA792.4010604@frisch.fr>
	<AANLkTinSSmVyFZ-GMi5lBliPjcccpejEI7tU_qwsYDvV@mail.gmail.com>
	<AANLkTiknR2bwbhUnTRS7ywYqwvyhEdgwAuY0dDQTmF43@mail.gmail.com>
	<4C31894F.904@frisch.fr>
Date: Mon, 5 Jul 2010 13:15:04 +0200
X-Google-Sender-Auth: VWQG-YEmqd7qsbZvqH2q7aaZwnw
Message-ID: <AANLkTimEhH9MvJDxXB1IyybZA85Zq5bNMKSbHMcTkkId@mail.gmail.com>
Subject: Re: [Caml-list] Re: Dynlinking plugins defining the same unit name 
	but with different implementations.
From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Alain Frisch <alain@frisch.fr>
Cc: caml-list List <caml-list@yquem.inria.fr>
Content-Type: text/plain; charset=UTF-8
X-Spam: no; 0.00; buenzli:01 runtime:01 loadfile:01 loadfile:01 bug:01 caml-list:01 undefined:01 caml:02 caml:02 ptr:02 defining:02 unit:03 library:03 daniel:04 daniel:04 

> Could you double-check that you do not mix files compiled with different
> versions?

Yes, that's impossible it was on a clean system. Here's another error
I get in another example :

error loading shared library: ...: undefined symbol: caml_young_ptr

Is the whole runtime system missing to them ? Note that these errors
happen with both loadfile and loadfile_private

> Then, please send a reproduction case (with source code and build
> instructions) to the Caml bug tracker.

Will do this evening.

Best,

Daniel