From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <lukstafi@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 98A3EBC54
	for <caml-list@yquem.inria.fr>; Wed, 28 Oct 2009 23:45:06 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: An8BAIdm6EpIDtyfkGdsb2JhbACRZIkhPwEBAQEJCQwHEwOuRoE7hkOIaAEDAwWEOgQ
X-IronPort-AV: E=Sophos;i="4.44,642,1249250400"; 
   d="scan'208";a="49426838"
Received: from fg-out-1718.google.com ([72.14.220.159])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 28 Oct 2009 23:44:29 +0100
Received: by fg-out-1718.google.com with SMTP id d23so727549fga.3
        for <caml-list@yquem.inria.fr>; Wed, 28 Oct 2009 15:44:28 -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;
        bh=sh5xWCFJk8y06DwHGMvH93C67dTSxOdK6gpsu9Rh79Q=;
        b=EuLu0j8vHlj7MyvE5lleFd71YFjeKKMEEUIt5wfacjl428GKKM1OUg9zeGv6P5fc15
         r2fFA/bt6RnEfMzLkCpiX7bupbe3P2ybIRToTi3gT+LGmyWqp5f41oDvdWwcfTBgkx7p
         XrGHrn+iJusWCIzdSmXhgQgbyusXIo796Gx2Y=
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;
        b=WbaZcK0TNqWJm04eut4yz2CjOb0cwzx3M5XMbkbMl4IVVQoafboe/bV1bKEr7eHHJT
         +mq9dS4PW9ej4FATKabzKcnwDD+OJWEGpchdTlK/IpbEJ/PdmAII8ESYcAZdSZh35dLE
         8vmpSL8TasDgfhnhvg8tMvYhLI1XtTE4H+qrc=
MIME-Version: 1.0
Received: by 10.239.142.149 with SMTP id g21mr1640551hba.191.1256769868403; 
	Wed, 28 Oct 2009 15:44:28 -0700 (PDT)
In-Reply-To: <4AE876C2.8050707@inria.fr>
References: <1256250121.4178.37.camel@MATHIAS-ENS> <4AE876C2.8050707@inria.fr>
Date: Wed, 28 Oct 2009 23:44:28 +0100
Message-ID: <4a708d20910281544w203038aq7243066ca1f98001@mail.gmail.com>
Subject: Re: [Caml-list] forbidden construct as right hand side of "let rec"
From: Lukasz Stafiniak <lukstafi@gmail.com>
To: caml-list <caml-list@yquem.inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
X-Spam: no; 0.00; lukasz:01 lukasz:01 28,:98 2009:98 wrote:01 wrote:01 rec:01 caml-list:01 cyclic:01 lazy:02 lazy:02 construct:02 let:03 cons:04 nil:06 

On Wed, Oct 28, 2009 at 5:52 PM, Xavier Leroy <Xavier.Leroy@inria.fr> wrote:
> Lukasz Stafiniak wrote:
>
>> While we are at it, what is the best way to convert a "straight" list
>> into a cyclic list?
>
> Again, you can do that just fine using lazy lists instead of lists:
>
> type 'a lazylist = 'a lazylist_content Lazy.t
> and 'a lazylist_content = Nil | Cons of 'a * 'a lazylist
>
> Hope this helps,
>
> - Xavier Leroy
>

Thank you, it makes sense!