From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 6A173BC6B for ; Tue, 6 Nov 2007 00:22:57 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAACs1L0fVpUAUmGdsb2JhbACOegEBAQEHAggRFg X-IronPort-AV: E=Sophos;i="4.21,374,1188770400"; d="scan'208";a="18970107" Received: from mail.gmx.net ([213.165.64.20]) by mail4-smtp-sop.national.inria.fr with SMTP; 06 Nov 2007 00:22:57 +0100 Received: (qmail invoked by alias); 05 Nov 2007 23:22:56 -0000 Received: from e178110222.adsl.alicedsl.de (EHLO [192.168.2.177]) [85.178.110.222] by mail.gmx.net (mp057) with SMTP; 06 Nov 2007 00:22:56 +0100 X-Authenticated: #6007662 X-Provags-ID: V01U2FsdGVkX18JGPcq7yMJ8LoqjZqSWB9fV5AbUSnrRPvLUmKlSF 6xOfRxwEvBUe5D Mime-Version: 1.0 (Apple Message framework v752.3) Content-Transfer-Encoding: 7bit Message-Id: <1F545F4E-9723-4864-84E9-C93E2750DE46@gmx.de> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: caml-list@yquem.inria.fr From: Jan Rehders Subject: Reloaded syntax documentation? Date: Tue, 6 Nov 2007 00:22:54 +0100 X-Mailer: Apple Mail (2.752.3) X-Y-GMX-Trusted: 0 X-Spam: no; 0.00; syntax:01 syntax:01 lib:01 camlp:01 camlp:01 wiki:01 partial:01 revised:02 constructs:02 sexy:94 install:05 manual:06 path:07 profiler:08 problematic:08 Hi, > As for original vs. revised syntax, I'm partial to the original > syntax, but only because that's how I learned. The error messages it > produces are problematic, however. I do like the "reloaded" syntax > included with 3.10 that is basically original syntax with "end" after > various constructs. this inspired me to dig a bit in $install_path/lib/camlp4. Several file names sound pretty interesting (mostly the reloaded syntax but also stuff with sexy names like CamlP4ExceptionTracer, CamlP4Profiler etc.). I had a look in the manual and the camlp4 wiki at [1] but could not found too much documentation about them. Neither could I figure out how to convert a regular syntax file into reloaded syntax using camlp4, there appears to be no printer for it. So am I stuck to dig into the sources? Is there any documentation available for the reloaded syntax and the other stuff in the camlp4 directory? greetings, Jan