You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4443 Reporter:@dbuenzli Assigned to:@zoggy Status: closed (set by @zoggy on 2007-11-12T08:47:49Z) Resolution: won't fix Priority: normal Severity: feature Version: 3.10.0 Category: ocamldoc Monitored by:@dbuenzli
Bug description
Hello Maxence,
Regarding html generation with -keep-code, a nice feature would be to link symbols to their implementation (when available) in the implementation pages. This would turn our browsers into source code browsers. Very useful to understand how a project works.
Best,
Daniel
Additional information
It's not an easy thing to do, since all expressions must be analysed and names resolved regarding an environment. The current html generator is more oriented to produce "reference documentation", where browsing of source code should not be needed if comments are well written.
You can always create your own custom generator which overrides some methods of the default html generator...
Regards,
Maxence
The text was updated successfully, but these errors were encountered:
Original bug ID: 4443
Reporter: @dbuenzli
Assigned to: @zoggy
Status: closed (set by @zoggy on 2007-11-12T08:47:49Z)
Resolution: won't fix
Priority: normal
Severity: feature
Version: 3.10.0
Category: ocamldoc
Monitored by: @dbuenzli
Bug description
Hello Maxence,
Regarding html generation with -keep-code, a nice feature would be to link symbols to their implementation (when available) in the implementation pages. This would turn our browsers into source code browsers. Very useful to understand how a project works.
Best,
Daniel
Additional information
It's not an easy thing to do, since all expressions must be analysed and names resolved regarding an environment. The current html generator is more oriented to produce "reference documentation", where browsing of source code should not be needed if comments are well written.
You can always create your own custom generator which overrides some methods of the default html generator...
Regards,
Maxence
The text was updated successfully, but these errors were encountered: