A PPX Rewriter for Hashconsing
Description

This is a PPX Rewriter for generating hashconsing implementations of ASTs, mechanizing the ideas and code of Jean-Christophe Filliatre and Sylvain Conchon.

Install

Documentation github.com Edit opam file

Published

19 Jan 2023

Authors

Maintainers

Sources

0.09.tar.gz
sha512=d215d7de789ff238d127f2798a13ee7d5020048bb241e42105f94c87760fbc5e1bcb48f2fabfef1fa427eee2e2595118ae18881a9934bd68fd10b5c3769ae7eb

Dependencies

hashcons
bos >= "0.2.0"
ounit with-test
pcre >= "7.4.3"
not-ocamlfind >= "0.01"
pa_ppx_migrate with-test & >= "0.08"
pa_ppx >= "0.08"
camlp5 >= "8.00"
conf-perl-string-shellquote
conf-perl-ipc-system-simple
conf-perl
ocaml >= "4.10.0" & < "5.01.0"

Reverse Dependencies

pa_ppx_ag
pa_ppx_q_ast

Conflicts

None