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: 2002-06-10 (02:42)
From: Jacques Garrigue <garrigue@k...>
Subject: Re: [Caml-list] Compiler killer code?
From: Alessandro Baretta <>
>          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 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 Archives:
Bug reports: FAQ:
Beginner's list: