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
Unexpected restriction in "let rec" expressions
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-02-26 (14:18)
From: Damien Doligez <damien.doligez@i...>
Subject: Re: [Caml-list] Unexpected restriction in "let rec" expressions

On 2008-02-26, at 13:24, Loup Vaillant wrote:

> This kind of expression is not allowed as right-hand side of `let rec'
> Any ideas about what is this restriction, an what is it for?

The restriction is documented in section 7.3 of the reference manual,
and it's here to make recursive definitions work correctly under
eager evaluation.

-- Damien