Version française
Home     About     Download     Resources     Contact us    
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 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