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 KAA02764; Thu, 29 Mar 2001 10:21:53 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 KAA02660 for ; Thu, 29 Mar 2001 10:21:52 +0200 (MET DST) Received: from mta5.snfc21.pbi.net (mta5.snfc21.pbi.net [206.13.28.241]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f2T8LkH18025 for ; Thu, 29 Mar 2001 10:21:47 +0200 (MET DST) Received: from checkerlap.d6.com ([64.163.212.241]) by mta5.snfc21.pbi.net (Sun Internet Mail Server sims.3.5.2000.01.05.12.18.p9) with ESMTP id <0GAY00IE69VM8Q@mta5.snfc21.pbi.net> for caml-list@inria.fr; Thu, 29 Mar 2001 00:21:23 -0800 (PST) Date: Thu, 29 Mar 2001 00:22:32 -0800 From: Chris Hecker Subject: Re: [Caml-list] Future of labels In-reply-to: <20010329094438J.garrigue@kurims.kyoto-u.ac.jp> X-Sender: def6@shell16.ba.best.com To: Jacques Garrigue , caml-list@inria.fr Message-id: <4.3.2.7.2.20010329001944.00e39d30@shell16.ba.best.com> MIME-version: 1.0 X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Content-type: text/plain; charset="us-ascii" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk My only request for label mode is that if there's no ambiguity, don't require the labels (meaning if I apply all the arguments and there are no labels, don't make me write them out anyway). Basically, I'd like to be able to use libraries that require labels mixed with code that doesn't really need them but just uses them for documentation. Commutation seems useful for thinks like labltk where there are zillions of parms, most of which aren't going to be filled in most of the time. Chris ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr