From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id AF6C0BBAF for ; Fri, 23 Oct 2009 01:10:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsoBAGKD4ErRVdnakGdsb2JhbACRUIkbPwEBAQEJCQwHE69FgTuGZ4hoAQMDBYQ6BA X-IronPort-AV: E=Sophos;i="4.44,608,1249250400"; d="scan'208";a="36844749" Received: from mail-gx0-f218.google.com ([209.85.217.218]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Oct 2009 01:10:29 +0200 Received: by gxk10 with SMTP id 10so7754723gxk.3 for ; Thu, 22 Oct 2009 16:10:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=uQyUaYT2t4O5GR7OGCyHEFn9PGQ9gec92yGDf56TyY8=; b=bHIm+tSkfOp/BvTia4eFAO2GpcqGGLDNRew/x3zLUAFlDrYRVDBwrEx7vig70pI9U1 DrnqltE791Zp3UMk7lC0J25Rj/jd18nAEvXghGZCRc5VEufmTRLNdBDJ8TBobm+UGaCK Cgxm7W4lbn+O0EXgDg3yMt/1Cef7QYZK3l2yc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type:content-transfer-encoding; b=C+G5YDD5ZZ4gP5fVymJtQTDtu/19CEb8/Q3fB6s7WvBGLAb9AusCDq45Ywg+WeQ2SL ehFN88voYR9d+g188EllHdcez3EcuRmKGpbVlQ77edszOQT78zFABlsSasl4QCj9552n XAfcJjoxqyxFQ71HBoGg7vwMfOKnC05wKLGnI= MIME-Version: 1.0 Received: by 10.100.17.14 with SMTP id 14mr6539839anq.163.1256253027873; Thu, 22 Oct 2009 16:10:27 -0700 (PDT) In-Reply-To: <4AE0DDF5.8040601@glondu.net> References: <1256250121.4178.37.camel@MATHIAS-ENS> <4AE0DDF5.8040601@glondu.net> Date: Fri, 23 Oct 2009 01:10:27 +0200 Message-ID: <4a708d20910221610w1c46fbbdk677e8545dcf3cd62@mail.gmail.com> Subject: Re: [Caml-list] forbidden construct as right hand side of "let rec" From: Lukasz Stafiniak To: caml-list Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; lukasz:01 23,:98 2009:98 steph:98 mathias:98 wrote:01 rec:01 rec:01 caml-list:01 cyclic:01 arbitrary:02 archives:02 construct:02 let:03 let:03 While we are at it, what is the best way to convert a "straight" list into a cyclic list? i.e. convert let l =3D a::b::[] into let rec l =3D a::b::l (for arbitrary length lists). (The answer I recall from the archives was using Obj.magic to mutate the [] in the original list). On Fri, Oct 23, 2009 at 12:34 AM, St=E9phane Glondu wrot= e: > Mathias Kende a =E9crit : >> =A0 =A0 =A0 let rec g =3D f g > > What about: > > =A0let rec g x =3D f g x