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=0.0 required=5.0 tests=none 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 43C48BC69 for ; Wed, 21 Mar 2007 08:08:27 +0100 (CET) Received: from smtp.syd.people.net.au (smtp.syd.people.net.au [218.214.225.98]) by concorde.inria.fr (8.13.6/8.13.6) with SMTP id l2L78OjX014139 for ; Wed, 21 Mar 2007 08:08:26 +0100 Received: (qmail 12921 invoked from network); 21 Mar 2007 07:08:32 -0000 Received: from unknown (HELO coltrane.mega-nerd.net) (218.214.64.136) by smtp.syd.people.net.au with SMTP; 21 Mar 2007 07:08:32 -0000 Received: from coltrane (coltrane [192.168.1.101]) by coltrane.mega-nerd.net (Postfix) with SMTP id CE1A87B6B for ; Wed, 21 Mar 2007 18:08:19 +1100 (EST) Date: Wed, 21 Mar 2007 18:08:19 +1100 From: Erik de Castro Lopo To: caml-list@inria.fr Subject: Re: [Caml-list] Re: Why isn't -rectypes command line option the default Message-Id: <20070321180819.3b25e5d0.erikd@mega-nerd.com> In-Reply-To: <74679BB0-BFAC-4617-8D5D-1826E1F3E52B@conjury.org> References: <20070321113430.f32c802a.mle+ocaml@mega-nerd.com> <87vegvv01u.fsf@pps.jussieu.fr> <20070321131334.e381b5fb.mle+ocaml@mega-nerd.com> <74679BB0-BFAC-4617-8D5D-1826E1F3E52B@conjury.org> Organization: Erik Conspiracy Secret Labs X-Mailer: Sylpheed version 2.3.0beta5 (GTK+ 2.8.20; i486-pc-linux-gnu) x-gpg-fingerprint: 7357 1E85 C19F 4281 D8C9 7AA8 6CA4 1A77 43B8 D6C8 x-gpg-key: 43B8D6C8 Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 4600D9E8.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; -rectypes:01 woodyatt:01 wrote:01 rec:01 rec:01 caml-list:01 seems:03 let:03 erik:04 erik:04 i'd:05 interesting:12 opposed:12 think:12 think:12 james woodyatt wrote: > You know... I have found myself on several occasions wishing for > something like that. A nitpick: I think I'd be happier with "type > rec" as opposed to "rec type" since that seems symmetrical with the > "let rec" phrasing. Sure, either way would be really great. Erik -- +-----------------------------------------------------------+ Erik de Castro Lopo +-----------------------------------------------------------+ "The question of whether a computer can think is no more interesting than the question of whether a submarine can swim." -- edsger dijkstra