caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Diego Olivier Fernandez Pons <Diego-Olivier.FERNANDEZ-PONS@cicrp.jussieu.fr>
To: caml-list@inria.fr
Subject: [Caml-list] barre dans le filtrage de motifs
Date: Thu, 29 Aug 2002 13:33:09 +0200 (DST)	[thread overview]
Message-ID: <Pine.A32.3.95.1020829132946.105384C-100000@ibm1.cicrp.jussieu.fr> (raw)
In-Reply-To: <Pine.A32.3.95.1020829115418.108094B-101000@ibm1.cicrp.jussieu.fr>

    Bonjour,

Andreas Rossberg m'a demandé de quand datait la barre optionnelle
devant le premier terme d'un filtrage de motif et je n'ai pas su
lui répondre.

let f = function
  | 0 -> 0
  | ...

Tout au plus ai-je pu constater que dans caml-light 0.74 elle ne
figurait pas encore. Le registre des version d'Objective Caml (fichier
Changes) ne semble pas l'indiquer non plus, ou du moins je ne l'ai pas
vu.

        Diego Olivier

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


      reply	other threads:[~2002-08-29 11:36 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-08-27 11:20 [Caml-list] intersecting huge integer sets Tibor Simko
2002-08-27 11:52 ` Markus Mottl
2002-08-27 12:09   ` Diego Olivier Fernandez Pons
2002-08-27 12:06 ` Yaron M. Minsky
2002-08-27 12:12   ` Markus Mottl
2002-08-28 12:29     ` Tibor Simko
2002-08-29 10:13 ` Diego Olivier Fernandez Pons
2002-08-29 11:33   ` Diego Olivier Fernandez Pons [this message]

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=Pine.A32.3.95.1020829132946.105384C-100000@ibm1.cicrp.jussieu.fr \
    --to=diego-olivier.fernandez-pons@cicrp.jussieu.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;
as well as URLs for NNTP newsgroup(s).