JL's blog

#load "q_MLast.cmo";;
#load "pa_extend.cmo";;
 
open Pcaml;;
 
EXTEND
expr: LEVEL "simple"
[
[ "++"; v = expr -> <:expr< do { incr $v$; $v$.val } >> ]
| [ v = expr; "++" -> <:expr< let o = $v$.val in do { incr $v$; o } >> ]
];
END;;

This entry was posted on Wednesday, December 5th, 2007 and is filed under camlp4. You can follow any responses to this entry through RSS 2.0. You can leave a response, or trackback from your own site.