From: Olivier Montanuy <montanuy@lannion.cnet.fr>
To: David Monniaux <David.Monniaux@ens-lyon.fr>
Cc: caml-list@inria.fr
Subject: Re: pattern matching
Date: Tue, 6 May 1997 16:03:02 +0200 [thread overview]
Message-ID: <336F3968.B7CF7F8@lannion.cnet.fr> (raw)
In-Reply-To: <Pine.GSO.3.95.970501152245.9972A-100000@monplaisir>
> 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
next prev parent reply other threads:[~1997-05-06 16:59 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-05-01 13:34 stderr David Monniaux
1997-05-06 10:37 ` stderr Christian Boos
1997-05-11 15:53 ` stderr Dave Mason
1997-05-13 16:32 ` stderr Pierpaolo Bernardi
1997-05-06 14:03 ` Olivier Montanuy [this message]
1997-05-06 19:59 ` pattern matching Stefan Monnier
-- strict thread matches above, loose matches on Subject: below --
1996-09-05 17:19 Pattern Matching Ernesto Posse
1996-09-06 8:17 ` Pierre Weis
1996-09-06 9:20 ` Frank Christoph
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=336F3968.B7CF7F8@lannion.cnet.fr \
--to=montanuy@lannion.cnet.fr \
--cc=David.Monniaux@ens-lyon.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox