pa_ppx_hashcons
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
- Published
-
08 Aug 2021
- Authors
-
- Maintainers
-
Sources
0.08.tar.gz
sha512=2f6306a7794bcad347aed6915c44349681463102426e3f741564ec439eee6eb6b12d7f65219d63d35a578a7fb374f6298f98a7730b7e290a6af11cc9b111b320
Dependencies
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"
ocaml
>= "4.10.0" & < "4.14.0"
Reverse Dependencies