Sebastian Egner wrote:
> Besides the point or not, here is a much simpler version of
> Marc's program which also segfaults (ocamlc 3.09.1), and
> probably due to the same reason:

And here's yet a simpler one:
module rec M : (sig val f : int list -> int list end) =
struct let f = List.map succ end
let _ = M.f []

I've submitted a bug report.

-- Alain