From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 66042BBAF for ; Thu, 1 Jul 2010 21:16:58 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap0BAMeGLEzRVaE0mGdsb2JhbACDHZxHCBUBAQEBAQgJDAcRIogepg+CRYU8iQEBAQMFgSWDCXIEiC2HIQ X-IronPort-AV: E=Sophos;i="4.53,521,1272837600"; d="scan'208";a="62572078" Received: from mail-fx0-f52.google.com ([209.85.161.52]) by mail1-smtp-roc.national.inria.fr with ESMTP; 01 Jul 2010 21:16:58 +0200 Received: by fxm8 with SMTP id 8so1877061fxm.39 for ; Thu, 01 Jul 2010 12:16:58 -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:content-type; bh=+t9l9oMBpvFhwCPTDjxSwvTG/Vk6E8FrKh60QPsd3Xw=; b=mbJ2EYsUIWooj7fBrbaPcvJCySuCNpBqPD5Wu1t3cvosy4M2g8PmnrrmXtH4HV5JnR g+78aADUfYtQqX/GlHH6v2Pr2Gp45dDAW65rP0Ses6/5DSsaQ1KkQl8zNgeVUpQ7Huag gbakGbzxg0/I6xpOMP2IoQTWT9wUoib3wuKXo= 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:content-type; b=CejOHnVvYuFBCnd72GwTsB5zaIC661cpv69/xq3dNvw3HXROz7KY7KtP5kL66tdaOg SJU+cOpDxbOLDaDpUpumj/4PNq6o81EexxpxIm0SlywvXC+IZLxNemtLlhBxVKLhijJ0 uH1Z+oRIhGR1zemg5DRUNiAiQhCANH+87fcoc= MIME-Version: 1.0 Received: by 10.223.47.130 with SMTP id n2mr10070747faf.55.1278011817867; Thu, 01 Jul 2010 12:16:57 -0700 (PDT) Sender: daniel.c.buenzli@gmail.com Received: by 10.223.109.198 with HTTP; Thu, 1 Jul 2010 12:16:57 -0700 (PDT) In-Reply-To: References: Date: Thu, 1 Jul 2010 21:16:57 +0200 X-Google-Sender-Auth: uAFmm_lPBxIAQLhE0HBnhCHCQZM Message-ID: Subject: Re: Dynlinking plugins defining the same unit name but with different implementations. From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= To: caml-list List Content-Type: text/plain; charset=UTF-8 X-Spam: no; 0.00; buenzli:01 bug:01 cmx:01 cmx:01 segfault:01 behaviour:01 caml:02 caml:02 match:02 defining:02 dll:02 dll:02 unit:03 daniel:04 daniel:04 > Is that expected behaviour ? That looks like dll hell. Well in fact this looks like dll bug since if the interface of M.test doesn't match in a/m.cmx and b/m.cmx then a segfault occurs. Something similar is reported here : http://caml.inria.fr/mantis/view.php?id=4839 http://caml.inria.fr/mantis/view.php?id=4229 Is there any fix expected for the final 3.12 ? As this makes plugins quite an unreliable feature (if you expect your plugins to come from different sources). Best, Daniel