]> Hello, I write small extension for ocaml. But I have next question. Grammar entry differ for pa_o.cmo and pa_r.cmo. So in my pa_ module I want auto determinate which syntax used and apply differ EXTEND branches for normal syntax and revised syntax. Now I determine which syntax used with next code: let normal_extend () = EXTEND GLOBAL: expr; expr: LEVEL "expr1" [[ ..... ]] ...... END;; let revised_extend () = EXTEND GLOBAL: expr; expr: LEVEL "top" [[ ..... ]] ...... END;; let _ = try ignore(Grammar.Entry.find Pcaml.expr "expr1"); normal_extend () with Not_found -> revised_extend ();; It work, but I don't assurance what it's right way. Any suggestions? -- Artem Prysyznuk tema@sit.kiev.ua ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners