caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>
To: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>, caml-list@inria.fr
Subject: Re: [Caml-list] camlp4 + another preprocessor
Date: Thu, 29 Nov 2001 03:31:32 +0100	[thread overview]
Message-ID: <3C059E04.64880847@univ-savoie.fr> (raw)
In-Reply-To: <20011129023913.A4302@verdot.inria.fr>

Daniel de Rauglaudre a écrit :
> 
> Salut,
> 
> > In fdact I failed to pipe ! when I do pipe, both preprocessor loops
> > ? I think camlp4o misses then end of the file. I do not understand !
> 
> Ça m'étonnerait que le "pipe" marche. Le préprocesseur est appelé en
> ajoutant le nom du fichier à la commande que tu mets. Alors si c'est:
>       ocamlc -pp "sed ... | camlp4o" toto.ml
> Ça exécutera:
>       sed ... | camlp4o toto.ml

ça pourrait marcher avec camlp4o -impl - qui lit l'entré standard 
(c'est pas documenté ? mais ça semble marcher ?)

> > I will move to one preprocessor, using a file config.ml to store the value of
> > the constants
> 
> Ou alors tu peux ajouter tes constantes dans une extension de syntaxe ou
> une quotation de Camlp4 et ça les remplacera syntaxiquement.
 
> > it remains the problem of ?? versus ? in stream patern ... why this syntax
> > changed ?
> 
> Oubli. Ça avait été changé de ? en ?? à cause des labels, mais je ne l'avais
> pas fait dans Camlp4. C'est corrigé dans la version courante.

Bon je pourrai (si je savais le faire) 
retirer le mail que je viens d'envoyer à la caml-list à ce sujet
car je ne m'en était pas aperçu dans un premier temps ...

En fait le pipe bouclait à cause de l'erreur ! Je pense que s'il il n'y a
pas d'erreurs,   ocamlc -pp "sed ... | camlp4o -impl -" toto.ml marche
mais que dès qu'il y a une erreur qqchose bloque tout ...

Maintenant ce n'est pas forcement idiot de vouloir faire du sed (ou
autre-chose)
pour des choses simples puis du camlp4 ... donc ocamlc et ocamlopt devrait
peut-être 
accepter plusieurs optinos -pp ... si c'est simple à implanter avec qqchose de 
raisonnable pour les messages d'erreurs ...

En tout cas, pour mon cas particulier, je n'utilise plus que camlp4 avec un
fichier
config.ml généré par le Makefile.


-- 
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr


  parent reply	other threads:[~2001-11-29 13:06 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-09-14 12:18 [Caml-list] Ensemble release 1.31 Ohad Rodeh
2001-11-28  0:53 ` [Caml-list] camlp4 + another preprocessor Christophe Raffalli
2001-11-28  9:38   ` Daniel de Rauglaudre
     [not found]     ` <3C05813F.52D9BE90@univ-savoie.fr>
     [not found]       ` <20011129023913.A4302@verdot.inria.fr>
2001-11-29  2:31         ` Christophe Raffalli [this message]
2001-11-29  9:10           ` Daniel de Rauglaudre

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=3C059E04.64880847@univ-savoie.fr \
    --to=christophe.raffalli@univ-savoie.fr \
    --cc=caml-list@inria.fr \
    --cc=daniel.de_rauglaudre@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).