Comment author: administrator

Hello,

On Tue, 18 May 2004 14:07:56 +0200 (MET DST)
daniel.buenzli@epfl.ch wrote:

Full_Name: Daniel Buenzli
Version: 3.07+2
OS: macos 10.3.3
Submission from: lamp2priv1.epfl.ch (128.178.154.46)

Dear bugtracker,

The following valid mli file makes ocamldoc.opt segfault

---test.mli---
module type A = sig end
module A : A

ocamldoc -html test.mli
Fatal error: exception Stack_overflow
ocamldoc.opt -html test.mli
Segmentation fault

This is now fixed in the current CVS but...

It seems to me that the problem comes from the fact that ocamldoc doesn't
differentiate (at least at the level of generated file) module type names from
module names. For example if I have the following file

---test.mli---
module type B = sig (** B type doc ) end
module B : sig (* B module doc *) end

And that I generate its html documentation. Then if I click on the link for
the documentation of module B, I get on the documentation of the module type
B which is not the expected linkage. The documentation for the B module is not
generated at all or maybe gets overwritten by the documentation for the module
type.

... if you check section 15.1.3 of the Objective Caml manual (Coding rules for
ocamldoc), you can read that:
"In a module, there must not be two modules, two module types or a module and a
module type with the same name."

Indeed, the html file for the module type Foo.A is the same as the html file for
the module Foo.A.

Thanks for the report,

Maxence Guesdon