| Anonymous | Login | Signup for a new account | 2013-05-24 21:58 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||||
| 0004209 | OCaml | OCamldoc | public | 2007-02-16 16:19 | 2008-09-23 22:44 | ||||||
| Reporter | Julien Signoles | ||||||||||
| Assigned To | guesdon | ||||||||||
| Priority | low | Severity | feature | Reproducibility | always | ||||||
| Status | assigned | Resolution | suspended | ||||||||
| Platform | OS | OS Version | |||||||||
| Product Version | 3.09.2 | ||||||||||
| Target Version | Fixed in Version | ||||||||||
| Summary | 0004209: ocamldoc + fichier de même nom (+ -pack) | ||||||||||
| Description | $ mkdir a $ touch a.ml a/a.ml $ ocamlopt -c -I a -for-pack P a/a.ml $ ocamlopt -c a.ml $ ocamlopt -o p.cmx -pack -I a a/a.cmx $ ocamldoc -I a a/a.ml a.ml Fatal error: exception Failure("There are two implementations of module A.") | ||||||||||
| Additional Information | Bien sûr, sans -pack, il n'est pas bon d'avoir deux sources (i.e. deux modules) de même nom et on comprend qu'ocamldoc ne le gère pas bien. Mais avec -pack, AMHA c'est différent : ci-dessus on a deux modules A et P (ce dernier contenant un sous-module A), ce qui est tout à fait licite et réalisable avec ocamlc et ocamlopt. | ||||||||||
| Tags | No tags attached. | ||||||||||
| Attached Files | |||||||||||
Notes |
|
|
(0004283) guesdon (manager) 2007-11-12 09:25 |
Il faudrait une option -pack à ocamldoc, ce qui n'est pas le cas et est assez lourd à implémenter, pour un usage plutôt exceptionnel il me semble. Je le passe donc en souhait de fonctionnalité. |
|
(0004628) Yoric (reporter) 2008-09-23 22:44 |
Je vote pour qu'une telle option soit effectivement implantée. |
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2007-02-16 16:19 | Julien Signoles | New Issue | |
| 2007-11-10 13:44 | xleroy | Status | new => assigned |
| 2007-11-10 13:44 | xleroy | Assigned To | => guesdon |
| 2007-11-12 09:25 | guesdon | Note Added: 0004283 | |
| 2007-11-12 09:25 | guesdon | Priority | normal => low |
| 2007-11-12 09:25 | guesdon | Severity | minor => feature |
| 2007-11-12 09:25 | guesdon | Resolution | open => suspended |
| 2008-09-23 22:44 | Yoric | Note Added: 0004628 | |
| Copyright © 2000 - 2011 MantisBT Group |