Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Compiler killer code?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Xavier Leroy <xavier.leroy@i...>
Subject: Re: [Caml-list] Compiler killer code?
>          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

- Xavier Leroy
To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: