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=0.9 required=5.0 tests=AWL,SPF_NEUTRAL 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 4F708BC69 for ; Mon, 24 Dec 2007 14:55:51 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAAJJb0dC+VytkGdsb2JhbACQDgEBAQEHBAQJGweUKINT X-IronPort-AV: E=Sophos;i="4.24,203,1196636400"; d="scan'208";a="20664548" Received: from ug-out-1314.google.com ([66.249.92.173]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Dec 2007 14:55:50 +0100 Received: by ug-out-1314.google.com with SMTP id k40so1352294ugc.18 for ; Mon, 24 Dec 2007 05:55:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:user-agent:mime-version:to:subject:content-type:content-transfer-encoding:sender; bh=LK1JT7CAcbED2cyUtKyvK+M8KZNrvzzEn8/wODW/DRA=; b=RpqX2zDBH8HkN9uCHQOqmv7cq607Hg1V9MbTUg9ofL+pEgPGl6svokikpQqW9qd8cFtTpXBMRUk5FbL5HkEeQg1s/Sof9Bo46pP6WGqf81xNxVsNMKV3unpHFqYXg8U4b1yjj5Pl8O4oG7YXJ5/BCV3zcLILICf0qN8SJt/NeEo= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:subject:content-type:content-transfer-encoding:sender; b=FOEw7T0Z2pqTQ8vsDkyl8AxaWsHALUt+Q5IMROr/4h6xLvGUv/HRvJ7gppfeuUf93ZZoclef0AD1xUnicpX/DrHQFoc2XlSFFPsdsTsDe740/TDQOy0kKIrqa7LLUWjswOhSDQtKoTQw/YgKs0a4zJnRRrNz9SrKUlSEW+JF/10= Received: by 10.66.248.5 with SMTP id v5mr3105116ugh.17.1198504550410; Mon, 24 Dec 2007 05:55:50 -0800 (PST) Received: from ?192.168.0.3? ( [87.88.165.197]) by mx.google.com with ESMTPS id e1sm20297033ugf.34.2007.12.24.05.55.48 (version=SSLv3 cipher=RC4-MD5); Mon, 24 Dec 2007 05:55:48 -0800 (PST) Message-ID: <476FBA62.9080600@lix.polytechnique.fr> Date: Mon, 24 Dec 2007 14:55:46 +0100 From: Arnaud Spiwack User-Agent: Thunderbird 2.0.0.9 (Windows/20071031) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: OCamlduce + camlp4 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Sender: Arnaud Spiwack X-Spam: no; 0.00; lix:01 ocamlduce:01 camlp:01 ocamlduce:01 camlp:01 monadic:01 syntax:01 syntax:01 threads:01 arnaud:01 arnaud:01 alain:01 modules:02 quotations:03 handles:03 Good day, I was playing around with OCamlduce and camlp4. (for those who are interested, I'm trying to write ocsigen+eliom website modules using OCamlduce (for xhtml generation) and pa_monad (to simplify my code with respect to monadic threads which are central in ocsigen)). There I discovered that I couldn't find a camlp4 syntax file for OCamlduce (to be able to extend OCamlduce's syntax). In my case, I'd like an equivalent to camlp4orf (original syntax, but revised-syntax quotations) that handles OCamlduce syntax (though, original-syntax quotation would require little to change, thus would be all right). Does anybody know whether it already exists ? (maybe Alain or Nicolas ;) ). If it does not, I shall consider making one myself, but I will have to know better of the insides of OCamlduce. Regards Arnaud Spiwack