Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005002OCamlOCamldocpublic2010-03-11 13:172016-04-19 14:15
ReporterJulien Signoles 
Assigned Toguesdon 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version3.11.1 
Target Version4.03.1+devFixed in Version 
Summary0005002: ocamldoc lost "with type" in "include ... with type ..."
DescriptionHello,

Consider:
=== a.ml ===
module type X = sig type t end
module type Y = sig include X with type t = int end
============

$ ocamldoc -html a.ml

The file A.Y.html is incorrect since the "with type" part is lost:
============
module type Y = sig .. end

include A.X
============
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0015510)
Armael (reporter)
2016-03-15 23:32

An other manifestation of the problem (after an include, ocamldoc only tries to print the name of the signature that is included) is when including an anonymous signature:

```
include sig type t = int end
```

is outputted as

```
include ??
```

I tried a bit to find a fix for that, but failed... :(. I would be quite happy to see this issue fixed. It's a tad annoying when one has an interface with "include"s; then there is no way to get correct documentation for it.

- Issue History
Date Modified Username Field Change
2010-03-11 13:17 Julien Signoles New Issue
2010-03-11 13:17 Julien Signoles Status new => assigned
2010-03-11 13:17 Julien Signoles Assigned To => guesdon
2012-07-10 20:31 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-17 17:55 doligez Target Version 4.00.1+dev => 4.00.2+dev
2013-07-10 19:43 doligez Target Version 4.00.2+dev => 4.01.0+dev
2013-08-12 16:16 doligez Target Version 4.01.0+dev => 4.01.1+dev
2014-05-25 20:20 doligez Target Version 4.01.1+dev => 4.02.0+dev
2014-07-31 13:49 doligez Target Version 4.02.0+dev => 4.02.1+dev
2014-09-04 00:25 doligez Target Version 4.02.1+dev => undecided
2014-09-26 17:46 doligez Target Version undecided => 4.02.2+dev / +rc1
2015-03-16 21:18 doligez Target Version 4.02.2+dev / +rc1 => 4.02.3+dev
2015-07-15 16:18 doligez Target Version 4.02.3+dev => 4.03.0+dev / +beta1
2016-03-15 23:32 Armael Note Added: 0015510
2016-04-19 14:15 doligez Target Version 4.03.0+dev / +beta1 => 4.03.1+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker