camlp4 and dirac notation

camlp4 and dirac notation

[michel levy]

I try to modify the ocaml syntax with camlp4 to add the Dirac notation
|v >.
Have you any solution ?

I have tried with
EXTEND
   expr : LEVEL "simple"
   [["|"; e=expr ;">" -> <:expr< ket $e$>>]
	       ];
END;;
but I have the following message
|z>;;
      ^^
Parse error: [expr] expected after '>' (in [expr])
I can replace > by : but it is not the dirac notation.

Have you any idea ?


-- 
Michel Levy
L.S.R., Bureau C214, B.P.72 - 38402 SAINT MARTIN D'HERES CEDEX
e.mail : Michel.Levy@imag.fr    tel :(33)476514022
http://www-lsr.imag.fr/users/Michel.Levy

Re: [Caml-list] camlp4 and dirac notation

[Nicolas Pouillard]

On 3/19/07, michel levy <michel.levy@imag.fr> wrote:
> I try to modify the ocaml syntax with camlp4 to add the Dirac notation
> |v >.
> Have you any solution ?
>
> I have tried with
> EXTEND
>    expr : LEVEL "simple"
>    [["|"; e=expr ;">" -> <:expr< ket $e$>>]

e = expr LEVEL "simple"

You don't want to allow any expression here since it will be ambiguous
with the '>' operator.

You even perhaps don't want an expression here |(f x y z)> seems not
really readable, you can allow only identifiers.

 [["|"; id = LIDENT ;">" -> <:expr< ket $lid:id$>> ]]

Hope this helps,

-- 
Nicolas Pouillard