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 A48487F98F for ; Tue, 1 Aug 2017 11:58:42 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Fabrice.Le_fessant@inria.fr; spf=Pass smtp.mailfrom=fabrissimo@gmail.com; spf=None smtp.helo=postmaster@mail-qk0-f173.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Fabrice.Le_fessant@inria.fr) identity=pra; client-ip=209.85.220.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="Fabrice.Le_fessant@inria.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of fabrissimo@gmail.com designates 209.85.220.173 as permitted sender) identity=mailfrom; client-ip=209.85.220.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; 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@mail-qk0-f173.google.com) identity=helo; client-ip=209.85.220.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-qk0-f173.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AvgnnOB21xcJ2Trs5smDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seMXL/ad9pjvdHbS+e9qxAeQG96Ku7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXYAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okC?= =?us-ascii?q?YHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYO/1jcKPAZtMaXXROUdpNVyJPBYO8?= =?us-ascii?q?apEAD+sHPe1Fq4XwqF8DoR64CAKxBu3g1yVIi2f50q000esvEQ/I0g89EdwQrH?= =?us-ascii?q?vZt8/6OLsIXO2v0KXE0TfOYvVL0jn98ojIdRUhrOmMU71qasXR00gvGB/bgV6N?= =?us-ascii?q?r4LqIS6e2OQTvGiA9OpvT+Svi3I6oAx2ojag3NwjipPIho0J1F/I7yN3z5gtKt?= =?us-ascii?q?22VkF7esWkH4FWtyGGLIZ2Q8UiQ3tpuCkg0LEGt4S7cTEMxZ86yRDfbPmHfJKJ?= =?us-ascii?q?4hLlTOuRIDF4hGhkeL2lnRqy/1KgxvX8V8au0FZKqS1FnsPQuXAK0hze7NWMRP?= =?us-ascii?q?hl/kq5xzqDywTe5vtHLE00j6bXNYAtzqIqmpYOs0nOECn7k1jsgqCMbEUr4O2o?= =?us-ascii?q?5vznYrr4op+cMJd5igTkPaQvnsyzGP04MgsSU2SC9+Swyb/u8EPjTLVFif02la?= =?us-ascii?q?bZsJTEKsgBuqG5BApV3p4i6xa5ETimzMwVkWcbIF9BYh6KjIjkN0vQLPzmEfuz?= =?us-ascii?q?mUmgnTVlyvzeO73uGJTNLnzNkLf7erZ97lZRyAQpwt9E/ZJUC6oBIOnyWk/0s9?= =?us-ascii?q?zVFRA5MwmuzObmDNVxzJ8RWWWKAqOBKqPdrUeI5v4zI+mLfIIapCzyK/0h5/L3?= =?us-ascii?q?iX85mEQdfbWy0JsMaHG4G+xmLF+DbXrthNcBC2YKsRAkQOzkkl3RGQJUMlioVq?= =?us-ascii?q?Sz4TAgP6ihB4DfDtSjmrWH1yC6BdtcYWpBFniHHH6ueZ/SH78HYSeWZ8tgiSAs?= =?us-ascii?q?VL67SoZn2wv9mhX9zu9JJ+DO+yYV/bbunPZ4/Pbakw16oRJ9Bd6c2GzLa2xDkG?= =?us-ascii?q?4TXDYwwIh+p1Z8wxGNy/4r0LRjCdVP6qYRAU8BPpnGwrk/Von/?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C0AAD8T4BZhq3cVdFdHQEFAQsBGAEFA?= =?us-ascii?q?QsBhAMQbSeFK4hjj3yBbIJFk0iCPok3PxgBAQEBAQEBAQEBARIBAQEICwsIKC+?= =?us-ascii?q?CMySCQgEEASNLEAsLBAcaFgcCAiISAQUBChIGARISigUDDQgQoXs/jAqCJocwA?= =?us-ascii?q?4QnJhKDFoIChlOIBoJhBYgMDJdceYZXjFiCZI9dlC8zgRUPEIFCUyhaGgaFLIF?= =?us-ascii?q?OQDaKLwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0C0AAD8T4BZhq3cVdFdHQEFAQsBGAEFAQsBhAMQbSeFK4h?= =?us-ascii?q?jj3yBbIJFk0iCPok3PxgBAQEBAQEBAQEBARIBAQEICwsIKC+CMySCQgEEASNLE?= =?us-ascii?q?AsLBAcaFgcCAiISAQUBChIGARISigUDDQgQoXs/jAqCJocwA4QnJhKDFoIChlO?= =?us-ascii?q?IBoJhBYgMDJdceYZXjFiCZI9dlC8zgRUPEIFCUyhaGgaFLIFOQDaKLwEBAQ?= X-IronPort-AV: E=Sophos;i="5.41,305,1498514400"; d="scan'208,217";a="233384789" Received: from mail-qk0-f173.google.com ([209.85.220.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 01 Aug 2017 11:58:41 +0200 Received: by mail-qk0-f173.google.com with SMTP id u139so6030288qka.1 for ; Tue, 01 Aug 2017 02:58:41 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=YTvjanamIKaRglsGh1GXkjkaJt4LQvJBCHimHj2VasU=; b=jUypCKVrZVZbDdTTdMzARKn+rrv/lcNWZWtS9clJUlbxRuD00fJCnHSXNxXpC6iXeF EBuxIpwdsF6FCVPi1Y7ldtyHRXvCVEnR/AKaXAQcAx/0vW/V66frCfNZcQWETqN0V2Ea oMgsAXmCz+y26MihyCAjnWtsHpqPkJ9uEHbV5//nRt4ZYkP1Sglr3BA0WFHXJHXsKN2z GY05h1kIfAOP4ls4DbY8FcWMXcEzu/LzZEfkOS9dOsqz5nk7e3dlohcV3bjb1njZYScw i6iGPSmXDsLgciv3InwBvyVhM2NC4HXtzgeTu614WlCxtBLqbM7ToSo88HO87lc7FeS8 8FHw== X-Gm-Message-State: AIVw111Ekagz5IDDenr77CCDgMKSrZCgbhPteC2s9vKZ1N/qe3STUjqz 6mdDbPTs8d1ZeGq/tzrc9ZtEyJJbDg== X-Received: by 10.55.101.139 with SMTP id z133mr23881881qkb.259.1501581520429; Tue, 01 Aug 2017 02:58:40 -0700 (PDT) MIME-Version: 1.0 References: <05deee1e-ef15-daa7-80df-16e214bb9ea3@gmail.com> In-Reply-To: From: Fabrice Le Fessant Date: Tue, 01 Aug 2017 09:58:28 +0000 Message-ID: To: =?UTF-8?Q?Fran=C3=A7ois_Bobot?= , caml-list@inria.fr Content-Type: multipart/alternative; boundary="001a11480d9e20655d0555ae31d2" Subject: Re: [Caml-list] Loading of dynamic code works with older OCaml versions, but fails with recent versions (>= 4.02.0) --001a11480d9e20655d0555ae31d2 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable We found the reason: it looks like strings are included in the computation of cmx hashes after 4.02, but not before. Removing a string containing the time of build will probably solve the issue. --Fabrice On Tue, Aug 1, 2017 at 11:16 AM Fran=C3=A7ois Bobot wrote: > Le 31/07/2017 =C3=A0 18:37, Mohamed Iguernlala a =C3=A9crit : > > Hello, > > > > I'm facing an issue[1] with OCaml versions >=3D 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=C3=A7ois > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --001a11480d9e20655d0555ae31d2 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
We found the reason: it looks like strings are included in= the computation of cmx hashes after 4.02, but not before. Removing a strin= g containing the time of build will probably solve the issue.
--Fabrice=

On Tue, Aug 1, 2017 at = 11:16 AM Fran=C3=A7ois Bobot <f= rancois.bobot@cea.fr> wrote:
Le 31/07/2017 =C3=A0 18:37, Mohamed Iguernlala a =C3=A9crit :
> Hello,
>
> I'm facing an issue[1] with OCaml versions >=3D 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=C3=A7ois


--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocam= l_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
--001a11480d9e20655d0555ae31d2--