Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003488OCamlOCaml generalpublic2005-02-24 18:372013-07-24 11:25
Reporteradministrator 
Assigned To 
PrioritynormalSeveritytextReproducibilityalways
StatusconfirmedResolutionopen 
PlatformOSOS Version
Product Version 
Target Version4.01.1+devFixed in Version 
Summary0003488: -pack and cmx dependancies
DescriptionFull_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
> ocamlopt -pack -o mylib b.cmx a.cmx
When using mylib, the compiler can issue a type error whose origin is fairly
difficult to find.

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

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0009845)
doligez (administrator)
2013-07-24 11:25

A warning is the best solution.

- Issue History
Date Modified Username Field Change
2005-11-18 10:14 administrator New Issue
2005-12-15 15:26 doligez Severity minor => text
2005-12-15 15:26 doligez Description Updated
2012-09-06 16:44 doligez Target Version => 4.00.1+dev
2012-09-11 09:45 doligez Target Version 4.00.1+dev => 4.00.2+dev
2013-07-02 16:01 doligez Status acknowledged => confirmed
2013-07-02 16:01 doligez Target Version 4.00.2+dev => 4.01.0+dev
2013-07-24 11:25 doligez Note Added: 0009845
2013-07-24 11:25 doligez Target Version 4.01.0+dev => 4.01.1+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker