package pa_ppx_hashcons
A PPX Rewriter for Hashconsing
Install
Dune Dependency
Authors
Maintainers
Sources
0.07.02.tar.gz
sha512=c742da1be4406918289eabeb08100e89a150602a4ec24e8736e6167e064839d18754db5f424817b0227671b9805f235182add2090f8cd4cb9b03594f559c8123
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: 18 Jan 2021
Dependencies (10)
- hashcons
-
bos
>= "0.2.0" -
pcre
>= "7.4.3" -
not-ocamlfind
>= "0.01" -
pa_ppx
>= "0.07.02" -
camlp5
>= "8.00" - conf-perl-string-shellquote
- conf-perl-ipc-system-simple
- conf-perl
-
ocaml
>= "4.10.0" & < "4.13.0"
Dev Dependencies (2)
-
ounit
with-test -
pa_ppx_migrate
with-test & >= "0.07.02"
Used by (2)
-
pa_ppx_ag
< "0.08" -
pa_ppx_q_ast
< "0.08"
Conflicts
None
On This Page