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.4 required=5.0 tests=SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 7BFF0BC6B for ; Wed, 7 Mar 2007 12:43:32 +0100 (CET) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.169]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l27BhV7H030595 for ; Wed, 7 Mar 2007 12:43:32 +0100 Received: by ug-out-1314.google.com with SMTP id k3so499140ugf for ; Wed, 07 Mar 2007 03:43:31 -0800 (PST) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer:sender; b=Qp6LwKufoPvMvuY5S3uwM0MBd57pcoy52BqqsfC+w5T8JZGl9EZmpc4G4WGvFri9pn97JOlVa5YhUgD47/qxGSNz8Xeys5eNpC6yWRvwBVacpiI/XPhceUjpNJHvS6ThxRLFaU0Sx92Q0mju50n/IroAU38BN+SmdYREkSaB7T8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer:sender; b=T9GWl8Prw/VmA2DDjG89h1dWFab5EfoQAiFMYsLRTrOuCPoheOhPc8uDibytxgtZuL5w70AzROXJNpX5hwGX3ezIlosZhBdKBk5qUasj9B2NyT0Pfp6ObQtKE0vRjvMx0Bb6dn3SyxbkeZUVdOtyRzq7pdLhQiBM+nSDtyO64OE= Received: by 10.67.98.9 with SMTP id a9mr4148146ugm.1173267811462; Wed, 07 Mar 2007 03:43:31 -0800 (PST) Received: from ?192.168.1.100? ( [84.59.24.136]) by mx.google.com with ESMTP id y2sm428892mug.2007.03.07.03.43.27; Wed, 07 Mar 2007 03:43:30 -0800 (PST) In-Reply-To: <70DC8A37-C742-405E-83E4-2367664717F5@vub.ac.be> References: <70DC8A37-C742-405E-83E4-2367664717F5@vub.ac.be> Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <5AD3975A-FE1C-460B-A429-55B5E22174F4@cs.uni-sb.de> Cc: Caml List Content-Transfer-Encoding: 7bit From: Christian Lindig Subject: Re: [Caml-list] Format module for C-style syntax Date: Wed, 7 Mar 2007 12:41:05 +0100 To: Bruno De Fraine X-Mailer: Apple Mail (2.752.3) Sender: Christian Lindig X-j-chkmail-Score: MSGID : 45EEA563.001 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 45EEA563.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; lindig:01 lindig:01 c-style:01 syntax:01 c-style:01 syntax:01 wadler:01 subset:01 caml-list:01 purely:02 functional:02 uni-sb:03 module:03 module:03 src:94 > Has anybody used the Format module for pretty-printing C-style > syntax? After reading the documentation ("Using the Format > module"), I cannot get it to line up the braces in a manner that is > convential for such a syntax. Here is an alternative: I am using the purely functional pretty printer suggested by Wadler for emitting a subset of C. You can find the pretty printer itself, as well as the pretty printer for C here: http://quest-tester.googlecode.com/svn/trunk/src/pretty.nw http://quest-tester.googlecode.com/svn/trunk/src/ppcee.nw -- Christian