Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002271OCaml~DO NOT USE (was: OCaml general)public2004-02-19 08:332017-03-03 17:37
Assigned To 
StatusresolvedResolutionwon't fix 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0002271: -pack .cma
DescriptionIl serait pratique de pouvoir créer une unité packagée à partir d'un .cma.
La sémantique serait d'inclure les .cmo contenu dans le .cma et les .cmi
qui leur correspondent et que l'on trouve à l'exterieur.

Cela permettrait par exemple de se créer un toplevellib.cmo qui éviterait
des collisions de noms. En l'occurence, ça serait bien pratique qu'OCaml
installe tous les .cmi correspondant (eventuellement ailleurs que dans le
répertoire standard), et d'ailleurs c'est ce que fait GODI.

-- Alain

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
administrator (administrator)
2004-04-01 15:54

Seems hard because where to find the missing .cmi
Julien Signoles (reporter)
2009-09-17 15:07

I understand why it is hard... However this feature would be useful for Frama-C ( [^]).
shinwell (developer)
2016-12-08 14:22

I am guessing, given existing support for namespacing using module aliases and proposed support for doing so more automatically (cf. proposal of @lpw25), that there is remarkably little enthusiasm for implementing the creation of packs from .cma archives. I move to close this PR unless someone disagrees strongly.
doligez (administrator)
2017-03-03 17:37

I agree with Mark. We're trying to move away from `-pack`.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2009-09-17 15:07 Julien Signoles Note Added: 0005108
2016-12-08 14:22 shinwell Note Added: 0016883
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:37 doligez Note Added: 0017565
2017-03-03 17:37 doligez Status acknowledged => resolved
2017-03-03 17:37 doligez Resolution open => won't fix
2017-03-03 17:37 doligez Description Updated View Revisions
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker