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