Re: Caml comme langage de macro

From: David Gurr (gurr@pop.mrs.med.ge.com)
Date: Thu Sep 16 1999 - 03:53:32 MET DST


Date: Wed, 15 Sep 1999 18:53:32 -0700
From: gurr@pop.mrs.med.ge.com (David Gurr)
Message-Id: <199909160153.SAA00440@swag.med.ge.com>
To: caml-list@inria.fr, mquinson@zeppelin-cb.de
Subject: Re: Caml comme langage de macro

> 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.
>



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:25 MET