Re: Syntax for label, NEW PROPOSAL

From: Pascal Brisset (brisset@recherche.enac.fr)
Date: Thu Mar 16 2000 - 09:50:49 MET

  • Next message: Jacques Garrigue: "RE: Syntax for label, NEW PROPOSAL"

    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



    This archive was generated by hypermail 2b29 : Fri Mar 17 2000 - 11:38:17 MET