David and Jérémie,

Thanks for your guys quick response.

It seems I get idea how to achieve it.  pa_do and pa_open are useful!

It's a pity I viewed the code of pa_infix before, but never noticed it
was part of a project.

Conglun

On Thu, Apr 2, 2009 at 1:40 PM, David Teller
<David.Teller@univ-orleans.fr> wrote:
>   Hi,
>  I'm not going to quite answer your question yet -- I'd need to check
> the source of Camlp4 for this. However, I can point out that what you're
> trying to do looks very much like pa_open, by Alain Frisch.
>
> let _ = open M1.M2 in e
>
> will execute [e] using module [M1.M2].
>
> Cheers,
>  David
>
> On Thu, 2009-04-02 at 12:42 +0100, Conglun Yao wrote:
>> Dear all,
>>
>> I tried to achieve the following syntax extension, but failed.
>>
>> Add expression .[ ] after a module name, inside .[ ] I want to refer
>> to the specified module, like
>>
>> let _ = M1.M2.[ here is my syntax,  using M1.M2 module ]
>>
>> Here is my attempt (failed)
>>
>> EXTEND Gram
>>
>> GLOBAL: expr;
>>
>> expr: LEVEL "top"[
>> [ e1 = module_longident; ".";  "[";  (*t = test_syntax;*)  "]" ->
>>   <:expr< $id:e1$ test >>
>> ]];
>>
>> END
>>
>> Different kinds of error happened, when trying to use it.
>>
>> Even the ordinary expression:  List.length [1; 2;3 ],  failed.  'List'
>> is parsed as module_longident, try to match the rule I defined.
>>
>> Thanks for any help.
>>
>> Conglun
>>
>> _______________________________________________
>> Caml-list mailing list. Subscription management:
>> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
>> Archives: http://caml.inria.fr
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>>
>
>