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=2.3 required=5.0 tests=AWL,DNS_FROM_RFC_POST, 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 21AFFBC54 for ; Wed, 7 Oct 2009 18:20:10 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am4CAFNczErRVdS/kGdsb2JhbACaPj8BAQEBCQkMBxMDrE4yhlSIRAEDAwWEJQSBVmWGDQ X-IronPort-AV: E=Sophos;i="4.44,519,1249250400"; d="scan'208,223";a="37778197" Received: from mail-vw0-f191.google.com ([209.85.212.191]) by mail1-smtp-roc.national.inria.fr with ESMTP; 07 Oct 2009 18:20:09 +0200 Received: by vws29 with SMTP id 29so2824964vws.15 for ; Wed, 07 Oct 2009 09:20:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:date :x-google-sender-auth:message-id:subject:from:to:content-type; bh=2delWFs9N+gO9sut+avW5i4lF/3j7Dutimhklb/pHRY=; b=uFbapfzhZNOanX2PeQ5pFxQfHVV3ElaoAVwDzij4O2KjZZhD+KhVp++Bx7nqS9fj6/ 6zWtZ5KP6wl6MQrV/vPWSBwE7BxPzQZnICbmGb5e4Azt5Kwlx58jOGJ8Txw8nDT0UWw1 EL3nigRuif+dx5MyFPNxjucv+RX4tWDjmBXtU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=fNCXR3SBTgmUKBpvx7dD0ANi4iG3Lo61u3wJKH7b6jVSX6vTFc19ycI1VqmjidVNnQ 2vGdmJyMW3qkjrgz6Jn+Hc8s58usEgNL8K/6WUSTzM/xRktRBoHiHIpQ2sLkEkXRRcnA PfyO/YH3Bh4T/yEZ4ft6/cPqvY+Q1Aa70XHnA= MIME-Version: 1.0 Sender: aaron678@gmail.com Received: by 10.220.14.33 with SMTP id e33mr156704vca.39.1254932408423; Wed, 07 Oct 2009 09:20:08 -0700 (PDT) Date: Wed, 7 Oct 2009 12:20:08 -0400 X-Google-Sender-Auth: 37aff8311c07b586 Message-ID: Subject: camlp5/revised syntax questions From: Aaron Bohannon To: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Spam: no; 0.00; camlp:01 syntax:01 camlp:01 syntax:01 infix:01 notations:01 syntactic:01 syntactic:01 precedence:01 upenn:01 expression:02 ast:02 structures:02 revised:02 revised:02 >>From reading the camlp5 documentation, I've managed to write a syntax extension that adds a new expression starting with a distinct keyword, and it seems to work fine. However, if I want to experiment with infix notations, things get a little trickier. I need to specify it's precedence and associativity, of course. So, there is a list of syntactic structures on this page: http://pauillac.inria.fr/~ddr/camlp5/doc/htmlc/ast_transi.html 1) Where can I find the "level names" for each of these syntactic constructs, for use with BEFORE, LIKE, etc? Is that what the "Comment" column is for? 2) I am confused by the fact that this is a list is for the revised syntax. I think most people (including me) want to modify the original syntax. e.g., imagine that I want to modify the record update operator "<-" in the original syntax---I need to refer to it somehow, but it doesn't even appear in the list. - Aaron