Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007623OCamlocamldocpublic2017-09-06 20:132017-09-12 15:50
ReporterMartin Jambon 
Assigned To 
PrioritynormalSeveritytrivialReproducibilityalways
StatusnewResolutionopen 
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?


- 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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker