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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 32920BC6B for ; Tue, 9 Oct 2007 23:41:17 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAANKRC0fAXQImh2dsb2JhbACOSQIBCAop X-IronPort-AV: E=Sophos;i="4.21,250,1188770400"; d="scan'208";a="2678447" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Oct 2007 23:41:17 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l99LfG9F024845 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 9 Oct 2007 23:41:16 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAMOSC0dC+Vypkmdsb2JhbACOSQIBAQcEBBMW X-IronPort-AV: E=Sophos;i="4.21,250,1188770400"; d="scan'208";a="17771887" Received: from ug-out-1314.google.com ([66.249.92.169]) by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Oct 2007 23:41:15 +0200 Received: by ug-out-1314.google.com with SMTP id m3so174491ugc for ; Tue, 09 Oct 2007 14:41:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:mime-version:content-transfer-encoding:message-id:content-type:to:from:subject:date:x-mailer; bh=4627WPiBNkuL2cKv67XKiP14Ztf6CI8Yf4yY65kF4cg=; b=RhD+S1YnOYSXZ3YiWP6x6vfgeCm5YA5mSE58/wJOcmzxrqq/nBZdt/9hV7oO6xQd/rR3UGk+BDDt0kgMQQvpTCtWnOu1MdIyhMvvJ7s13w1oRLXLMOwGt/rwhpimolG7ycPEJyA6rHo2dfue6830cO27gK1c8TgD4JNc/dSNuZQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:mime-version:content-transfer-encoding:message-id:content-type:to:from:subject:date:x-mailer; b=B3XVWW57M2jYMGhSb9HjMbtyIXIo5gQxxd9j+Z06QYjbURIIBAIGiRSq/PcrW0+l3fJDMLw5TjwQfFQCJifTbpcHyofyNtzz7iM2S+SibqEyKJ9q9Amtr/D6sZOJcZWHTkNMwxmdcIpzNHZh8H5PUAk7Ebhuc9trGjI8/vP4RRA= Received: by 10.66.240.12 with SMTP id n12mr1212526ugh.1191966075383; Tue, 09 Oct 2007 14:41:15 -0700 (PDT) Received: from ?192.168.1.33? ( [83.52.235.32]) by mx.google.com with ESMTPS id b23sm2332162ugd.2007.10.09.14.41.13 (version=SSLv3 cipher=OTHER); Tue, 09 Oct 2007 14:41:13 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v752.3) Content-Transfer-Encoding: 7bit Message-Id: <97183C23-C2CB-4915-B406-798B8ABB0E0D@gmail.com> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: Caml List From: Joel Reymont Subject: camlp4: From AST to shortcuts Date: Tue, 9 Oct 2007 22:41:14 +0100 X-Mailer: Apple Mail (2.752.3) X-Miltered: at discorde with ID 470BF57C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; camlp:01 camlp:01 ctyp:01 grep:01 int:01 int:01 ast:02 ast:02 declaration:02 figuring:02 loc:03 loc:03 debugging:03 initializer:05 extension:06 Suppose I'm debugging a camlp4 extension and get the following AST Ast.TyId (_loc, Ast.IdLid (_loc, "int")) what's the best way of figuring out that this correspods to this bit? <:ctyp< int >> Do I grep the sources and if so what files? This is a rather simple example but I'm trying to teach myself to fish. Ultimately, I want to add initializer code and fields to the AST resulting from a class declaration. Thanks, Joel -- http://wagerlabs.com