From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p2VGEGSl023684 for ; Thu, 31 Mar 2011 18:14:16 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgoBAHKnlE2AVGeKe2dsb2JhbACYUY0VAQEWJgUgtnqIbIVrBJBmBg X-IronPort-AV: E=Sophos;i="4.63,276,1299452400"; d="scan'208";a="79562372" Received: from mail-hub-1.cs.cornell.edu (HELO exch-hub1.cs.cornell.edu) ([128.84.103.138]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-MD5; 31 Mar 2011 18:14:09 +0200 Received: from [128.84.98.179] (128.84.98.179) by mail.cs.cornell.edu (128.84.103.140) with Microsoft SMTP Server (TLS) id 8.3.137.0; Thu, 31 Mar 2011 12:14:05 -0400 Message-ID: <4D94A84F.9010108@cs.cornell.edu> Date: Thu, 31 Mar 2011 12:14:07 -0400 From: Jean-Baptiste Jeannin User-Agent: Thunderbird 2.0.0.24 (X11/20100623) MIME-Version: 1.0 To: CC: Laurie Goffinon , Dexter Kozen Content-Type: text/plain; charset="ISO-8859-1"; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] Camlp4 with different backend Hello, We are trying to use camlp4 to replace the front-end (lexer / parser up to building the Abstract Syntax Tree) of an experimental interpreter for a language close to OCaml. However we would like to keep our backend (the interpreter itself), as it behaves very differently from a normal interpreter, and this behavior cannot be translated into OCaml's code easily (or even at all). However it seems that using camlp4, we can only use OCaml's own backend. In the camlp4 documentation, I could not find any way of getting the abstract syntax tree to feed it to another interpreter. Is this true or could camlp4 serve our purpose? Thank you, Jean-Baptiste Jeannin CS department, Cornell University