CamlP4 lexer problem

CamlP4 lexer problem

[dream.designer]

[-- Attachment #1: Type: text/plain, Size: 864 bytes --]

Hello everyone.

I'm trying to write a syntax extension that introduces two new tokens "[%"
and "%]". But I'm getting a syntax error if token ")" follows token "%]".
Could anybody help me please?

Here's the minimal syntax extension code that reproduces the issue:
===================================================================
open Camlp4.PreCast
open Syntax

EXTEND Gram
  expr:
    [ [ "[%"; e = expr LEVEL "simple"; "%]" -> e ] ] ;
END ;;
===================================================================

Usage sample:
===================================================================
# [% 5 %] ;;
- : int = 5

# ([% 5 %]) ;;
Characters 6-9:
  ([% 5 %]);;
        ^^^
Parse error: [expr level simple] expected after "[%" (in [expr])
===================================================================

Thanks in advance.

-- 
vadim.shender@gmail.com

[-- Attachment #2: Type: text/html, Size: 2602 bytes --]

Re: [Caml-list] CamlP4 lexer problem

[Richard Jones]

On Mon, Jun 30, 2008 at 08:46:57PM +0300, dream.designer wrote:
> # ([% 5 %]) ;;
> Characters 6-9:
>   ([% 5 %]);;
>         ^^^
> Parse error: [expr level simple] expected after "[%" (in [expr])

Is it not just the case that the scanner thinks %]) is a single token?

Rich.

-- 
Richard Jones
Red Hat

Re: [Caml-list] CamlP4 lexer problem

[Vadim Shender]

[-- Attachment #1: Type: text/plain, Size: 467 bytes --]

Yes, seems so, but is there a way to make it think otherwise?

2008/6/30 Richard Jones <rich@annexia.org>:

> On Mon, Jun 30, 2008 at 08:46:57PM +0300, dream.designer wrote:
> > # ([% 5 %]) ;;
> > Characters 6-9:
> >   ([% 5 %]);;
> >         ^^^
> > Parse error: [expr level simple] expected after "[%" (in [expr])
>
> Is it not just the case that the scanner thinks %]) is a single token?
>
> Rich.
>
> --
> Richard Jones
> Red Hat
>



-- 
vadim.shender@gmail.com

[-- Attachment #2: Type: text/html, Size: 901 bytes --]

Re: [Caml-list] CamlP4 lexer problem

[Nicolas Pouillard]

[-- Attachment #1: Type: text/plain, Size: 595 bytes --]

Excerpts from dream.designer's message of Mon Jun 30 21:24:30 +0200 2008:
> Yes, seems so, but is there a way to make it think otherwise?

Not really.

> 2008/6/30 Richard Jones <rich@annexia.org>:
> 
> > On Mon, Jun 30, 2008 at 08:46:57PM +0300, dream.designer wrote:
> > > # ([% 5 %]) ;;
> > > Characters 6-9:
> > >   ([% 5 %]);;
> > >         ^^^
> > > Parse error: [expr level simple] expected after "[%" (in [expr])
> >
> > Is it not just the case that the scanner thinks %]) is a single token?
> >
> > Rich.
> >
> > --
> > Richard Jones
> > Red Hat
> >
> 

-- 
Nicolas Pouillard aka Ertai

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 240 bytes --]