From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <joelr1@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.0 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 D1802BC69
	for <caml-list@yquem.inria.fr>; Fri, 30 Mar 2007 16:02:14 +0200 (CEST)
Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.170])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2UE2ENl002194
	for <caml-list@inria.fr>; Fri, 30 Mar 2007 16:02:14 +0200
Received: by ug-out-1314.google.com with SMTP id k3so894425ugf
        for <caml-list@inria.fr>; Fri, 30 Mar 2007 07:02:13 -0700 (PDT)
DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed;
        d=gmail.com; s=beta;
        h=domainkey-signature:received:received:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer;
        b=Wlnkg958T+mAX7dyIVVo7q7Wza3HkPG+Hm22GGLKBiZLln4vpQ8tubb4YNmR8tghDaBSWiUxdfVZn7zVgOJHPzEkryX3ooqp9os0Fam3t1tr//H4VPU/jShl95q0jokGD124QB/DHL7WyNbVGjIIglkitMgikIjQqrXVNZq4qjU=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer;
        b=kyVuucs18ord8/vMYq1G0iOYWHU/AT7asQYB5XMlm9dGIOuwrmTIZTKasvAun1Fr5FQXWZuN1kKtXPxSLl5o8W4jLb9VZVoiKVPGEriS7BAx3exuIwI0AwmXG40ucFScdGrruqAQizVUHgbD2XtSiGk1v8LcVUK+mwNqA74onGY=
Received: by 10.82.113.6 with SMTP id l6mr3973602buc.1175263333261;
        Fri, 30 Mar 2007 07:02:13 -0700 (PDT)
Received: from ?192.168.1.34? ( [88.7.143.102])
        by mx.google.com with ESMTP id z37sm1434316ikz.2007.03.30.07.02.10;
        Fri, 30 Mar 2007 07:02:12 -0700 (PDT)
Mime-Version: 1.0 (Apple Message framework v752.3)
Content-Type: text/plain; charset=US-ASCII; format=flowed
Message-Id: <7DE6C068-8889-4A8E-9C98-66471DDD9878@gmail.com>
Cc: Francois.Pottier@inria.fr
Content-Transfer-Encoding: 7bit
From: Joel Reymont <joelr1@gmail.com>
Subject: Error location reporting in Menhir
Date: Fri, 30 Mar 2007 15:02:06 +0100
To: Caml List <caml-list@inria.fr>
X-Mailer: Apple Mail (2.752.3)
X-j-chkmail-Score: MSGID : 460D1866.001 on concorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3
X-Miltered: at concorde with ID 460D1866.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; parser:01 rhs:01 parsing:01 rhs:01 parsing:01 syntax:01 parser:01 syntax:01 semicolon:01 lexer:01 lexeme:01 rewrite:01 grammar:01 loc:03 loc:03 

I currently retrieve location like this during parser errors:

   let rhs_loc n = (Parsing.rhs_start_pos n, Parsing.rhs_end_pos n)

I then report it like this:

   let syntax_error s num =
     parser_error s (rhs_loc num)

In my grammar I report errors like this:

   | INPUT COLON input_decs error { syntax_error "Missing semicolon" 4 }

I don't do anything special in the lexer to adjust lexeme positions.

How do I rewrite my error reporting for Menhir?

	Thanks, Joel

--
http://wagerlabs.com/