I'd like to be able to get the AST for a given OCaml program (I'd like to walk the AST and generate an instrumented version of the code or do some kind of transformation, for example). Do any of th...

Recently, it was announced in OCaml official github that Camlp4 is replaced by ppx rewriters and extension points (https://github.com/ocaml/camlp4): Camlp4 was part of the official OCaml distrib...

I want to analysis OCaml files (.ml) using OCaml. I want to break the files into Abstract Syntax Trees for analysis. I have attempted to use camlp4 but have had no luck. Has anyone else successfull...

There was a proposal from Alain Frisch of Lexifi over a year ago for an alternative to camlp4 for writing sytnax extensions making use of the -ppx flag added in OCaml 4.00. At that time he mentione...

I have been developing a parser for a tiny language whose syntax is the following P::= 1 | 0 | P+P | P and P | P wait(d) P Here is the code that i have written in Ocaml camlp4 action: [ ["ac...

I have seen some source code having let rec parse_document = parser | [< len = parse_int32; st; >] -> parse_list [] (ES.take_int32 len st) | [< >] -> malformed "parse_documen...

Using the sexplib syntax extension to automatically generate serialization code for a type, as shown in many simple examples online: open Sexplib type t = { foo : int; bar : string; } with sexp le...

I'm using camlp4.macro to enable conditional compilation. I'm having problems informing OCamlbuild that certain files tagged with "use_jscore" must be preprocessed with a given camlp4 option. Here'...

I don't know how to accomplish this in general, but I'll ask about one instance in particular for clarity: Sexplib looks interesting to me. I want to play around with it. I've downloaded it, insta...

When people refer to the "revised syntax" in OCaml, do they mean that this will become a new syntax for the language, or is it just an alternative syntax created in CamlP4? If it's the former, then...