You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The text was updated successfully, but these errors were encountered:
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.
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
The text was updated successfully, but these errors were encountered: