Version française
Home     About     Download     Resources     Contact us    
Browse thread
ocamldoc and module signature
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Philippe Veber <philippe.veber@g...>
Subject: ocamldoc and module signature
Hi,

  I'm a little bit puzzled with the behavior of ocamldoc (3.10.2 and 3.11.0)
on the following file :

a.ml :
====

module M : sig
  val l : int list
end
=
struct
  let l = []
end

The HTML documentation generated from the following call

ocamldoc -html a.ml

will describe A.M.l as a 'a list, while it's been constrained to int list by
the signature. Is this the expected behavior ?

Philippe.