From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA14447 for caml-redistribution@pauillac.inria.fr; Tue, 14 Mar 2000 19:00:25 +0100 (MET) Resent-Message-Id: <200003141800.TAA14447@pauillac.inria.fr> Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA01565 for ; Tue, 14 Mar 2000 17:53:35 +0100 (MET) Received: from mail1.microsoft.com (mail1.microsoft.com [131.107.3.125]) by nez-perce.inria.fr (8.8.7/8.8.7) with SMTP id RAA02562 for ; Tue, 14 Mar 2000 17:53:32 +0100 (MET) Received: from 157.54.9.101 by mail1.microsoft.com (InterScan E-Mail VirusWall NT); Tue, 14 Mar 2000 08:53:30 -0800 (Pacific Standard Time) Received: by INET-IMC-01 with Internet Mail Service (5.5.2651.58) id ; Tue, 14 Mar 2000 08:53:30 -0800 Message-ID: <39ADCF833E74D111A2D700805F1951EF180144F2@RED-MSG-06> From: Don Syme To: "'caml-list@inria.fr'" Subject: Re: Syntax for label Date: Tue, 14 Mar 2000 08:53:24 -0800 X-Mailer: Internet Mail Service (5.5.2651.58) Resent-From: weis@pauillac.inria.fr Resent-Date: Tue, 14 Mar 2000 19:00:25 +0100 Resent-To: caml-redistribution@pauillac.inria.fr And why not "as", i.e. "t as x", as I explained once in a previous post. I never did get an explanation as to why this wasn't an better solution. It reuses a rarely-used keyword in a perfectly backward-compatible way. I think it's simply a typical case of a new (and not necessarily terribly crucial) language feature muscling in on the limited "ultra-convenient" concrete syntax that's available! No offence intended ;-) Cheers, Don -----Original Message----- From: Christophe Raffalli [mailto:Christophe.Raffalli@univ-savoie.fr] Sent: 10 March 2000 18:45 To: caml-redistribution@pauillac.inria.fr Subject: Syntax for label It is clear that labels are a good thing ... But why did you use the same character ":" for types and labels ! whit not (for instance) x:t to say that x as type t and l#x to say that x as label l the syntax l#x:t is much better than l:x : t !! I know that # is allready used for methods ... but some characters are still usable: ~ £ it looks like the l of labels (but its ascii code is greater than 128, but is this really a problem ? probably ?) -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI