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: Jacques Garrigue <garrigue@k...>
Subject: Re: [Caml-list] Compiler killer code?
From: Alessandro Baretta <alex@baretta.com>
>          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.

That's a bug: the compiler is never supposed to loop. At least in the
core language.
As already pointed out, the bug is on the first line: you shouldn't be
able to define such a type without -rectypes.

> Question for the developers: are "-rectypes" automatically 
> enabled in the CVS version I am using?

No. This is just a bug. Now fixed.
As Xavier remarked, questions regarding the CVS version should go to
caml-bugs@pauillac.inria.fr as most people on this list do not use it.
An extra advantage is that then we can do bug tracking, and your bug
id would appear in the CVS log.

Thank you for this bug report. This helped correcting on overlooked
bug.

Jacques Garrigue
-------------------
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