Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004148OCamlOCaml documentationpublic2006-10-30 14:192014-09-04 00:25
Reporterfrisch 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionundecidedFixed 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.

- 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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker