package pa_ppx_hashcons
A PPX Rewriter for Hashconsing
Install
Dune Dependency
Authors
Maintainers
Sources
0.10.tar.gz
sha512=a634d9a569923d5dcfd1a5f6195090d4a084e49d50be4774aa9ff3b2cf82afae8d631e019bb6776a54581b3af8bd49ac976adeb7ea681a0b40a781997e517f11
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: 06 Apr 2023
Dependencies (10)
- hashcons
- fmt
-
bos
>= "0.2.0" -
pcre
>= "7.4.3" -
not-ocamlfind
>= "0.10" -
pa_ppx
>= "0.12" -
camlp5
>= "8.01.00" -
camlp5-buildscripts
>= "0.02" & < "0.03" -
cppo
>= "1.6.9" -
ocaml
>= "4.10.0" & < "5.01.0"
Dev Dependencies (2)
-
ounit
>= "2.2.7" & with-test -
pa_ppx_migrate
with-test & >= "0.10"
Used by (2)
Conflicts
None
On This Page