>>>>> "Jacques" == Jacques GARRIGUE <garrigue@kurims.kyoto-u.ac.jp> writes:

  Jacques> The basic reason is that there are two files to read:
  Jacques> const.cmo and const.cmi, and they are loaded by two
  Jacques> independent mechanisms.  const.cmo must be loaded
  Jacques> explicitly by a #load command, but const.cmi is searched
  Jacques> automatically in the path when a Const.xxx identifier is
  Jacques> used.  The independence of the two mechanisms may be
  Jacques> confusing, but you may understand it better if you think of
  Jacques> loading a .cma file: in that case, you really don't know
  Jacques> where the corresponding .cmi should be.

I understand the separation of implementation vs interface, however it
seems that a reasonable default it to use the path of the cma file to
find the cmi before giving up.

However if the mechanisms are _completely_ separate then I can see
where that would be a problem, and I believe that is what your are
saying (?)

Thanks

Brian

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners