Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007623OCamlocamldocpublic2017-09-06 20:132017-10-03 14:01
ReporterMartin Jambon 
Assigned To 
PrioritynormalSeveritytrivialReproducibilityalways
StatusclosedResolutionunable to reproduce 
PlatformOSOS Version
Product Version4.05.0 
Target VersionFixed in Version 
Summary0007623: ocamldoc replaces type variables with meaningless identifiers
DescriptionIt would be good if ocamldoc preserved type variables so that we could have the following in the documentation:

val get : ('key, 'value) Hashtbl.t -> 'key -> 'value option


As it stands, the signature above gets converted into:

val get : ('a, 'b) Hashtbl.t -> 'a -> 'b option


What would it take to get this done?
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0018237)
xclerc (reporter)
2017-09-12 15:50
edited on: 2017-09-12 15:57

I am unable to reproduce the problem (with a one-line mli file),
with versions 4.02.3 .. 4.05.0; is this declaration part of a
larger signature?

(0018417)
xleroy (administrator)
2017-09-30 11:10

We need a repro case. Thank you.
(0018435)
Martin Jambon (reporter)
2017-10-01 05:49

Indeed, it works for me. I used the command `ocamldoc -html toto.mli` with the signature above in the file `toto.mli` i.e. `val get : ('key, 'value) Hashtbl.t -> 'key -> 'value option`, with ocamldoc 4.04.1.

I reported this because @aantron (Anton Bachin) said it wasn't working, and I remembered from a long time ago that it used to not work.

All my apologies. I'll follow up on the original thread:

https://github.com/ocsigen/lwt/pull/469#issuecomment-327552611 [^]
(0018455)
Martin Jambon (reporter)
2017-10-02 20:00

ok, the original reporter can't reproduce the problem either. We can close the issue.

- Issue History
Date Modified Username Field Change
2017-09-06 20:13 Martin Jambon New Issue
2017-09-12 15:50 xclerc Note Added: 0018237
2017-09-12 15:57 xclerc Note Edited: 0018237 View Revisions
2017-09-30 11:10 xleroy Note Added: 0018417
2017-09-30 11:10 xleroy Status new => feedback
2017-10-01 05:49 Martin Jambon Note Added: 0018435
2017-10-01 05:49 Martin Jambon Status feedback => new
2017-10-02 13:45 doligez Status new => feedback
2017-10-02 20:00 Martin Jambon Note Added: 0018455
2017-10-02 20:00 Martin Jambon Status feedback => new
2017-10-03 14:01 xleroy Status new => closed
2017-10-03 14:01 xleroy Resolution open => unable to reproduce


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker