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=1.5 required=5.0 tests=SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id BE380BC69 for ; Wed, 21 Mar 2007 06:37:38 +0100 (CET) Received: from mta.conjury.org (grymling.conjury.org [69.12.155.90]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2L5bbQs028744 for ; Wed, 21 Mar 2007 06:37:38 +0100 Received: from localhost (localhost [127.0.0.1]) by mta.conjury.org (Postfix) with ESMTP id 00C1E33BF89 for ; Tue, 20 Mar 2007 22:37:36 -0700 (PDT) Received: from mta.conjury.org ([127.0.0.1]) by localhost (grymling.conjury.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 29617-07 for ; Tue, 20 Mar 2007 22:37:26 -0700 (PDT) Received: from [10.0.1.200] (station.conjury.org [69.12.155.91]) by mta.conjury.org (Postfix) with ESMTP id EBFE233BF62 for ; Tue, 20 Mar 2007 22:37:25 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v752.3) In-Reply-To: <20070321131334.e381b5fb.mle+ocaml@mega-nerd.com> References: <20070321113430.f32c802a.mle+ocaml@mega-nerd.com> <87vegvv01u.fsf@pps.jussieu.fr> <20070321131334.e381b5fb.mle+ocaml@mega-nerd.com> Content-Type: text/plain; charset=WINDOWS-1252; delsp=yes; format=flowed Message-Id: <74679BB0-BFAC-4617-8D5D-1826E1F3E52B@conjury.org> Content-Transfer-Encoding: quoted-printable From: james woodyatt Subject: Re: [Caml-list] Re: Why isn't -rectypes command line option the default Date: Tue, 20 Mar 2007 22:37:25 -0700 To: The Caml Trade X-Mailer: Apple Mail (2.752.3) X-Virus-Scanned: by amavisd-new at conjury.org X-Miltered: at concorde with ID 4600C4A1.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; woodyatt:01 jhw:01 -rectypes:01 recursive:01 woodyatt:01 jhw:01 20,:98 2007,:98 wrote:01 rec:01 rec:01 behaviour:01 caml-list:01 lazy:02 seems:03 On Mar 20, 2007, at 19:13, Erik de Castro Lopo wrote: > > Wouldn't it be nicer to be able to specify the rectypes behaviour =20 > per type? Maybe something like this would work: > > rec type 'a t =3D 'a * 'a t Lazy.t You know... I have found myself on several occasions wishing for =20 something like that. A nitpick: I think I'd be happier with "type =20 rec" as opposed to "rec type" since that seems symmetrical with the =20 "let rec" phrasing. Yes, I would expect "type rec a =3D ... and b =20 =3D ... and c =3D ..." to allow all three types to be recursive. =97 j h woodyatt http://jhw.vox.com/