package pa_ppx_hashcons
A PPX Rewriter for Hashconsing
Install
Dune Dependency
Authors
Maintainers
Sources
0.09.tar.gz
sha512=d215d7de789ff238d127f2798a13ee7d5020048bb241e42105f94c87760fbc5e1bcb48f2fabfef1fa427eee2e2595118ae18881a9934bd68fd10b5c3769ae7eb
Description
This is a PPX Rewriter for generating hashconsing implementations of ASTs, mechanizing the ideas and code of Jean-Christophe Filliatre and Sylvain Conchon.
Published: 19 Jan 2023
Dependencies (10)
- hashcons
-
bos
>= "0.2.0" -
pcre
>= "7.4.3" -
not-ocamlfind
>= "0.01" -
pa_ppx
>= "0.08" & < "0.12" -
camlp5
>= "8.00" - conf-perl-string-shellquote
- conf-perl-ipc-system-simple
- conf-perl
-
ocaml
>= "4.10.0" & < "5.01.0"
Dev Dependencies (2)
-
ounit
with-test -
pa_ppx_migrate
with-test & >= "0.08"
Used by (2)
Conflicts
None
On This Page