]> Hi, I believe the best way is to have two separate syntax extension files, and then just supply the right one (either for normal or "revised" syntax) at compile time. What you propose has a strong hackish smell :) Friendly, Dmitry On Tuesday 04 November 2003 13:46, Artem Prisyznuk wrote: > 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? -- Dmitry Lomov IntelliJ Labs / JetBrains Inc. http://www.intellij.com "Develop with pleasure!" ------------------- 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