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 IAA22575 for caml-redistribution@pauillac.inria.fr; Fri, 4 Feb 2000 08:44:29 +0100 (MET) Resent-Message-Id: <200002040744.IAA22575@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 KAA06737 for ; Thu, 3 Feb 2000 10:38:58 +0100 (MET) Received: from ns.socgen.com (ns.socgen.com [195.6.58.62]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id KAA03000 for ; Thu, 3 Feb 2000 10:38:56 +0100 (MET) Received: from ms02 (ms02 [192.168.2.28]) by ns.socgen.com via Smap(2.01) id KAA04610 for ;Thu, 3 Feb 2000 10:33:37 +0100 (MET) Received: from feddef.fr.socgen.com (unverified) by ms02 (Content Technologies SMTPRS 2.0.15) with ESMTP id for ; Thu, 03 Feb 2000 10:28:53 +0100 Received: from feddef-gw.fr.socgen.com by feddef.fr.socgen.com (X.400 to RFC822 Gateway); Thu, 3 Feb 2000 10:39:26 +0100 X400-Received: by mta MTAFEDDEF in /c=FR/admd=ATLAS/prmd=SG/; Relayed; 03 Feb 2000 10:39:25 +0100 X400-Received: by /c=FR/admd=ATLAS/prmd=SG/; Relayed; 03 Feb 2000 10:39:25 +0100 X400-MTS-Identifier: [/c=FR/admd=ATLAS/prmd=SG/; 0233238994CCD058-MTAFEDDEF] Content-Return: Allowed X400-Content-Type: P2-1988 ( 22 ) Conversion: Allowed Original-Encoded-Information-Types: (1)(0)(10021)(7)(1)(0)(1), (1)(0)(10021)(7)(1)(0)(6), (1)(0)(10021)(7)(1)(0)(100) Priority: normal Disclose-Recipients: Prohibited Alternate-Recipient: Allowed X400-Originator: Jean-Marc.Eber@socgen.com X400-Recipients: non-disclosure; Message-Id: <0233238994CCD058*/c=FR/admd=ATLAS/prmd=SG/o=INFI/s=EBER/g=JEAN-MARC/@MHS> Date: 03 Feb 2000 10:39:25 +0100 From: Jean-Marc EBER To: caml-list (IPM Return requested) Subject: OCaml syntax: vertcal bar in front of the first case of a matching definition ? MIME-Version: 1.0 Content-Identifier: 0233238994CCD058 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Resent-From: weis@pauillac.inria.fr Resent-Date: Fri, 4 Feb 2000 08:44:29 +0100 Resent-To: caml-redistribution@pauillac.inria.fr Petite question/remarque sur la syntaxe de OCaml 2.04 : Je trouve, personnellement, déroutant le fait qu'il soit permis, mais non obligatoire, de placer une barre verticale (|) devant le *premier* filtrage d'une définition de fonction (resp d'un match). Il semble que ce soit là un reliquat du passé, et que la barre soit devenue un *préfixe* de cas après avoir été un *séparateur* de cas. L'obligation de placer une telle barre devant chaque cas me semble plus = claire à la lecture et provoquerait une uniformisation des codes OCaml = disponibles. Intuitivement, je pense aussi qu'une telle obligation devrait simplifier= grandement le travail d'analyse et de formatage des modes emacs, gr=E2c= e à un point de synchronisation supplémentaire. Je constate que le source de OCaml est presque exclusivement en vieux mod= e, sans barre devant le premier filtrage. Idée : le passage de 2.04 -> 2.99 (resp 3.0) exige de toute façon une= transformation du source, ne serait-ce que pour ajouter certains espaces= , nécessaires pour éviter des ambiguités avec des labels, si j'ai = bien compris. Ne serait-ce pas le moment idéal pour rajouter cette barr= e verticale lorsqu'elle manque et la rendre obligatoire dans OCaml 3.00 = ? Quick English translation : About the syntax of OCaml 2.04. It is allowed but not mandatory to put a vertical bar (|) in front of the= first case of a matching definition. This freedom seems to exist for leg= acy code support (especially OCaml source itself). I suggest to impose a vertical bar also in front of the first case for ev= ident clarity reasons. This should also make easier the work of the emacs mode formatters. If I understand well, the migration 2.04 -> 2.99 (3.00) imposes a use of = a code reformatter, because at least some spaces have to be added, for av= oiding some clashes with labels. Wouldn't this be the right moment for a= dding automatically such a bar and then make it mandatory in 3.00 ? Jean-Marc Eber Société Générale Infi/Dir 17, cours Valmy, F 92 987 Paris - La Défense Cedex Tél +33 1 42 13 65 30 Fax: +33 1 42 13 60 78 EMail: jean-marc.eber@socgen.com ************************************************************************* Ce message et toutes les pièces jointes (ci-après le "message") sont confidentiels et établis à l'intention exclusive de ses destinataires. Toute utilisation ou diffusion non autorisée est interdite. Tout message électronique est susceptible d'altération. La SOCIETE GENERALE et ses filiales déclinent toute responsabilité au titre de ce message s'il a été altéré, déformé ou falsifié. ******** This message and any attachments (the "message") are confidential and intended solely for the addressees. Any unauthorised use or dissemination is prohibited. E-mails are susceptible to alteration. Neither SOCIETE GENERALE nor any of its subsidiaries or affiliates shall be liable for the message if altered, changed or falsified. *************************************************************************