Version franaise
Home About Download Resources Contact us
Browse thread
Dynlinking plugins defining the same unit name but with different implementations.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Daniel_Bünzli <daniel.buenzli@e...>
Subject: Re: Dynlinking plugins defining the same unit name but with different implementations.
> 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