English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
camlp4 and dirac notation
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-03-19 (17:51)
From: michel levy <michel.levy@i...>
Subject: camlp4 and dirac notation
I try to modify the ocaml syntax with camlp4 to add the Dirac notation
|v >.
Have you any solution ?

I have tried with
   expr : LEVEL "simple"
   [["|"; e=expr ;">" -> <:expr< ket $e$>>]
but I have the following message
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