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.1 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id B8E3EBC6B for ; Sat, 23 Jun 2007 18:09:48 +0200 (CEST) Received: from wa-out-1112.google.com (wa-out-1112.google.com [209.85.146.180]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5NG9lTu010234 for ; Sat, 23 Jun 2007 18:09:48 +0200 Received: by wa-out-1112.google.com with SMTP id m34so1370623wag for ; Sat, 23 Jun 2007 09:09:46 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=HCS56jUS9AbcQVdcsz6imUuNXfMdy7LuJzbUQQUX8T5nQ7v1La1v1myxWUPsYVlXFkgR5DaV5n9N20o2p8UmWEvFR7Crn3rOqOH+UOZaZHIvAlwrNsa8x9op3jROqzPqIBQ5MNTnTYH0OfXcrmB085RcJLyLgyeEN+PP+yr7hWI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=EoM5ZULi+AKIFaAgpgG1YbduG6qD7a3bssili4moXE6hSJ1grvdHJtDcThXqKdCOYxA/ZgxrRHYc/N1UYEtzBcRW7zYS9lpGfU5UApdY4rxASqasLxZYonsFm1AuUmgSWwAlKwkpYGwQRDzbZrgdgv3U+3RcLiojwARSdiEXOf8= Received: by 10.114.13.1 with SMTP id 1mr3888716wam.1182614986384; Sat, 23 Jun 2007 09:09:46 -0700 (PDT) Received: by 10.114.181.8 with HTTP; Sat, 23 Jun 2007 09:09:46 -0700 (PDT) Message-ID: Date: Sat, 23 Jun 2007 18:09:46 +0200 From: "Nicolas Pouillard" To: caml-list@inria.fr Subject: Re: [Caml-list] Camlp4 question on type declarations In-Reply-To: <20070614053803.GA20489@stirner.roentgeninstitut.de> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20070614053803.GA20489@stirner.roentgeninstitut.de> X-j-chkmail-Score: MSGID : 467D45CB.000 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at concorde with ID 467D45CB.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; camlp:01 params:01 node:01 node:01 syntax:01 wrote:01 caml-list:01 caml-list:01 ast:02 ast:02 declaration:02 construct:02 equivalence:03 pattern:04 declarations:04 On 6/14/07, Christian Stork wrote: > I'd like to construct a quotation that acts as the following pattern. > > Ast.StTyp (_, (Ast.TyDcl (_, name, params, t, _))) The TyDcl node is the only node that does not have a syntax equivalence. Of course you can have a complete type declaration in a quotation but holes cannot be used everywhere, so you have to use the node directly. -- Nicolas Pouillard