Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004148OCamlOCaml documentationpublic2006-10-30 14:192015-01-19 10:07
Reporterfrisch 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target Version4.03.0+devFixed in Version 
Summary0004148: Description de -pack dans le manuel
DescriptionLa description de -pack dans le manuel devrait indiquer les faits suivants:

1. il est possible de fournir des .cmi (qui n'exportent pas de valeurs) à packer;

2. si un .mli est présent pour le module packé, alors il doit y avoir un .cmi
correspondant qui est compatible avec le type du module produit; le .cmi
est produit par -pack seulement si le .mli n'existe pas.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0007729)
frisch (developer)
2012-07-12 14:22

I propose to postpone this, to avoid delaying the release.
(0013123)
doligez (administrator)
2015-01-16 22:36

About point (2), this is exactly the same as when producing a .cmo file, right?
(0013144)
frisch (developer)
2015-01-19 10:07

> About point (2), this is exactly the same as when producing a .cmo file, right?

Yes, indeed. But the manual says, about -pack:

<< Build a bytecode object file (.cmo file) and its associated compiled interface (.cmi) that combines .. >>

and from this, it is hard to know that one can provide an explicit .mli.

- Issue History
Date Modified Username Field Change
2006-10-30 14:19 frisch New Issue
2006-11-15 13:16 doligez Status new => acknowledged
2012-07-11 16:17 doligez Target Version => 4.00.0+dev
2012-07-12 14:22 frisch Note Added: 0007729
2012-07-12 14:22 frisch Target Version 4.00.0+dev => 4.01.0+dev
2012-07-31 13:37 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-09-14 23:42 doligez Target Version 4.00.1+dev => 4.00.2+dev
2013-07-02 16:47 doligez Target Version 4.00.2+dev => 4.01.0+dev
2013-07-29 14:31 doligez Target Version 4.01.0+dev => 4.01.1+dev
2014-05-25 20:20 doligez Target Version 4.01.1+dev => 4.02.0+dev
2014-08-18 15:21 doligez Target Version 4.02.0+dev => 4.02.1+dev
2014-09-04 00:25 doligez Target Version 4.02.1+dev => undecided
2014-09-25 17:29 doligez Target Version undecided => 4.02.2+dev
2015-01-16 22:36 doligez Note Added: 0013123
2015-01-16 22:36 doligez Target Version 4.02.2+dev => 4.03.0+dev
2015-01-19 10:07 frisch Note Added: 0013144


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker