caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Michel Mauny <Michel.Mauny@inria.fr>
To: caml-list@inria.fr
Subject: [Caml-list] Camlp4/OCaml
Date: Fri, 17 May 2002 09:54:40 +0200	[thread overview]
Message-ID: <20020517075440.GA24900@quincy.inria.fr> (raw)
In-Reply-To: <20020516214412.K2924@verdot.inria.fr>

Dear all,

I'd like to stop this thread for several reasons:

  1. the *really* bad idea here is to implicate (use?) OCaml users in
     this debate where personal issues overcome technical ones;

  2. There is no such decision, official or not. Daniel's message reflects
     only his personal point of view (and current mood).

  3. Daniel, I am sorry, but you are not the one who decides what is
     official and what is not.

Daniel, if you want to reply to this message, please do it to me
personally.

OCaml users and friends, if and when this problem that we (INRIA
folks) are facing will get solved, you'll be notified if the solution
changes something in the OCaml tree and/or the development model. If
you hear nothing about that, consider it as being good news.

Sincere apologies for this noise.

Sincerely,

-- Michel Mauny, (as head of the INRIA Cristal group)

Daniel de Rauglaudre wrote/écrivait (May 16 2002, 09:44PM +0200):
> On Thu, May 16, 2002 at 03:39:45PM -0400, John Prevost wrote:
> 
> > Really?  Why did someone decide that inclusion was a bad idea?
> 
> I say it. Camlp4 and the attempts to improve the syntax have been
> considered *officially* by the OCaml team as a "not serious" work and a
> "loss of time". As I worried about that, and asked for more information,
> it has been confirmed by the team, moreover with several personnal attacks.
> 
> Sorry for this "human" problem, but I cannot create and have
> imagination in my work when I am considered like that.
> 
> Camlp4 continues and I made many changes, but in the previous CVS
> distribution, directory "camlp4", no more "ocaml/camlp4". It will
> be distributed normally just after OCaml releases and perhaps with
> intermediate releases.
> 
> -- 
> Daniel de RAUGLAUDRE
> daniel.de_rauglaudre@inria.fr
> http://cristal.inria.fr/~ddr/
> -------------------
> 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

-- 
Michel Mauny
Michel.Mauny@inria.fr
-------------------
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


  parent reply	other threads:[~2002-05-17  7:48 UTC|newest]

Thread overview: 39+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-05-15  9:13 [Caml-list] Generating C stubs Jérôme Marant
2002-05-15  9:49 ` Jocelyn Sérot
2002-05-15 12:17   ` Jérôme Marant
2002-05-15 12:38     ` Remi VANICAT
2002-05-15 20:19       ` Jérôme Marant
2002-05-16  7:06     ` Florian Hars
2002-05-16  7:34       ` Markus Mottl
2002-05-16 19:13         ` [Caml-list] Camlp4/OCaml [was: Generating C stubs] Daniel de Rauglaudre
2002-05-16 19:27           ` Chris Hecker
2002-05-16 19:39           ` John Prevost
2002-05-16 19:44             ` Daniel de Rauglaudre
2002-05-16 20:28               ` Chris Hecker
2002-05-16 21:38               ` Markus Mottl
2002-05-17  0:31                 ` Alessandro Baretta
2002-05-17 14:32                   ` Pierre Weis
2002-05-17 15:31                     ` Markus Mottl
2002-05-17 21:18                       ` Pierre Weis
2002-05-17 21:37                         ` Dave Mason
2002-05-18  9:46                           ` Pierre Weis
2002-05-21 17:51                             ` Diego Olivier Fernandez Pons
2002-05-19 11:31                         ` Markus Mottl
2002-05-21 17:10                           ` james woodyatt
2002-05-20  1:18                         ` [Caml-list] Tail recursion detection John Max Skaller
2002-05-21  7:46                           ` Alain Frisch
2002-05-21 11:35                             ` Benedikt Grundmann
2002-05-21 15:12                             ` John Max Skaller
2002-05-22 12:44                               ` Noel Welsh
2002-05-22 16:47                                 ` John Max Skaller
2002-05-21  8:57                           ` Noel Welsh
2002-05-20 22:59                     ` [Caml-list] Camlp4/OCaml [was: Generating C stubs] Alessandro Baretta
2002-05-16 23:22               ` [Caml-list] Re: Camlp4/OCaml Christopher Quinn
2002-05-17  7:02                 ` Daniel de Rauglaudre
     [not found]               ` <Pine.BSF.4.40.0205170357340.11758-100000@bpr.best.vwh.net>
2002-05-17  7:09                 ` [Caml-list] Camlp4/OCaml [was: Generating C stubs] Daniel de Rauglaudre
2002-05-17  7:54               ` Michel Mauny [this message]
2002-05-17  8:05                 ` [Caml-list] Camlp4/OCaml Daniel de Rauglaudre
2002-05-16 14:09 ` [Caml-list] Generating C stubs Benedikt Grundmann
2002-05-16 16:37 ` Jeff Henrikson
2002-05-16 16:31   ` Benedikt Grundmann
2002-05-17  5:59     ` Jeff Henrikson

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=20020517075440.GA24900@quincy.inria.fr \
    --to=michel.mauny@inria.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).