caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Adrien Nader <adrien@notk.org>
To: Olaf Hering <olaf@aepfle.de>
Cc: "Daniel Bünzli" <daniel.buenzli@erratique.ch>, caml-list@inria.fr
Subject: Re: [Caml-list] OASIS circular dependency in xml-light
Date: Sat, 11 Jun 2016 10:20:21 +0200	[thread overview]
Message-ID: <20160611082021.GB3981@notk.org> (raw)
In-Reply-To: <20160611061407.GA3981@notk.org>

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

  reply	other threads:[~2016-06-11  8:20 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-06-10  8:39 Olaf Hering
2016-06-10 10:32 ` Daniel Bünzli
2016-06-10 10:37   ` Olaf Hering
2016-06-11  6:14     ` Adrien Nader
2016-06-11  8:20       ` Adrien Nader [this message]
2016-06-11 12:03         ` Gabriel Scherer
2016-06-11 15:19           ` Gabriel Scherer

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20160611082021.GB3981@notk.org \
    --to=adrien@notk.org \
    --cc=caml-list@inria.fr \
    --cc=daniel.buenzli@erratique.ch \
    --cc=olaf@aepfle.de \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).