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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 306857FD92 for ; Sat, 11 Jun 2016 10:20:53 +0200 (CEST) IronPort-PHdr: 9a23:8RZbbxC0H3TlzcrjQ1ulUyQJP3N1i/DPJgcQr6AfoPdwSP79o8bcNUDSrc9gkEXOFd2CrakU2qyJ4uu4ACQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTmkb/jsMWKKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46Fp34d6XK77Z6U1S6BDRHRjajhtpZ6jiR6Wag+G6DM8X38XlBUAVw/B5R/SV5rpvC/38OZwjnq0J8rzGJk4QzWv6e9NQRPlkm9TPjIj8WzRosp3kKEdpwiu8U8si7XIaZ2YYaItNpjWeskXEC8YBp5c Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=adrien@notk.org; spf=Pass smtp.mailfrom=adrien@notk.org; spf=None smtp.helo=postmaster@nautica.notk.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of adrien@notk.org) identity=pra; client-ip=91.121.71.147; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="adrien@notk.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of adrien@notk.org designates 91.121.71.147 as permitted sender) identity=mailfrom; client-ip=91.121.71.147; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="adrien@notk.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nautica.notk.org) identity=helo; client-ip=91.121.71.147; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="postmaster@nautica.notk.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AyBQCFyVtX/5NHeVtdgz5WfYJ2th2CD4F5GoV9AoEnOhIBAQEBAQEBAWQngjCCGwEBBCNWEAsaAgUTDgICDwUYMYhHrRKQZgEBAQcCASSBAYUmhE2CYIRhK4IvBZhhhgSCeIUiCmaOOo9uJQEug3A6MooIAQEB X-IPAS-Result: A0AyBQCFyVtX/5NHeVtdgz5WfYJ2th2CD4F5GoV9AoEnOhIBAQEBAQEBAWQngjCCGwEBBCNWEAsaAgUTDgICDwUYMYhHrRKQZgEBAQcCASSBAYUmhE2CYIRhK4IvBZhhhgSCeIUiCmaOOo9uJQEug3A6MooIAQEB X-IronPort-AV: E=Sophos;i="5.26,455,1459807200"; d="scan'208";a="222019569" Received: from nautica.notk.org ([91.121.71.147]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Jun 2016 10:20:22 +0200 Received: by nautica.notk.org (Postfix, from userid 1003) id C3D06C009; Sat, 11 Jun 2016 10:20:21 +0200 (CEST) Date: Sat, 11 Jun 2016 10:20:21 +0200 From: Adrien Nader To: Olaf Hering Cc: Daniel =?utf-8?Q?B=C3=BCnzli?= , caml-list@inria.fr Message-ID: <20160611082021.GB3981@notk.org> References: <20160610083920.GA2053@aepfle.de> <9132B0B457FF4160BE7708C9DC0CFA43@erratique.ch> <20160610103739.GA10035@aepfle.de> <20160611061407.GA3981@notk.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20160611061407.GA3981@notk.org> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] OASIS circular dependency in xml-light Well, it has seen some development in the past couple years on github. Anyway, back to the original problem. xml.ml references Dtd dtd.ml references Xml (through 'open Xml', which is needed) xml.mli does not reference Dtd dtd.mli references Xml Currently xml.mli is compiled, then dtd.mli, then dtd.ml and finally xml.ml (there are other modules involved but they don't seem to be involved in the loop). I'm not completely surprised this works but I didn't know it was possible (my current version here is 4.01.0 but it has probably been that way for a long time). Maybe someone else can comment on that. I'm actually wondering how this works wrt module initialization order. I think the sure way would be to move at least some declarations to a separate module that has no dependency on others and which both Xml and Dtd could depend on. -- Adrien Nader