English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2002-06-10 (02:42)
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

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