From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA15806; Wed, 11 Apr 2001 16:01:39 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA15745 for caml-list@pauillac.inria.fr; Wed, 11 Apr 2001 16:01:39 +0200 (MET DST) 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 UAA31386 for ; Tue, 10 Apr 2001 20:24:13 +0200 (MET DST) Received: from localhost.localdomain (kenny78.zip.com.au [61.8.18.206]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f3AIO9n12615 for ; Tue, 10 Apr 2001 20:24:10 +0200 (MET DST) Received: from ozemail.com.au (IDENT:root@localhost [127.0.0.1]) by localhost.localdomain (8.9.3/8.8.7) with ESMTP id EAA05729; Wed, 11 Apr 2001 04:23:43 +1000 Message-ID: <3AD34FAF.9EB5E288@ozemail.com.au> Date: Wed, 11 Apr 2001 04:23:43 +1000 From: John Max Skaller X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.12-20 i686) X-Accept-Language: en MIME-Version: 1.0 To: Jacques Garrigue CC: caml-list@inria.fr Subject: [Caml-list] Re: Indexed and optional arguments (was Future of labels) References: <20010329094438J.garrigue@kurims.kyoto-u.ac.jp> <20010329114640.A18984@miss.wu-wien.ac.at> <3AD11034.E9210A65@ozemail.com.au> <20010409173310F.garrigue@kurims.kyoto-u.ac.jp> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jacques Garrigue wrote: > > In this way, we have only strict commuting label mode, but we can still > > use positional notation via sugar. > This is already the case :-) If that is so, then provided libraries contain no labels, all existing 'classic' Ocaml code will continue to work in strict commuting label mode. In particular, no 'classic' ocaml user will notice any difference: only 'classic mode' users who played with some labels (and probably expected to get burned by further changes anyhow). Is that right? -- John (Max) Skaller, mailto:skaller@maxtal.com.au 10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850 checkout Vyper http://Vyper.sourceforge.net download Interscript http://Interscript.sourceforge.net ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr