From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: *** X-Spam-Status: No, score=3.0 required=5.0 tests=AWL,DNS_FROM_SECURITYSAGE, SPF_NEUTRAL autolearn=disabled version=3.1.3 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 E8593BB84 for ; Thu, 13 Nov 2008 11:22:58 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApEBANOOG0nRVYC/kGdsb2JhbACPE4QNPgEBAQEJCQwHEQOxEYtYAQSFXw X-IronPort-AV: E=Sophos;i="4.33,596,1220220000"; d="asc'?scan'208";a="19142841" Received: from fk-out-0910.google.com ([209.85.128.191]) by mail3-smtp-sop.national.inria.fr with ESMTP; 13 Nov 2008 11:22:58 +0100 Received: by fk-out-0910.google.com with SMTP id k31so917817fkk.11 for ; Thu, 13 Nov 2008 02:22:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:mime-version:to:subject:references:in-reply-to :x-enigmail-version:content-type:sender; bh=LUqCQKyvWGypDHqWnQLEkZg23vfmWwOY0V+VKxTP4ck=; b=TCMPYKxDkcua6ZycY+HNJgMI4486JDDq/UsABu4/i5HIb7jgjpsmTLcqkHczJ3jb3L 0OuSHp1TaoNVwn3x2hbnNlqGNlRwPHQGa8MBOOJiwtG70Zl5mMc3Z+/kK2sbKud94I6V 3/BY9zJQUOH1K5fnatmX86DlaYODu5r+Y399I= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:x-enigmail-version:content-type:sender; b=hRyAGgmhpFFgaGqAamWvQzhAX1YuOeM2U6pvVeLuMIg+Zy1sAnGse7KMu5Drc4P8SR nsksZL0f7OQUCZnzDq/Y0uZIdeSiqGL8h6oPqEeiIQH2mKA4x+XKslGA/gUPr11L8XMY DPLCMlJq4mgqsx0dbKJDX3bvgcCLGHY/v2Cek= Received: by 10.180.222.1 with SMTP id u1mr3112666bkg.62.1226571777626; Thu, 13 Nov 2008 02:22:57 -0800 (PST) Received: from ?130.149.24.207? (gilgalad.uebb.cs.tu-berlin.de [130.149.24.207]) by mx.google.com with ESMTPS id d13sm4993893fka.19.2008.11.13.02.22.55 (version=SSLv3 cipher=RC4-MD5); Thu, 13 Nov 2008 02:22:55 -0800 (PST) Message-ID: <491BFFFE.2090202@tu-berlin.de> Date: Thu, 13 Nov 2008 11:22:54 +0100 From: Florian Lorenzen User-Agent: Thunderbird 2.0.0.17 (X11/20080925) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Implementation of lazy_t References: <491861D3.8020709@tu-berlin.de> <20081110171229.GC803@NANA.localdomain> In-Reply-To: <20081110171229.GC803@NANA.localdomain> X-Enigmail-Version: 0.95.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enig3AB7ED560CA0C423FD176A22" Sender: Florian Lorenzen X-Spam: no; 0.00; tu-berlin:01 0100,:01 stdlib:01 pointer:01 10,:98 wrote:01 wrote:01 caml-list:01 lazy:02 florian:03 florian:03 rfc:05 fernandez:09 but:14 force:16 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enig3AB7ED560CA0C423FD176A22 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Mauricio Fernandez wrote: > On Mon, Nov 10, 2008 at 05:31:15PM +0100, Florian Lorenzen wrote: > See stdlib/camlinternalLazy.ml --- force takes but 6 lines of code. Thank you Mauricio. That pointer helped. Regards, Florian --------------enig3AB7ED560CA0C423FD176A22 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAkkb//8ACgkQvjzICpVvX7ZXVwCfT+ykd/s6ew0rdRkIhrNuUHbj 178AnjuNF4N9i9hbkEjIOxj1ag3qCDhD =3G3/ -----END PGP SIGNATURE----- --------------enig3AB7ED560CA0C423FD176A22--