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: 3488 Reporter: administrator Status: confirmed (set by @damiendoligez on 2013-07-02T14:01:39Z) Resolution: open Priority: normal Severity: text Category: compiler driver Has duplicate:#6778 Related to:#5473 Monitored by:@hcarty
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.
Original bug ID: 3488
Reporter: administrator
Status: confirmed (set by @damiendoligez on 2013-07-02T14:01:39Z)
Resolution: open
Priority: normal
Severity: text
Category: compiler driver
Has duplicate: #6778
Related to: #5473
Monitored by: @hcarty
Bug description
Full_Name: frédéric BESSON
Version: 3.09+dev16 (2005-02-16)
OS: MACOSX
Submission from: zarquon.irisa.fr (131.254.10.195)
Hi all,
Suppose that b.cmx depends on a.cmx but are packed the other way round
The following code illustrates this situation
(* a.ml *)
type a = A
(* b.ml *)
let foo A.A = ()
(* c.ml *)
let _ = Mylib.B.foo Mylib.A.A
File "c.ml", line 1, characters 20-29:
This expression has type Mylib.A.a but is here used with type A.a
It would be nice if ocamlopt -pack would yield a warning (x)or
if the documentation would warn about this side-effect
--
Frédéric
The text was updated successfully, but these errors were encountered: