Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

-pack .cma #8489

Closed
vicuna opened this issue Feb 19, 2004 · 4 comments
Closed

-pack .cma #8489

vicuna opened this issue Feb 19, 2004 · 4 comments

Comments

@vicuna
Copy link

vicuna commented Feb 19, 2004

Original bug ID: 2271
Reporter: administrator
Status: resolved (set by @damiendoligez on 2017-03-03T16:37:13Z)
Resolution: won't fix
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)
Monitored by: "Julien Signoles"

Bug description

Il 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

@vicuna
Copy link
Author

vicuna commented Apr 1, 2004

Comment author: administrator

Seems hard because where to find the missing .cmi

@vicuna
Copy link
Author

vicuna commented Sep 17, 2009

Comment author: Julien Signoles

I understand why it is hard... However this feature would be useful for Frama-C (http://frama-c.cea.fr).

@vicuna
Copy link
Author

vicuna commented Dec 8, 2016

Comment author: @mshinwell

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.

@vicuna
Copy link
Author

vicuna commented Mar 3, 2017

Comment author: @damiendoligez

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant