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 68DB6BBAF
	for <caml-list@yquem.inria.fr>; Fri,  2 Jul 2010 11:19:42 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Aj0CAKdLLUzRVaE0mGdsb2JhbACDHJxHCBUBAQEBAQgJDAcRIqxXgkaFSYkBAQEDBYElgwlyBIgzhyU
X-IronPort-AV: E=Sophos;i="4.53,525,1272837600"; 
   d="scan'208";a="62605464"
Received: from mail-fx0-f52.google.com ([209.85.161.52])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 02 Jul 2010 11:19:42 +0200
Received: by fxm8 with SMTP id 8so2494919fxm.39
        for <caml-list@yquem.inria.fr>; Fri, 02 Jul 2010 02:19:42 -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=IjsJWDXyOFtOWK56h2YZNdt1eqBr5lZAfglYpR9FAPk=;
        b=WYEL4Rq0Y30KxfnaSgSD222GcXLpGUvZYYTcNYSL990UKvmcs9h4LkFJJ/ik53jCe5
         7Lw+6uVuH80ZZCeYtaioQyVlJqW+rjJqH2JE3HhxtLoDN4PjfEU8O3n+njQUgtMWroIa
         Y3bgDkiyE9sWINoNLmMdhnzr5nv8GvZBO13+Y=
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=veXyA/tvQ792FLoXaorwQrIg4iPFw5t/YjylSSpcU2Eb6CKHr4KWG/Dd5vOmNS1Pdh
         wnZzMkNe3yWZDqnSWbbdgxK7Uk8t5HnpPEqU4JZhBsVKa2DSxur9K14m7BOyrYTuFrPI
         Y7afHGhoPkRK/YPrczOqn3HiOeADybWKZGeJ4=
MIME-Version: 1.0
Received: by 10.223.105.78 with SMTP id s14mr428158fao.41.1278062381862; Fri, 
	02 Jul 2010 02:19:41 -0700 (PDT)
Sender: daniel.c.buenzli@gmail.com
Received: by 10.223.109.198 with HTTP; Fri, 2 Jul 2010 02:19:41 -0700 (PDT)
In-Reply-To: <4C2DA792.4010604@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>
Date: Fri, 2 Jul 2010 11:19:41 +0200
X-Google-Sender-Auth: JwZ31ZsGhqlsTjjqBfoWZhFK-j0
Message-ID: <AANLkTinSSmVyFZ-GMi5lBliPjcccpejEI7tU_qwsYDvV@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 dynlink:01 caml-list:01 modules:02 defining:02 btw:03 unit:03 daniel:04 daniel:04 fix:05 problem:05 solves:08 but:14 plugins:14 does:14 

> Can you try it and see if it solves your problem under Mac OS ?

It does. Thanks for the fix. Btw. dynlink with first class modules is cool.

Best,

Daniel