Re: Caml comme langage de macro

[gurr@pop.mrs.med.ge.com (David Gurr)]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2883 bytes --]


> From Pierre.Weis@inria.fr Fri Sep  3 10:02:11 1999
> Return-Path: <Pierre.Weis@inria.fr>
> Received: from thomas3.ge.com by mrs.med.ge.com (SMI-8.6/SMI-SVR4)
> 	id KAA16039; Fri, 3 Sep 1999 10:02:10 -0700
> Received: from ns.ge.com (ns-i.ge.com [10.35.39.24])
> 	by thomas3.ge.com (8.9.3/8.9.3) with ESMTP id NAA13044
> 	for <gurr@mrs.med.ge.com>; Fri, 3 Sep 1999 13:01:56 -0400 (EDT)
> Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
> 	by ns.ge.com (8.9.3/8.9.3) with ESMTP id NAA21559
> 	for <gurr@mrs.med.ge.com>; Fri, 3 Sep 1999 13:01:55 -0400 (EDT)
> Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
> 	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id SAA26497;
> 	Fri, 3 Sep 1999 18:49:39 +0200 (MET DST)
> Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA07277 for caml-redistribution; Fri, 3 Sep 1999 18:43:45 +0200 (MET DST)
> 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 OAA29343 for <caml-list@pauillac.inria.fr>; Fri, 3 Sep 1999 14:48:24 +0200 (MET DST)
> Received: from nestor (tntstet7-99.abo.wanadoo.fr [164.138.90.99])
> 	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id OAA18687
> 	for <caml-list@inria.fr>; Fri, 3 Sep 1999 14:48:17 +0200 (MET DST)
> Received: from localhost (nestor) [127.0.0.1] (mt)
> 	by nestor with esmtp (Exim 2.05 #1 (Debian))
> 	id 11Megl-0000MH-00; Thu, 2 Sep 1999 23:46:35 +0200
> X-Mailer: exmh version 2.0.2 2/24/98 (debian) 
> To: caml-list@inria.fr
> Subject: Caml comme langage de macro
> Mime-Version: 1.0
> Content-Transfer-Encoding: quoted-printable
> Date: Thu, 02 Sep 1999 23:46:35 +0300
> From: Martin Quinson <mquinson@zeppelin-cb.de>
> Message-Id: <E11Megl-0000MH-00@nestor>
> Sender: Pierre.Weis@inria.fr
> X-Lines: 36
> Status: RO
> Content-Type: text/plain; charset="iso-8859-1"
> Content-Length: 788
> 
> Hello, all !
> 
> I've seen a lot of doc about accessing C functions from caml, I've seen the 
> excelent  work of Fabrice Le Fessant in efuns about using caml as language for 
> macros (as lisp in emacs) in a caml programm, but what can I do if I want to 
> use caml as macro language, and if I'm fool enought to make my programm in C 
> (or what ever) ?
> 

there is a generic preprocessor in the camlp4 system.  You can use it to
do genric macro expansion.  I believe that there is an example of
this in the MetaPRL distribution.

> Thanks for any tips...
> 
> 
> Bonjour à tous !
> 
> J'ai vu de nombreuses doc sur comment appeler des fonctions C depuis caml, 
> j'ai vu l'excellent travail de Fabrice Le Fessant sur efuns, par exemple, pour 
> utiliser caml comme langage de macro dans un programme en caml, mais que faire 
> si je veux utiliser caml comme langage de macro dans un programme C ?
> 
> Merci de me consacrer du temps pour me repondre....
> 
> Bye, Mt.
>