From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA15413 for caml-redistribution; Tue, 6 May 1997 18:59:44 +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 SAA15335 for ; Tue, 6 May 1997 18:52:31 +0200 (MET DST) Received: from xr3.atlas.fr (xr3.atlas.fr [194.51.9.5]) by nez-perce.inria.fr (8.8.5/8.7.3) with ESMTP id SAA15905 for ; Tue, 6 May 1997 18:52:29 +0200 (MET DST) X400-Received: by /PRMD=INTERNET/ADMD=ATLAS/C=FR/; Relayed; Tue, 6 May 1997 16:58:28 +0200 X400-Received: by mta xr3.atlas.fr in /PRMD=INTERNET/ADMD=ATLAS/C=FR/; Relayed; Tue, 6 May 1997 16:58:28 +0200 X400-Received: by /ADMD=ATLAS/C=FR/; Relayed; Tue, 6 May 1997 16:58:24 +0200 X400-Received: by /PRMD=cnet/ADMD=atlas/C=fr/; Relayed; Tue, 6 May 1997 16:03:02 +0200 Date: Tue, 6 May 1997 16:03:02 +0200 X400-Originator: montanuy@lannion.cnet.fr X400-Recipients: non-disclosure:; X400-MTS-Identifier: [/PRMD=cnet/ADMD=atlas/C=fr/;862927384@x400.lannion.cnet.fr] X400-Content-Type: P2-1984 (2) Content-Identifier: Re: pattern matc Alternate-Recipient: Allowed From: Olivier Montanuy Message-ID: <336F3968.B7CF7F8@lannion.cnet.fr> To: David Monniaux Cc: caml-list@inria.fr References: Subject: Re: pattern matching Organization: FT/CNET/LAA X-Mailer: Mozilla 3.01Gold (X11; I; Linux 2.0.27 i586) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis > Par ailleurs, il arrive quelquefois que l'on fasse volontairement des > pattern-matching incomplets, parce que le programme est tel que les > cas non fournis ne peuvent arriver. Un programme, ca evolue, et ce qui est vrai aujourd'hui risque de ne plus l'etre si une autre personne doit retoucher le code. OCAML est ou sera utilise dans des codes ecrits par plusieurs personnes, il ne me parait pas judicieux de donner a quiconque un moyen de supprimer certains warning en douce. On fait pas du C++. match machin-bidule with case_normal -> bof _ -> failwith "y a un bug" -- Olivier Montanuy FT/CNET/DES/GRL montanuy@lannion.cnet.fr