Original bug ID: 1618
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: chris quinn
Version: 3.06
OS: linux
Submission from: 212.42.169.63 (212.42.169.63)

consider
echo val p: int > p1.mli
echo val q: int > p2.mli
ocamlc -c p2.mli; objinfo p2.cmi
ocamlc -c p1.mli p2.mli

objinfo p1.cmi p2.cmi shows that the digest of p2 is different
to that generated when p2.mli is compiled singly.

though this does not cause problems normally,
it can do so in the case the unchanged interface is recompiled separately later
and invalidate all dependent compiled modules.

i would like to compile an interface in memory under an arbitrary Env.t and
generate the same signature as would pop out normally. i don't think i can do so
this with the current compiler.
i think it is down to ident binding times, to which a signature ideally ought to
be invariant, no?

• chris