>          Objective Caml version 3.04+13 (2002-06-05)
> 
> # type t = t -> t ;;
> type t = t -> t
> # let rec f (x:t) = f f ;;
> Interrupted.

This looks like a bug in the development version.  Without the
-rectypes flag, the declaration of t should be rejected, like it is in
OCaml 3.04.  Interestingly, the development version handles your
example just fine when -rectypes is set.

A note to users of the development version: we appreciate your
testing, but please keep the latest official release around to check
weird behaviors, and when you observe a discrepancy like the above,
report it to caml-bugs@inria.fr.

- Xavier Leroy
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners