This is a set of very basic questions about CamlP4.

Fisrt of all, is CAMLP4 really compatible with OCaml, because the Stream don't work the same way, in Ocaml, and particulary, the [<>] constructor don't work ...

Secondary, what are the main differences between CAMLP4, LEX, YACC? and where can i find a small tutorial about those ones?

Third of all, my own problem, is what is the efficientest and easiest way to implement a small compilator of a language of my own, under OCaml. I 'm currently using CamlP4, with a lot of evaluations formulas, like 

let instruction = parser | [< 'KEYWORD "Foo" >] -> Foo
;;

let operande = parser...;;
let modifier = parser...;;

Does someone know where i can find some examples of thing like that?

Thank you very much

Thomas Braibant