You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The text was updated successfully, but these errors were encountered:
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?
The text was updated successfully, but these errors were encountered: