From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id KAA05472 for caml-redistribution; Wed, 24 Apr 1996 10:55:40 +0200
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id CAA23818 for <caml-list@pauillac.inria.fr>; Wed, 24 Apr 1996 02:39:42 +0200
Received: from uu3.psi.com (uu3.psi.com [38.145.250.2]) by concorde.inria.fr (8.7.1/8.7.1) with SMTP id CAA18085 for <caml-list@pauillac.inria.fr>; Wed, 24 Apr 1996 02:39:40 +0200 (MET DST)
Received: from flavors.com by uu3.psi.com (5.65b/4.0.940727-PSI/PSINet) via SMTP;
        id AA26097 for caml-list@pauillac.inria.fr; Tue, 23 Apr 96 17:00:26 -0400
Received: from [204.5.215.14] by flavors.com
 with SMTP (MailShare 1.0fc6); Tue, 23 Apr 1996 19:39:10 -0500
Message-Id: <v01540b04ada3284fdf2d@[204.5.215.14]>
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Date: Tue, 23 Apr 1996 20:38:44 -0400
To: "QUERCIA Michel (T) Math" <querciam@l-carnot1.ac-dijon.fr>,
        "'caml-list@pauillac.inria.fr'" <caml-list@pauillac.inria.fr>
From: e@flavors.com (Doug Currie, Flavors Technology, Inc.)
Subject: Re: recursive definition
Sender: weis


>let rec fib = remember(fun x ->
>  if x < 2 then 1 else fib(x-1) + fib(x-2)
>);;
>EntrHe interactive:
>>..............remember(fun x ->
>>  if x < 2 then 1 else fib(x-1) + fib(x-2)
>>).......
>Ce genre d'expressions n'est pas autorisH comme membre droit d'un "let
>rec".

How about:

#let rec fib x = remember(fun x ->
  if x < 2 then 1 else fib(x-1) + fib(x-2)
) x ;;

e