Update ppx-elpi to work with current Elpi API and construct encoding of OCaml AST using it#179

Draft

kiranandcode wants to merge 26 commits intoLPCIC:masterfrom

kiranandcode:reocaml-elpi

Commits on Dec 7, 2023

copy over ocaml-elpi to master branch

Kiran Gopinathan
authored and
gares
committed
hacking dependencies to get things building

Kiran Gopinathan
authored and
gares
committed
added ppx_elpi back in

Kiran Gopinathan
authored and
gares
committed
fixed typing errors in ocaml_ast_for_elpi

Kiran Gopinathan
authored and
gares
committed
updated ppx_elpi to remove context object

Kiran Gopinathan
authored and
gares
committed
exposed additional primitives

Kiran Gopinathan
authored and
gares
committed
exposed show_ty_ast in utils

Kiran Gopinathan
authored and
gares
committed
updated driver code to use latest API

Kiran Gopinathan
authored and
gares
committed
ppx now runs

Kiran Gopinathan
authored and
gares
committed
API: export code to document ADTs (for PPX)
gares
committed
[ppx] fix missing new_line
gares
committed
[ppx,test] repair test_simple_adt_record
gares
committed
[ppx] repair printing of ADTs
gares
committed
[ppx,tests] repair test_simple_record
gares
committed
[ppx,tests] fix more tests
gares
committed
[ppx] fix kind documentation
gares
committed
[ppx,ocaml] fix rewriter, now runs again
gares
committed
[builtin] expose PPX.embed_* for option and tuples up to 4
gares
committed
[builtin] export PPX.readback_* for option and tuples up to 4
gares
committed
[ppx] handle char, bool, option and tuples in readback
gares
committed