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 EED0E7FD92 for ; Sat, 11 Jun 2016 14:04:17 +0200 (CEST) IronPort-PHdr: 9a23:XRGvhR3bWJ5QLqVVsmDT+DRfVm0co7zxezQtwd8ZsegfIvad9pjvdHbS+e9qxAeQG96LurQb2qGK7OjJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6DyZvmnLzts7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjMD39DwrRTIUSeI43IdVC1WzksJUED560TTUo3wvy2ykONx1TPSacT6V7E5Xxyk6LtoDhjyh3FUGSQ+9TT4g8Zqja9f6CmqpxFlzpScNI6cPuB/c6ebZtgaSHBMRO5eUiVABsW3aI5ZXLlJBvpRs4So/whGlhC5HwT5Qb62xw== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f181.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.181 as permitted sender) identity=mailfrom; client-ip=209.85.223.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; 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@mail-io0-f181.google.com) identity=helo; client-ip=209.85.223.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AGAQBX/VtXfbXfVdFdg1w4fQaqA4V0iRaCD4F5IoV1AoEfBzgUAQEBAQEBAQERAQEJCwsJIS+CMIIbAQEEEhEdARsSCwEDDAYFCw0CAgkdAgIiAREBBQEKEgYTEhCHcwEDFw6fRIExPjGLO4FqglkFh0oKGScDClKDLAEBAQEBBQEBAQEbAgYQcYUmg0qBA4JghGGCWgWGRQySEIFYhCyCeIUsgjeMaY4vEh6BDx6CMIIQIDKKCAEBAQ X-IPAS-Result: A0AGAQBX/VtXfbXfVdFdg1w4fQaqA4V0iRaCD4F5IoV1AoEfBzgUAQEBAQEBAQERAQEJCwsJIS+CMIIbAQEEEhEdARsSCwEDDAYFCw0CAgkdAgIiAREBBQEKEgYTEhCHcwEDFw6fRIExPjGLO4FqglkFh0oKGScDClKDLAEBAQEBBQEBAQEbAgYQcYUmg0qBA4JghGGCWgWGRQySEIFYhCyCeIUsgjeMaY4vEh6BDx6CMIIQIDKKCAEBAQ X-IronPort-AV: E=Sophos;i="5.26,456,1459807200"; d="scan'208";a="222032083" Received: from mail-io0-f181.google.com ([209.85.223.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Jun 2016 14:04:17 +0200 Received: by mail-io0-f181.google.com with SMTP id o127so39998175iod.2 for ; Sat, 11 Jun 2016 05:04:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=gWZExBcRRCZfqLszvt4zadWTl8y/iLp3DTASYfpm3rU=; b=N/a1e4JJXEvrXyyrNJ4L3pWmmSyW6FTAmMxSq0l/kN8I95aeaREGnyZpIqtG5NWxck OFc97+VzRA7lJklTmVbAEzbxHlhaSKm/PYuzPedcU5yyUUw22rRNj50+mExSkinJfNQw /DUCVYdhIDYnE97iWbzwuSYbq/r0XCZ+8uIaE7gLUeqzV+2OjvdHjWflrYFHUbj5VRUp 56s7LO1vjjRX6F6ohPARC/PZdCL5fNUAtJs7xh4+UwDyJqFJZly9a3jOPgH+Q6WVCTJK 2YnjQlZxFNj4ZgkU45PTV3auak9mQblsc53PO94MiP8Knpx8vPdR+BS82s2XQiXO8kAN bpbw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=gWZExBcRRCZfqLszvt4zadWTl8y/iLp3DTASYfpm3rU=; b=RZVdVPN5qVkJjcLQSlSk9NDsVNorSGfeGp49j9YD9kTTXavLm5REp9b6En612jUKAC yG5r1zbi96cu8MrNILHepqG0yYOgaZj+rzVRz7O8U/kcPdz78V5XiOEno2RGO+6Lt08M uakJmnC6/+wsuUqtj+ZuQrLUPW8gYKzMs4/9aydCmcz/lXayY0yJFmc7vFI0Tx7hVVNk Fcsxzqz5SuL7uathJY3jgwf9yJ2/DwHioC74M/bn9MvdsNnr/n6XTEAveGbG++/tA2j/ AKM0MF+IbyaNqk5JeRoTWSQyy/W5lZPyCt9R/9cT+6bevocj+KBH8CLAEYU7xi4UGDOt oQTA== X-Gm-Message-State: ALyK8tLc0PREKs041bObw7BZ4UWkUOFBwSnEKMxlkK4KtVohmXN3BdWA0Do8UnUTn5DEp7skiKPDz8N92gz2+w== X-Received: by 10.107.169.67 with SMTP id s64mr10132986ioe.19.1465646655088; Sat, 11 Jun 2016 05:04:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.89.195 with HTTP; Sat, 11 Jun 2016 05:03:35 -0700 (PDT) In-Reply-To: <20160611082021.GB3981@notk.org> References: <20160610083920.GA2053@aepfle.de> <9132B0B457FF4160BE7708C9DC0CFA43@erratique.ch> <20160610103739.GA10035@aepfle.de> <20160611061407.GA3981@notk.org> <20160611082021.GB3981@notk.org> From: Gabriel Scherer Date: Sat, 11 Jun 2016 08:03:35 -0400 Message-ID: To: Adrien Nader Cc: Olaf Hering , =?UTF-8?Q?Daniel_B=C3=BCnzli?= , caml users Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] OASIS circular dependency in xml-light I have the same memories of tricky circular dependencies from looking at the xml-light sources a while ago, and if I remember correctly there were some really shady Obj.magic going on at the same time. If people depend on this library, the best fix is probably to clean it up in these respects. On Sat, Jun 11, 2016 at 4:20 AM, Adrien Nader wrote: > 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 > > -- > 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