From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 251A27ED26 for ; Tue, 5 Jun 2012 09:23:08 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtwCAEyzzU+NTDBjgWdsb2JhbAArGha0GiIBARYmJ4IZAQMCOk8LISUPAQQNGzSHfQMMAwcprRYNiU6KM4NagxYDlRuBD4lsh10 X-IronPort-AV: E=Sophos;i="4.75,716,1330902000"; d="scan'208";a="161364937" Received: from os.inf.tu-dresden.de ([141.76.48.99]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 05 Jun 2012 09:23:07 +0200 Received: from [2002:8d4c:3001:48:222:68ff:fe19:71d] (helo=blau.inf.tu-dresden.de) by os.inf.tu-dresden.de with esmtpsa (TLSv1:AES256-SHA:256) (Exim 4.77) id 1Sbo6a-0001op-IK for caml-list@yquem.inria.fr; Tue, 05 Jun 2012 09:23:06 +0200 Received: from tews by blau.inf.tu-dresden.de with local (Exim 4.72) (envelope-from ) id 1Sbo6a-0003qM-01 for caml-list@yquem.inria.fr; Tue, 05 Jun 2012 09:23:04 +0200 From: Hendrik Tews To: caml-list@yquem.inria.fr References: Date: Tue, 05 Jun 2012 09:23:03 +0200 In-Reply-To: (Hongbo Zhang's message of "Sat, 12 May 2012 12:21:52 -0400") Message-ID: <6xr4tuz0h4.fsf@blau.inf.tu-dresden.de> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Validation-by: tews@os.inf.tu-dresden.de Subject: Re: [Caml-list] some camlp4 documentations Hongbo Zhang writes: I have read camlp4 source tree for quite a long time, and compiled it here http://www.seas.upenn.edu/~hongboz/hongbo_zhang_files/temp.pdf It's still preliminary, and contains many errors. The current camlp4 documentation seems to be at http://brion.inria.fr/gallium/index.php/Camlp4 It would be nice, if you could put your findings there. Or if you could place links to your document on the relevant pages. Long ago I compiled a list of undocumented camlp4 features (now at http://askra.de/software/ocamlp5/camlp5-undoc.html), some points there do still apply. Bye, Hendrik