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 421017EE79 for ; Mon, 16 May 2016 14:38:49 +0200 (CEST) IronPort-PHdr: 9a23:PajRhBdnJ+XFOiC8yxUEnHG2lGMj4u6mDksu8pMizoh2WeGdxc+5bR7h7PlgxGXEQZ/co6odzbGG4ua6Bydcvt6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDjvceNKFkXzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IeezAcq85Vb1VCig9eyBwvZWz9EqLcQzaxnwaXW8R2ihICg7KpEX6TJf4tCSg57dV0i2dOsj8QKo7HzKv8/EvAFXngS0dNjM9tnrcisFqgbhzrxeophg5yInRKsnBO/N0ZKLQeZUBTmpMRMtLfyNEC4K4KYAICrxSE/xfqtzRrkUPoVOXAQ23A/v3gmtEnHaz26AlyMwkHB3PxxApFNFIu3PR+oamfJwOWPy4mfGbhQ7IaOlbjHKksNDF Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dra-news@metastack.com; spf=Pass smtp.mailfrom=dra-news@metastack.com; spf=None smtp.helo=postmaster@outmail149080.authsmtp.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dra-news@metastack.com) identity=pra; client-ip=62.13.149.80; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of dra-news@metastack.com designates 62.13.149.80 as permitted sender) identity=mailfrom; client-ip=62.13.149.80; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.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@outmail149080.authsmtp.com) identity=helo; client-ip=62.13.149.80; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail149080.authsmtp.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AoAQD7vjlXilCVDT5UCYMNggOlPAEBBpYihhECHIEFPBABAQEBAQEBAREBAQEKFAlQgi2CFQEBAQMBAyARRQULAgEIDgwCBhkHAgICMBUQAgQBDQ2IHwkDAa15kFwBAQEBAQUBAQEBAQEBAQEBARyBAYRchRWEGCmCfiuCLgEEmCeOHgqPD49BN4IxEQoWgTWHdQF+AQEB X-IPAS-Result: A0AoAQD7vjlXilCVDT5UCYMNggOlPAEBBpYihhECHIEFPBABAQEBAQEBAREBAQEKFAlQgi2CFQEBAQMBAyARRQULAgEIDgwCBhkHAgICMBUQAgQBDQ2IHwkDAa15kFwBAQEBAQUBAQEBAQEBAQEBARyBAYRchRWEGCmCfiuCLgEEmCeOHgqPD49BN4IxEQoWgTWHdQF+AQEB X-IronPort-AV: E=Sophos;i="5.24,627,1454972400"; d="scan'208";a="177933862" Received: from outmail149080.authsmtp.com ([62.13.149.80]) by mail3-smtp-sop.national.inria.fr with ESMTP; 16 May 2016 14:38:48 +0200 Received: from mail-c247.authsmtp.com (mail-c247.authsmtp.com [62.13.128.247]) by punt21.authsmtp.com (8.14.2/8.14.2/) with ESMTP id u4GCcjgk044710; Mon, 16 May 2016 13:38:45 +0100 (BST) Received: from romulus.metastack.com (114.212-105-213.static.virginmediabusiness.co.uk [213.105.212.114]) (authenticated bits=0) by mail.authsmtp.com (8.14.2/8.14.2/) with ESMTP id u4GCch6m060346 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Mon, 16 May 2016 13:38:43 +0100 (BST) Received: from remus.metastack.local (remus.metastack.com [172.16.0.1]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id u4GCcgTI001526 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=FAIL); Mon, 16 May 2016 13:38:42 +0100 Received: from Remus.metastack.local ([fe80::547c:3c42:e1da:eda2]) by Remus.metastack.local ([fe80::547c:3c42:e1da:eda2%10]) with mapi id 14.03.0279.002; Mon, 16 May 2016 13:38:42 +0100 From: David Allsopp To: Hongbo Zhang , "gabriel.scherer@gmail.com" CC: "caml-list@inria.fr" Thread-Topic: [Caml-list] Justifying a breaking 4.03 change, strong dependency on modules with "external" declarations (was: ) Thread-Index: AQHRr2lnJKxIq9UJyUqatVlKm/DIB5+7d1WQ Date: Mon, 16 May 2016 12:38:40 +0000 Message-ID: References: <5739B475020502AA00390319_0_12595@p057> In-Reply-To: <5739B475020502AA00390319_0_12595@p057> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [77.22.199.3] Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 MIME-Version: 1.0 Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: 205cb4e9-1b63-11e6-bcde-0015176ca198 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgESJgRCAnRQ SnkJW1VSQFxyU2B9 YQ5VIwdcYVRPXwB0 UklLXFNTEBpqBAMA SFsaJWohLwMbeHhw ZkJkEHFbXER4O0R9 Rx0GETgPeGYybmMC UUENcR4GI1cfYx9F a1V+U3VeMGQObjQC Ml17DBs4ODEaLCVO XjRFD08JXUcFDz86 SFgLVT81EEQGRiM8 Z0BgcgVUF0YYNEo/ dRM6RUgfNRBwQgFT B0xLDCJfLEhJQCxj CARWQEoTC3VCQDtc SlclMgNFGDpbXmAQ CEZOTxgVAj9EVy9T AHZCWzZ/RBlB X-Authentic-SMTP: 61633634383431.1038:706 X-AuthFastPath: 0 (Was 255) X-AuthSMTP-Origin: 213.105.212.114/25 X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: RE: [Caml-list] Justifying a breaking 4.03 change, strong dependency on modules with "external" declarations (was: ) SG9uZ2JvIFpoYW5nIHdyb3RlOg0KDQo+IE15IDIgY2VudHM6IEkgZGlkIG5v dCBsaWtlIHRoaXMgY2hhbmdlLCBmb3IgbW9kdWxlcyB3aGljaCBoYXMgc2lk ZSBlZmZlY3QsIGl0IHNob3VsZCBhbHdheXMNCj4gYmUgZXhwbGljaXRseSBs aXN0ZWQgaW4gdGhlIGxpbmsgbGluZSwgaW5zdGVhZCBvZiByZWx5aW5nIG9u IHN1Y2ggZnJhZ2lsZSBpbXBsaWNpdCBiZWhhdmlvci4NCg0KSSB0aGluayBH YWJyaWVsJ3MgZXhwbGFuYXRpb24gaGFzIG1pc3NlZCBhbiBpbXBvcnRhbnQg c3VidGxldHkgb2YgdGhlIG9yaWdpbmFsIHByb2JsZW0uIE9uZSBvZiB0aGUg cmVhc29ucyB5b3UgbWlnaHQgIm9taXQiIHRoZSAuY214IGZpbGUgd2hlbiBs aW5raW5nIGlzIGJlY2F1c2UgeW91IHRob3VnaHQgeW91J2QgZ2l2ZW4gaXQs IGJlY2F1c2UgdGhlIC5jbXggZmlsZSB3YXMgaW4gYSAuY214YSBmaWxlIHdo aWNoIHlvdSBoYWQgbGlua2VkIChvciBtb3JlIGxpa2VseSwgb25lIHdoaWNo IG9jYW1sZmluZCB3YXMgYWRkaW5nIHRoYW5rcyB0byAtcGFja2FnZSBhbmQg LWxpbmtwa2cgaW5zdHJ1Y3Rpb25zLi4uKS4NCg0KRXZlbiB3b3JzZSwgZXZl biBpZiB5b3UgZGlkIHNwZWNpZnkgQmFyLmNteCwgdGhlIGxpbmtlciBkaWQg bm90aGluZyB0byBlbnN1cmUgdGhhdCB5b3UnZCBwbGFjZWQgaXQgKmJlZm9y ZSogdGhlIGZpcnN0IGNhbGwgdG8gYW4gZXh0ZXJuYWwgdmFsdWUgLSBtZWFu aW5nIHRoYXQgdGhlIHByaW1pdGl2ZSBjb3VsZCBiZSBjYWxsZWQgYmVmb3Jl IHRoZSByZXF1aXJlZCBpbml0aWFsaXNhdGlvbiBjb2RlLg0KDQpUaGUgb25s eSB3b3JrYXJvdW5kcyB3ZXJlIHRvIHVzZSB2YWwgaW5zdGVhZCBvZiBleHRl cm5hbCAoZ2l2aW5nIGJvdGggYSBzbGlnaHQgcGVyZm9ybWFuY2UgcGVuYWx0 eSBhbmQgZm9yY2luZyBhIC5tbGkgZmlsZSB0byBiZSB3cml0dGVuIC0gYWx0 aG91Z2ggbWFueSwgbWUgaW5jbHVkZWQsIHRoaW5rIC5tbGkgZmlsZXMgc2hv dWxkIGJlIG1hbmRhdG9yeSBhbnl3YXkhKSBvciB0byB1c2UgLWxpbmthbGws IHdoaWNoIGlzIG5vdCBuZWNlc3NhcmlseSBmZWFzaWJsZS4NCg0KSSByZW1l bWJlciB3YXN0aW5nIGEgbG90IG9mIHRpbWUgdGhlIGZpcnN0IHRpbWUgSSBn b3Qgc3R1bmcgYnkgdGhhdC4uLiBldmVuIHRob3VnaCBpdCBpcyBpbiB0aGUg bWFudWFsLiBJbiBmYWN0LCB0aGF0IG1lYW5zIHRoZSBmaXJzdCBwYXJhZ3Jh cGggb2YgdGhlIG1hbnVhbCBuZWVkcyB1cGRhdGluZyENCg0KDQpEYXZpZA0K DQoNClBTIEkgbm90aWNlZCB0aGF0IHRoZSBvbGQgYmVoYXZpb3VyIHN0aWxs IGhhcHBlbnMgd2l0aCBub3JtYWwgcHJpbWl0aXZlcyAoZS5nLiAlaWRlbnRp dHkpLCBidXQgSSBndWVzcyB0aGF0J3MgaW50ZW50aW9uYWw/IA0K