From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA28076 for caml-redistribution@pauillac.inria.fr; Fri, 17 Mar 2000 11:36:09 +0100 (MET)
Resent-Message-Id: <200003171036.LAA28076@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 JAA18128 for <caml-list@pauillac.inria.fr>; Thu, 16 Mar 2000 09:51:02 +0100 (MET)
Received: from indigo.recherche.enac.fr (indigo.recherche.enac.fr [195.220.158.66])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id JAA19010;
	Thu, 16 Mar 2000 09:51:00 +0100 (MET)
Received: from sepia.recherche.enac.fr (brisset@sepia.recherche.enac.fr [195.220.158.82]) by indigo.recherche.enac.fr (8.8.6 (PHNE_14041)/8.6.11) with ESMTP id JAA06793; Thu, 16 Mar 2000 09:50:51 +0100 (MET)
Received: (from brisset@localhost) by sepia.recherche.enac.fr (8.9.3/8.6.11) id JAA01827; Thu, 16 Mar 2000 09:50:49 +0100
Date: Thu, 16 Mar 2000 09:50:49 +0100
Message-Id: <200003160850.JAA01827@sepia.recherche.enac.fr>
From: Pascal Brisset <brisset@recherche.enac.fr>
To: Pierre Weis <Pierre.Weis@inria.fr>
Cc: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>, caml-list@inria.fr
Subject: Re: Syntax for label, NEW PROPOSAL
In-Reply-To: <20000315145830.22463@pauillac.inria.fr>
References: <39ADCF833E74D111A2D700805F1951EF180144F2@RED-MSG-06>
	<20000315121549A.garrigue@kurims.kyoto-u.ac.jp>
	<20000315145830.22463@pauillac.inria.fr>
Mime-Version: 1.0 (generated by tm-edit 7.106)
Content-Type: text/plain; charset=US-ASCII
Resent-From: weis@pauillac.inria.fr
Resent-Date: Fri, 17 Mar 2000 11:36:09 +0100
Resent-To: caml-redistribution@pauillac.inria.fr

Pierre Weis writes:
> For all these reasons, I would suggest to carefully use labels into
> the standard libraries: 
> 
> -- remove labels from higher-order functional
> -- remove redundant labels: when no ambiguity can occur you need not
>    to add a label.
> -- use labels when typechecking ambiguity is evident (for instance
> when there are two or more parameters with the same type).

 Would it be possible to organize a vote for removing all labels from the
standard library ?

--Pascal Brisset