From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id D6FB1BB9C for ; Tue, 22 Nov 2005 23:34:38 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jAMMYcx8030920 for ; Tue, 22 Nov 2005 23:34:38 +0100 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 XAA23225 for ; Tue, 22 Nov 2005 23:34:37 +0100 (MET) Received: from smtp.cegetel.net (217-19-192-72.dti.cegetel.net [217.19.192.72]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jAMMYb0w000883 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Tue, 22 Nov 2005 23:34:37 +0100 Received: from [192.168.144.2] (84-4-34-78.adslgp.cegetel.net [84.4.34.78]) by smtp.cegetel.net (Postfix) with ESMTP id 25DE9235BFB; Tue, 22 Nov 2005 23:34:33 +0100 (CET) Message-ID: <43839CF1.3050403@univ-savoie.fr> Date: Tue, 22 Nov 2005 23:34:25 +0100 From: Christophe Raffalli User-Agent: Mozilla Thunderbird 1.0.7 (X11/20051017) X-Accept-Language: fr, en MIME-Version: 1.0 To: Alessandro Baretta Cc: Hendrik Tews , Ocaml Subject: Re: [Caml-list] Camlp4 in a Unix pipe References: <437C91B0.9030507@barettadeit.com> <43834A5C.3050109@barettadeit.com> In-Reply-To: <43834A5C.3050109@barettadeit.com> X-Enigmail-Version: 0.93.0.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigB023DDA308C146BF8A1588F1" X-Miltered: at concorde with ID 43839CFE.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 43839CFD.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 caml-list:01 camlp:01 baretta:01 hendrik:01 tews:01 baretta:01 barettadeit:01 stdout:01 camlp:01 preprocess:01 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enigB023DDA308C146BF8A1588F1 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Alessandro Baretta a =E9crit : > Hendrik Tews wrote: >=20 >> Alessandro Baretta writes: >> >> Short of writing my own Pr_stdout module, is there any way to achie= ve >> the result of interactively getting camlp4 to preprocess some code = and >> print it back to stdout? >> cat - | camlp4 pa_o.cmo pr_r.cmo -impl - >=20 >=20 > Cool command line! How did you discover the '-' option? As far as I can= > see it is not documented. >=20 this is traditional, "-" replaces a filename by stdin or stdout depending upon the context ... so it is always worth a try !! > Alex >=20 > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs --------------enigB023DDA308C146BF8A1588F1 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (GNU/Linux) Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org iQIVAwUBQ4Oc+JEBCSatcik9AQL+cxAAsCi61Rtn//jLvRB5sG2qrTaa66VoSwIb YMmayCCgLQZLlkPXvHJCoJ0VlUCFTGQiwylG94fIe4O/N0eDCw0ng6W9uwhXWJFo EINssnJLZ68ZFYlBo7ynv1uGQPNA+WM9NYTvQbeA69w8SC4p5Ip0nTewV7QPV/X8 A5s6zE2mBMRHTY7g/BC4skYQTLJuCL6bMgwe93Q0L1mXWFeCfEgr2zxvxMA8+T8W gYlfB5sVxoaX+w35q4l2+44z1f7aOJDxgvjPTRaqpULZepQ0Q/i8UCtJbcurubCT HnS8uXF1DMVlsFE1WdaW4sYrkXG7NGGI41aZwZA6QEMNI9Dm9MAha0HOAITc9qoX CT5ZjKB8RSEcABTNHRmLU2xkEXOfwJksjs2dKXRXp/h+wTFFUcH9coB15eqN/ZEK NHQ2uP2C66X5l5yuZSNN3ZpJlKiWZWdwaiMG227hoq5kXVX8SrXT9rko9p5S3jMt JeUUdr5RcGWaCQKM9cgaFNteoI4Lufrwv+ElTAxnfdkSHXfS/SC203SLnzLqjBgc ZJze2MYFpN77zlctynWoTISoJe4SJFD108FrtQFOSI7q5LIJHj3NRGNiNTSAZJ/I kS43LXbfWxE586O3LqEHIKllTlM8vTXtvp6q2J5HujQq3vyu5SJuBcHliLhZpxcO /eCUItrTOcw= =4P5j -----END PGP SIGNATURE----- --------------enigB023DDA308C146BF8A1588F1--