| Anonymous | Login | Signup for a new account | 2013-05-24 14:17 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 | ||||||
| 0005536 | OCaml | OCamldoc | public | 2012-03-13 15:52 | 2012-09-21 12:53 | ||||||
| Reporter | Hendrik Tews | ||||||||||
| Assigned To | guesdon | ||||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||||
| Status | feedback | Resolution | open | ||||||||
| Platform | OS | OS Version | |||||||||
| Product Version | 3.12.1 | ||||||||||
| Target Version | 4.01.0+dev | Fixed in Version | |||||||||
| Summary | 0005536: warning for inherited library classes | ||||||||||
| Description | Inheriting from a library class gives a warning, while normally types from libraries appearing in the interface do not produce a warning. | ||||||||||
| Steps To Reproduce | run ocamldoc -I +ocamldoc on class a = object inherit Odoc_html.html end | ||||||||||
| Additional Information | also present in 4.00.0+dev13 (2012-03-08) | ||||||||||
| Tags | No tags attached. | ||||||||||
| Attached Files | |||||||||||
Notes |
|
|
(0007078) guesdon (manager) 2012-03-14 21:58 |
I don't have any smart idea on how to prevent this. The only way I see is to filter one some constant names but it's not very elegant. This may also be a bug in case of a name conflict. Any suggestion ? |
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2012-03-13 15:52 | Hendrik Tews | New Issue | |
| 2012-03-13 15:52 | Hendrik Tews | Status | new => assigned |
| 2012-03-13 15:52 | Hendrik Tews | Assigned To | => guesdon |
| 2012-03-14 21:58 | guesdon | Note Added: 0007078 | |
| 2012-03-14 21:59 | guesdon | Status | assigned => acknowledged |
| 2012-03-14 21:59 | guesdon | Status | acknowledged => feedback |
| 2012-07-10 11:29 | doligez | Target Version | => 4.01.0+dev |
| 2012-07-31 13:36 | doligez | Target Version | 4.01.0+dev => 4.00.1+dev |
| 2012-09-21 12:53 | doligez | Target Version | 4.00.1+dev => 4.01.0+dev |
| Copyright © 2000 - 2011 MantisBT Group |