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
18 Jan 2021
Sources
0.07.02.tar.gz
sha512=c742da1be4406918289eabeb08100e89a150602a4ec24e8736e6167e064839d18754db5f424817b0227671b9805f235182add2090f8cd4cb9b03594f559c8123
Dependencies
bos
>= "0.2.0"
ounit
with-test
pcre
>= "7.4.3"
not-ocamlfind
>= "0.01"
pa_ppx_migrate
with-test & >= "0.07.02"
pa_ppx
>= "0.07.02"
camlp5
>= "8.00"
ocaml
>= "4.10.0" & < "4.13.0"
Reverse Dependencies
pa_ppx_ag
< "0.08"