From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 5E2437F98F for ; Tue, 1 Aug 2017 11:15:35 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=francois.bobot@cea.fr; spf=Pass smtp.mailfrom=francois.bobot@cea.fr; spf=None smtp.helo=postmaster@oxalide-smtp-out.extra.cea.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.168.224.13; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of francois.bobot@cea.fr designates 132.168.224.13 as permitted sender) identity=mailfrom; client-ip=132.168.224.13; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@oxalide-smtp-out.extra.cea.fr) identity=helo; client-ip=132.168.224.13; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@oxalide-smtp-out.extra.cea.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AowXAjhIKRayGFotHN9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRL/nxwZ3uMQTl6Ol3ixeRBMOAuqIC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9ZDeZwZFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhj?= =?us-ascii?q?oZOT438G/ZicJ+g6xUrx2juxNxzJXZYJ2WOfdkYq/RYd0XSGhHU81MVyJBGIS8?= =?us-ascii?q?b44XAuQBJ+ZXtY/9oEMJrRu/HgmjHP7iyjhTiX/xwa0xzuMsEQ/c3AM6GdIBrH?= =?us-ascii?q?PUrNTuNKsISu+1y7LHzTLfb/5NxTjy9pLHfgovofGWRL99d9fax0o3Fw7dk1md?= =?us-ascii?q?p5LpMymI2ukMsGWX9fRsWfyghmI9tg18rCCjytoih4XXnI4Z11HJ+CRjzIooId?= =?us-ascii?q?C0VlR3bNyiHZBNrS+VLZF2TdknQ2xwuCY11LkGuZmjcSgNx5Uo3Rrfa/2afIeW?= =?us-ascii?q?+x7jT+ORIStghH58f7K/mgqy/VK+xezzSsm0ykxFojBZndbSrH8BzRLT6tKfRv?= =?us-ascii?q?t8+EeuxyqP2hjO5uxKP0w4j7fXJp8iz7IqiJYfr0vOEjXrlEj4lKOWc18r+ums?= =?us-ascii?q?6+TpeLXmoZqcOpd6igHkKKsunNCwAeM5MggVRWSU4uO826bk/U3lW7hFkuM5nb?= =?us-ascii?q?PDvJDUP8QXvrS5DBNN0oY/9xa/CC+r38gCknkCKFJJYRaHj4nyO1HSO/34Fve+?= =?us-ascii?q?g1G0kDhx3fzGP7vhAo/MLnfZirvhc6x9uAZgz184xNVbopZVEa0pIfTpW0a3us?= =?us-ascii?q?aLIAU+Nlma2e/hh9J8zbQ0XmiIHufNPrnbt1SP5/lpKe6GY5M9szv0bfY/sa29?= =?us-ascii?q?xUQlkEMQKPH6laAcb2q1S6xr?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BIAQC6RYBZhw3gqIRdHQEFAQsBGAEFA?= =?us-ascii?q?QsBhQCPKI8JgUoilg2CEoVHAoQZQRYBAQEBAQEBAQEBARIBAQEIDQkIKC+CMyK?= =?us-ascii?q?CRAECAgEjDwEFRgsLGgIfBwICVxMIAQGKIwiuWIImi04ygQuCHYICg1gLgnCFP?= =?us-ascii?q?4JHgmEFn3R5lSSJQYcLlXcmDYEuUyhahSclgVCLIwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BIAQC6RYBZhw3gqIRdHQEFAQsBGAEFAQsBhQCPKI8JgUo?= =?us-ascii?q?ilg2CEoVHAoQZQRYBAQEBAQEBAQEBARIBAQEIDQkIKC+CMyKCRAECAgEjDwEFR?= =?us-ascii?q?gsLGgIfBwICVxMIAQGKIwiuWIImi04ygQuCHYICg1gLgnCFP4JHgmEFn3R5lSS?= =?us-ascii?q?JQYcLlXcmDYEuUyhahSclgVCLIwEBAQ?= X-IronPort-AV: E=Sophos;i="5.41,305,1498514400"; d="scan'208";a="233378546" Received: from oxalide-smtp-out.extra.cea.fr ([132.168.224.13]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Aug 2017 11:15:34 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by oxalide-sys.extra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id v719FYrR099968 for ; Tue, 1 Aug 2017 11:15:34 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 3D13E203728 for ; Tue, 1 Aug 2017 11:15:34 +0200 (CEST) Received: from muguet2.intra.cea.fr (muguet2.intra.cea.fr [132.166.192.7]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 2A6DB202BCD for ; Tue, 1 Aug 2017 11:15:34 +0200 (CEST) Received: from [10.8.35.73] (is231324.intra.cea.fr [10.8.35.73]) by muguet2.intra.cea.fr (8.15.2/8.15.2/CEAnet-Intranet-out-1.4) with ESMTP id v719FXGM020080 for ; Tue, 1 Aug 2017 11:15:34 +0200 To: caml-list@inria.fr References: <05deee1e-ef15-daa7-80df-16e214bb9ea3@gmail.com> From: =?UTF-8?Q?Fran=c3=a7ois_Bobot?= Message-ID: Date: Tue, 1 Aug 2017 11:15:33 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.0 MIME-Version: 1.0 In-Reply-To: <05deee1e-ef15-daa7-80df-16e214bb9ea3@gmail.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Loading of dynamic code works with older OCaml versions, but fails with recent versions (>= 4.02.0) Le 31/07/2017 à 18:37, Mohamed Iguernlala a écrit : > Hello, > > I'm facing an issue[1] with OCaml versions >= 4.02.0 when > building/using dynamically loaded plugins for/with Alt-Ergo. I > think this is probably due to module aliases. Alt-Ergo is using pack, so in which way is it linked with module aliases? > In fact, I'm able > to install and use Alt-Ergo + satML-plugin on OCaml 4.01.0, but > not on OCaml 4.02.0 (or higher). Is satML-plugin compiled by looking only at Alt-Ergo packed library? Best, -- François